Certified Artificial Intelligence
Invited Tutorial
WASP summer school in AI, Virtual, 2020
Talks and presentations
Certified Artificial Intelligence
Invited Talk
VMware Research, Tel Aviv University, UIUC, Cornell, Rice, NYU, MIT, and Georgia Tech, 2020
Safe and Robust Deep Learning
Invited Talk
Workshop on Dependable and Secure Software Systems, ETH Zurich, Switzerland, 2019
Safe and Robust Deep Learning
Invited Talk
Waterloo ML + Security + Verification Workshop, University of Waterloo and New York University, 2019
Safe and Robust Deep Learning
Invited Tutorial
DigiCosme Spring School on Formal Methods and Machine Learning, ENS Paris-Saclay, Cachan, France, 2019
An Abstract Domain for Certifying Neural Networks
Invited Talk
ACM Principles of Programming Languages (POPL), Lisbon, Portugal, 2019
Fast Numerical Program Analysis with Reinforcement Learning
Invited Talk
Computer Aided Verification (CAV), Oxford, UK, 2018
A Practical Construction for Decomposing Numerical Abstract Domains
Invited Talk
ACM Principles of Programming Languages (POPL), Los Angeles, USA, 2018