Tarmo Uustalu


Postal address:                          Email:
    Inst of Cybernetics                     firstname at cs ioc ee
                                         Phone:
    Akadeemia tee 21                        +372 620 4250
    EE-12618 TALLINN                     Fax:
    Estonia                                 +372 620 4151

If you want to send me documents, make sure they are in a reasonable format (pdf, plaintext etc.). I discard all email where the body is html only or text/html formatted and also all email with no body, only attachments.


I am a leading researcher 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. 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 and program logics.



Last update 6 October 2014