CV

Education

Work experience

Publications

Past Students

Makarchuk Gleb, Dimitar Dimitrov, Clemens Giuliani, Raphaël Dang-Nhu, Jonathan Mauer, Rupanshu Ganvir, Christoph Müller, Jovan Andonov, Jakub Kotal, Afra Amini

Talks

Software

Teaching

Service

ESOP’22, NeurIPS’21, APLAS’21, ICCV’21, SAS’21, ATVA’21, CCS’21, IJCAI’21, CVPR’21, PLDI’21, TACAS’21, AAAI’21, ASPLOS’21, CAV’20, FOMLAS’20, NeurIPS’19, POPL’19, POPL’20 , SAS’16, SAS’19, FAOC, Machine Learning, IEEE TNNLS, TOPLAS