Aarne Ranta's Homepage

Position

• Professor of Computer Science at the University of Gothenburg, Department of Computer Science and Engineering
• CEO and founder, Digital Grammars Gothenburg AB
• Honorary Doctor, University of Tampere, 2018. Some pictures
• Member of the The Royal Society of Arts and Sciences in Gothenburg

PhD students

• Ekaterina Voloshina, 2024-, as co-supervisor with Krasimir Angelov as main supervisor
• Liza Zimina, University of Tampere, as co-supervisor with Jyrki Nummenmaa as main supervisor, 2014-

Past PhD students

• Peter Ljunglöf, 1999-2004. Thesis Expressivity and Complexity of the Grammatical Framework. Now Associate Professor 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 Volvo..
• Muhammad Humayoun, 2007-2012, at the University of Savoie jointly (as co-supervisor) with Christophe Raffalli. Thesis Developing the System MathNat for Automatic Formalization of Mathematical Texts
• Krasimir Angelov, 2008-2012. Thesis The Mechanics of the Grammatical Framework. Since 2014, Assistant Professor at our Department.
• Dana Dannélls, 2009-2013, at the Department of Swedish Language jointly (as co-supervisor) with Lars Borin. Thesis Multilingual text generation from structured formal representations Now postdoc at Språkbanken, Gothenburg.
• Shafqat Virk, 2009-2013, at the IT University of Gothenburg jointly (as main supervisor) with Claes Strannegård and K.V.S. Prasad. Thesis Computational Linguistics Resources for Indo-Iranian Languages Now at Språkbanken, Gothenburg.
• Ramona Enache, 2010-2013. Thesis Frontiers of Multilingual Grammar Development Now at Microsoft in Trondheim
• Grégoire Détrez, 2010-2016. Thesis Methods and Tools for Automating Language Engineering
• Inari Listenmaa, 2013-2018 (as co-supervisor, with Koen Claessen as main supervisor). Thesis Formal Methods for Testing Grammars. Now at Digital Grammars AB.
• Prasanth Kolachina, 2013-2019. Thesis Multilingual Abstractions: Abstract Syntax Trees and Universal Dependencies

Publications (these are the top-6 in terms of substance; more publications here):

• A. Ranta. Grammatical Framework: Programming with Multilingual Grammars, CSLI, Stanford, 2011. Book web page Chinese translation by Prof. Yan Tian: 语法框架 为多种自然语言语法编程, Shanghai Jiao Tong University Press, 2014.

• A. Ranta. Type Theoretical Grammar, Oxford University Press, Oxford, 1994. Google Books
• A. Ranta. Implementing Programming Languages. An Introduction to Compilers and Interpreters, with an appendix coauthored by Markus Forsberg, College Publications, London, 2012. Book web page
• A. Ranta, K. Angelov, N. Gruzitis and P. Kolachina. Abstract syntax as interlingua: Scaling up the grammatical framework from controlled languages to robust pipelines. Computational Linguistics 46(2), pp. 425-486, 2020. Article in the journal.
• 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

Talks

Software

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

Teaching

• Advanced Programming in Python, 2021-
• Introduction to Programming in Python, 2020- (in Swedish)
• Computational Syntax (Masters Programme in Language Technology, Gothenburg), 2011-

Some teaching in the past

• Databases, 2015-2019
• Programming Language Technology, a first course on compilers, 2007-2014.
• Grammatical Framework at Sun Yat-Sen University, Guangzhou, with a special focus on Chinese, 2013.
• Machine Translation, (European Masters Programme in Language and Communication Technologies, Malta, March 2013 and 2015)
• Computational Morphology (European Masters Programme in Language and Communication Technologies, Malta, March 2011 and 2012)
• Datorintroduktion (a freshman introduction to programming in Haskell, 2007-2009)
• Natural Language Technology, for computer science students, 2004-2006
• Compiler Construction, a second course on compilers, 2002-2006
• Programmering för naturvetare (a first-year course on Haskell, 1999-2001)
• Courses in logic, type theory, formal linguistics, philosophy of language (Universities of Helsinki and Tampere,1990-1997)

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