Bengt Nordström

Department of Computing Science
Chalmers University of Technology
S-412 96 Göteborg, Sweden
email: bengt
phone: +46 31 772 1033
mobile: +46 70 600 1546
fax: +46 31 772 3663
location: Room 6113, Rännvägen 6B

Research Interests

My research interests are pursued in two research groups, the language technology group (the borderline between natural and formal languages) and the programming logic group (type theory and proof editors). Upto the summer 2008 I was coordinating the TYPES project, a European cooperation project involving around 30 universities and companies. I am an editor for the Nordic Journal of Computing. During the winter 2003/2004 I was on research leave at ChungAng University, Seoul, Korea and gave a course there as well as talks in Japan, China and Korea.




Old Project Proposals for Undergraduate Students