Aarne Ranta's Homepage

Position

• Professor of Computer Science at the University of Gothenburg, Department of Computer Science and Engineering
• Coordinator, MOLTO (FP7-ICT-247914)
• In 2008-2010, I was Head of Division of Computing Science. The current Head of Division is Peter Dybjer.

PhD students

• Ramona Enache, 2010-
• Grégoire Détrez, 2010-
• Shafqat Virk, 2009-, at the IT University of Gothenburg jointly with Claes Strannegård and Kuchi Prasad
• Håkan Burden, 2007-, together with Rogardt Heldal)
• Dana Dannélls, 2009-, at the Department of Swedish Language jointly with Lars Borin

Past PhD students

• Peter Ljunglöf, 1999-2004. Thesis Expressivity and Complexity of the Grammatical Framework. Since 2011, back at our Department.
• Kristofer Johannisson, 2000-2005. Thesis Formal and Informal Software Specifications. Now at Apptus, Lund.
• Janna Khegai, 2000-2006. Thesis Language engineering in Grammatical Framework (GF). Now at Goldman Sachs, London.
• Markus Forsberg, 2002-2007. Thesis Three Tools for Language Processing: BNF Converter, Functional Morphology, and Extract. Now at Språkbanken, Gothenburg.
• Björn Bringert, 2005-2008. Thesis Programming Language Techniques for Natural Language Applications. Now at Google, London.
• Muhammad Humayoun, 2007-2012, at the University of Savoie jointly with Christophe Raffalli. Thesis Developing the System MathNat for Automatic Formalization of Mathematical Texts
• Krasimir Angelov, 2008-2011. Thesis The Mechanics of the Grammatical Framework

Publications (these are the top-4 in terms of substance, including the top-2 in terms of citations; more publications here):

• A. Ranta. Grammatical Framework: Programming with Multilingual Grammars, CSLI, Stanford, 2011. Book web page
• A. Ranta. Type Theoretical Grammar, Oxford University Press, Oxford, 1994. Google Books
• A. Ranta. Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming, 14(2), pp. 145-189, 2004. PDF Free PDF (preprint)
• A. Ranta. The GF Resource Grammar Library. Linguistic Issues in Language Technology, 2(2), 2009. PDF

Software

• Grammatical Framework, GF
• BNF Converter, BNFC
• Functional Morphology, FM
• Proof Editor for Sequent Calculus, PESCA

Teaching

• Computational Syntax (Masters Programme in Language Technology, Gothenburg, Spring 2011 and 2012)
• Computational Morphology (European Masters Programme in Language and Communication Technologies, Malta, March 2011 and 2012)
• Programming Language Technology (a first course on compilers and interpreters, 2007-)
• Datorintroduktion (a freshman introduction to programming in Haskell, 2007-2009)

Address

• Post: Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg, S-412 96 Göteborg, Sweden
• Visits: Rännvägen 6b (EDIT building), SW corner, 6th floor, office 6106. Map.
• Telephone: +46-31-772 10 82
• Email: aarne at chalmers dot se