阿内·兰塔的主页
GF公司|资源语法|英国国家金融公司|谷歌TechTalk|数字语法|暑期学校|Python简介|Python高级
计算语法|MOLTO公司|REMU公司|短语手册|出版物|会谈|个人简历|github|个人的
职位
博士生
过去的博士生
- 彼得·荣格洛夫, 1999-2004. 论文语法框架的表达性和复杂性.现在是我们系的副教授。
- 克里斯托弗·约翰尼森, 2000-2005. 论文正式和非正式软件规范.现在在阿普特斯，隆德。
- Janna Khegai公司, 2000-2006. 论文语法框架中的语言工程（GF）.现在在伦敦高盛。
- 马库斯·福斯伯格, 2002-2007.论文语言处理的三种工具：BNF转换器、函数形态学和提取.现在在哥德堡的斯普拉克班肯。
- 比约恩·布林格, 2005-2008.论文面向自然语言应用的程序设计语言技术.现在在沃尔沃。。
- 穆罕默德·胡马雍, 2007-2012, 萨沃伊大学联合（作为联合主管）克里斯托夫·拉法利.论文开发数学文本自动形式化系统MathNat
- 克拉西米尔·安吉洛夫, 2008-2012.论文语法框架的机制.自2014年起，担任本系助理教授。
- 达纳·丹内尔2009年至2013年，在国防部瑞典语与拉尔斯·鲍林. 论文基于结构化形式表示的多语言文本生成现为哥德堡斯普拉克班肯的博士后。
- 沙夫卡特·维克2009年至2013年，在哥德堡信息技术大学与Claes Strannegárd和K.V.S.Prasad。论文印地安语计算语言学资源现在在哥德堡的斯普拉克班肯。
- 雷蒙娜珐琅, 2010-2013.论文多语言语法发展的前沿现在在特隆赫姆的微软
- 格雷戈伊尔·德特雷斯, 2010-2016.论文自动化语言工程的方法和工具
- 伊纳里·利斯滕马,2013-2018年（担任联合监事科恩·克莱森作为主要主管）。论文语法测试的形式化方法.现在在数字语法AB。
- 普拉桑特·科拉奇纳, 2013-2019.论文多语言抽象：抽象语法树和通用依赖
出版物（就内容而言，这些是前六名；更多出版物在这里):
- A.兰塔。语法框架：用多语言语法编程, CSLI，斯坦福大学，2011年。书籍网页严天教授中文翻译：语法框架 为多种自然语言语法编程, 上海交通大学出版社，2014。
- A.兰塔。类型理论语法, 牛津大学出版社，牛津，1994年。谷歌图书
- A.兰塔。实现编程语言。
编译程序和解释程序简介,附有马库斯·福斯伯格（Markus Forsberg）合著的附录，大学出版社，伦敦，2012年。书籍网页
- A.Ranta、K.Angelov、N.Gruzitis和P.Kolachina。作为中间语言的抽象语法：将语法框架从受控语言扩展到健壮的管道。计算语言学46（2），第425-486页，2020年。杂志上的文章。
- A.兰塔。语法框架：一种类型理论语法形式主义。函数编程杂志第14（2）页，第145-189页，2004年。PDF格式
免费PDF（预打印）
- A.兰塔。GF资源语法库。语言技术中的语言问题, 2(2),2009PDF格式
会谈
软件
教学
过去的一些教学
- 数据库, 2015-2019
- 程序设计语言技术, 2007-2014年第一期编译器课程。
- 语法框架在中山大学, 2013年，广州，特别关注中文。
- 机器翻译，（2013年3月和2015年3月，马耳他，欧洲语言和通信技术硕士课程）
- 计算形态学（2011年3月和2012年3月，马耳他，欧洲语言和通信技术硕士课程）
- Datorintroduktion公司（2007年至2009年，哈斯克尔大学一年级学生编程入门）
- 自然语言技术，计算机科学专业学生，2004-2006年
- 编译器构造，第二门编译器课程，2002-2006年
- 编程för naturvetare（关于Haskell的第一年课程，1999-2001）
- 逻辑、类型理论、形式语言学、语言哲学课程（赫尔辛基大学和坦佩雷大学，1990-1997年）
地址
- 职位：计算机科学与工程系，查尔默斯科技大学和哥德堡大学，S-412 96哥德堡，瑞典
- 参观：Rännvägen 6b（EDIT大楼），西南角，6楼，办公室6106。地图.
- 电话：+46-31-772 10 82
- 电子邮件：aarne at chalmers-dot se
