Tarmo Uustalu

Not registered as user yet

Name: Tarmo Uustalu

Bio: 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.

Country: Estonia

Affiliation: Tallinn University of Technology

Personal website: http://cs.ioc.ee/~tarmo/


ETAPS 2019Publicity in Executive Board
TyDe 2017Committee Member in Program Committee within the TyDe 2017-track
VORTEXCommittee Member in Program Committee within the VORTEX-track
ICFP 2016Author of Combining Effects and Coeffects via Grading within the Research Papers-track