I am a Professor of Computer Science at Göteborg University. I work at the Department of Computer Science and Engineering of Chalmers University of Technology and Göteborg University. The department is a part of the IT University of Göteborg.
My principal interests are natural language technology, compilers, functional programming, and type theory.
I am a member of the Programming Logic Group and the Language Technology Group. I also work in joint projects with the Software Methodologies and Systems Group, the Formal Methods Group, and the Functional Programming Group.
My main current topic is the Grammatical Framework (GF). GF is a special-purpose programming language for writing gramars. It is designed, in particular, for writing multilingual grammars, on top of which one can build various applications such as translation and human-machine interaction.
The BNF Converter is a GF spin-off designed for implementation of compiler front-ends. The software is also available as a part of Debian Linux distribution ("stable").
Functional Morphology is a project where morphological resources (inflection and analysis engines, lexica) are developed for use in GF and as generic resources.
A piece of earlier work is PESCA, which is a small Proof Editor for Sequent Calculus.
I am involved in two European projects: TALK = Tools for Ambient Linguistic Knowledge and TYPES.
In 2003-2005, I participated in a project funded by Vetenskapsrådet, with the project title Records, types and computational dialogue semantics.
In the years 2001-2004, I was responsible for the research project Interactive Language Technology funded by VINNOVA, the Swedish Agency for Innovation Systems.
Here is a list of my publications, some of which are available in electronic form.
In September-October (period 1),I taught Compiler Construction. It is a course on which all participants (individually or working in pairs) construct a complete compiler. Traditional exam is replaced by individual assessment of the compiler: every year, this stimulates some students to very ambitious and impressive projects.
In addition, I am supervising Master's students. Many theses have been written on Functional Morphology. It is still a recommended project: read the General instructions and pick a language that has not yet been treated (the ones either completed or under construction in the FM project are Arabic, Danish, English, Estonian, Finnish, French, German, Italian, Latin, Norwegian (bokmål), Russian, Spanish, Swedish, and Urdu).
In the autumn terms of 1999, 2000, and 2001, I taught a first-year Haskell course entitled Programmering för naturvetare, del 1.
In the spring terms of 2002 and 2003, and 2004, and in the autumn terms of 2004 and 2005, I taught Compiler Construction.
In the spring terms of 2004, 2005, and 2005, I taught Natural Language Technology.
In the spring term of 2001, I taught Datalingvistisk projektkurs together with Olof Torgersson. In the autumn terms of 1999 and 2000, I taught Programming projects together with K.V.S. Prasad.
Department of Computing Science
Chalmers University of Technology & Göteborg University
S-412 96 Göteborg, Sweden
Tel. + 46 - 31 - 772 10 82
Fax + 46 - 31 - 16 56 55
E-mail: aarne@cs.chalmers.se