Tamás Kozsik

Dept. Programming Languages and Compilers
Faculty of Informatics
Eötvös Loránd University

Budapest, Hungary

Associate Professor
Vice-dean (academic affairs and innovation)

May 29 - June 1: TYPES 2017, 23rd International Conference on Types for Proofs and Programs