Postal address: Email: Skype: Inst of Cybernetics firstname at cs dot ioc dot ee firstname dot surname Phone: Akadeemia tee 21 +372 620 4250 12618 TALLINN Fax: Estonia +372 620 4151
I am a lead research scientist in the logic and semantics group of the Institute of Cybernetics, a research institution of Tallinn University of Technology (TUT). Since Sept. 2002, I am also teaching at TUT's Dept. of Computer Science. These structures will be reorganized from 1 Jan. 2017; in particular, the Institute of Cybernetics will be dissolved.
For my PhD, I studied at the Dept. of Teleinformatics (in the part of it that later became the Dept. of Software and Computer Systems) of the KTH Royal Institute of Technology in Stockholm. From mid-April 2000 to mid-April 2002, I was a postdoc at the Dept. of Informatics, University of Minho in Braga.
My research interests include structural proof theory and type theory (deductive systems and typed term calculi for intuitionistic and related logics), algebraic and categorical logic, semantics of programming languages and program logics.
SSGEP course (Oxford)