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

ICSE’24, PLDI’21,’23, ICLR’22,’23, AAAI’21,’22,’23, MLSys’23, SAS’21, ‘22 (Co-Chair), NeurIPS’,’19,’21,’22, ICML’22, CCS’21,’22, CVPR’21,’22, FOMLAS’20,’21,’22, ESOP’22, VMCAI’22, APLAS’21, ICCV’21, ATVA’21, IJCAI’21, TACAS’21, ASPLOS’21, JMLR, TMLR, FAOC, Machine Learning, IEEE TNNLS, TOPLAS