Postal address: Email:
Inst of Cybernetics tarmo(ät)cs.ioc.ee
Phone:
Akadeemia tee 21 +372 620 4250
EE-12618 TALLINN Fax:
Estonia +372 620 4151
I am a senior researcher in theoretical computer science at 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. For my PhD, I studied at the no longer existent Dept of Teleinformatics, Royal Institute of Technology (Stockholm). From mid-April 2000 to mid-April 2002, I was a postdoc at the Dept. of Informatics, University of Minho (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, formal methods of program transformation and synthesis, but also knowledge representation and reasoning, modal logics of knowledge and action, philosophy of language, theory of knowledge.