Switch to English
Eötvös Loránd Tudományegyetem Informatikai Kar Programozási Nyelvek és Fordítóprogramok Tanszék
egyetemi docens ELTE IK Tudományos és innovációs ügyek dékánhelyettese
Az Eötvös Collegium Informatikai Műhelyének vezetője A Kari Tudományos Diákköri Tanács elnöke A Kari Doktori Tanács tagja
2017. május 29 - június 1. TYPES 2017 konferencia: 23rd International Conference on Types for Proofs and Programs
