Curriculum Vitae:
Education:
- PhD from Royal Institute of Technology, Stockholm, 1998
- PhLic from Royal Institute of Technology, Stockholm, 1995
- MSc from Tallinn University of Technology, 1992
Employment:
- professor, Tallinn University of Technology, Dept. of Computer
Science, 2004-
- associate professor, Tallinn University of Technology, Dept. of Computer
Science, 2002-2004
- senior researcher, Institute of Cybernetics at Tallinn University of
Technology, 1999- (leave of absence, 2000-2002)
- postdoctoral fellow, Universidade do Minho, Braga (Portugal), 2000-2002
- acting associate professor, Royal Institute of Technology, Stockholm,
Dept. of Teleinformatics, 1998-1999
- PhD student and research engineer, Royal Institute of Technology,
Stockholm, Dept. of Teleinformatics, 1992-1998
Main Research Interests:
- proof theory and type theory
- programming language semantics type
- systems and program logics
- functional programming
- program analysis and transformations
- program construction
|