Lena Magnusson
I am employed at
Computing Science Department at
Chalmers University of Technology.
How to reach me
- Email:
lena@cs.chalmers.se
- Phone: +46-31-772-1027
- Room: 2445
Fax, Postal address, etc..
Research Interests
- Interactive proof editors, in general
- ALF, in particular
- Type Theory
- Functional Programming
Teaching 94/95
(
To Chalmers CS Dept. Welcome page.)
Last modified Sep 27 '94