ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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: Iceland

Affiliation: Reykjavik University

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

Contributions

ETAPS 2019Author of ETAPS Steering committee meeting within the Social-track
Publicity in Executive Board
Show activities from other conferences

ETAPS 2019-profile
View general profile