fénykép

Tamás Kozsik

Váltás magyarra

ELTE logó IK logó


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

Budapest, Hungary

Associate Professor
Vice-dean (academic affairs and innovation)


News

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