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

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