Tarmo Uustalu


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

I am a full professor at the School of Computer Science of Reykjavik University (RU). I also have a part-time duty at the Dept. of Software Science of the Tallinn University of Technology (TUT) as a lead research scientist.

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 in Dec. 2016.

Prior to that, I was a postdoc at the Dept. of Informatics, University of Minho in Braga. For my PhD, I studied at KTH Royal Institute of Technology in Stockholm.

My research interests include structural proof theory and type theory, algebraic and categorical logic, semantics of programming languages, type systems and program logics, functional programming, constructive mathematics.


Register for ICTAC 2018 in Stellenbosch. We've got an exciting program of 6 tutorials, 4 invited talks and 25 contributed papers.



Last update 10 August 2018