Students
Current students at UIUC
PhD
Master
Undergrad
Interns at VMware Research
Haoze Wu. Scalable Verification of GNN-based Job Schedulers
Past Master students at ETH
Supervised
Makarchuk Gleb. Precise Multi-Neuron Abstractions for Neural Network Certification (Published at POPL'22)
Dimitar Dimitrov . Scalable Inference of Symbolic Adversarial Examples (Published at ICLR'22)
Clemens Giuliani. Approximating Polyhedra with Reduced Precision Arithmetic
Raphaël Dang-Nhu. Adversarial Attacks on Probabilistic Autoregressive Forecasting Models (Published at ICML'20)
Jonathan Mauer. ONNX and Testing support for ERAN
Rupanshu Ganvir. k-ReLU Robustness Certification (Published at NeurIPS'19)
Christoph Müller. Scaling Polyhedral Neural Network Verification on GPUs (Published at MLSys'21)
Jovan Andonov. Python Interface for ELINA
Worked with
Wonryong Ryou. Fast and Effective Robustness Certification for Recurrent Neural Networks (Published at CAV'21)
Christian Sprecher. Shared Certificates for Neural Network Verification (Published at CAV'22)
Tobias Lorenz. Robustness Certification for Point Cloud Models (Published at ICCV'21)
Past Undergraduate students at ETH
Jakub Kotal. Fast Polyhedra Analysis with Deep Q-networks
Afra Amini. Precise Approximations for Polyhedra Analysis