Tarmo Uustalu

Postal address:                          Email:                                Skype: 
    Dept. of Software Science               firstname at cs dot ioc dot ee        firstname dot surname
    Tallinn Univ. of Technology                                     
    Akadeemia tee 21B                       +372 620 4250
    12618 TALLINN                        Fax:
    Estonia                                 +372 620 4151

From 1 Jan. 2017, I have been working at the new Dept. of Software Science of the Tallinn University of Technology (TUT); from 1 Oct., part-time.

For 15 years I was a lead research scientist in the logic and semantics group of the Institute of Cybernetics, a research institution of TUT. I was also teaching at TUT's Dept. of Computer Science. In connection to the major reforms at TUT, these structures were closed 31 Dec. 2016.

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)

Last update 21 December 2017