Registered user since Fri 17 Oct 2014
I am an Assistant Professor in the Siebel School of Computing and Data Science at the University of Illinois Urbana-Champaign (UIUC). I also co-lead the Science and Technology Working Group at the Institute of Government and Public Affairs, University of Illinois, focusing on AI governance and the future of work with AI. My research combines ideas from formal methods, machine learning, and systems research to develop systematic and theoretically principled approaches for building intelligent computing systems with formal guarantees.
Our group at UIUC has been at the forefront of advancing Trustworthy AI, pioneering state-of-the-art methods for certifying, monitoring, and synthesizing frontier AI systems with formal guarantees. Our work has been recognized through several awards, including the NSF CAREER Award, the Google Research Scholar Award, multiple Amazon Research Awards, and an Open Philanthropy research grant.
Contributions
2026
Static Analysis Symposium
- Presenter of Synthesizing Adaptive and Scalable Abstract Interpreters within the SAS 2026-track
- Committee Member in Program Committee within the SAS 2026-track
- Session Chair of Automated Repair and Vulnerability Detection (part of SAS 2026)
- Committee Member in Steering Committee within the SAS 2026-track
- Author of Uncovering the Limits of Proof Sharing for Neural Networks within the SAS 2026-track
- Panelist of Future Trends in Static Analysis within the SAS 2026-track
PAgE
PLDI
2025
Static Analysis Symposium
SPLASH
2024
Static Analysis Symposium
2023
Static Analysis Symposium
PLDI
- Session Chair of PLDI: Probabilistic Analyses (part of PLDI Research Papers)
- Committee Member in SRC Reviewers within the SRC-track
- Committee Member in PLDI Review Committee within the PLDI Research Papers-track
- Author of A general construction for abstract interpretation of higher-order automatic differentiation within the PLDI Research Papers-track
- Author of Scalable Verification of GNN-based Job Schedulers within the PLDI Research Papers-track
- Author of Incremental Verification of Neural Networks within the PLDI Research Papers-track
2022
SPLASH
- SAS Co-Chair in Organizing Committee
- Author of Proof transfer for fast certification of multiple approximate neural networks within the OOPSLA-track
- Author of A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation within the OOPSLA-track
- Author of Scalable Verification of GNN-Based Job Schedulers within the OOPSLA-track
- Mentor in Mentors within the PLMW-track
Static Analysis Symposium
- Session Chair of Keynote 3 (part of SAS)
- Program Co-Chair in Organizing Committee
- Co-chair in Program Committee within the SAS-track
- Presenter of Radhia Cousot Award within the SAS-track
- Presenter of PC Chairs Report within the SAS-track
- Session Chair of Keynote 2, Radhia Cousot Award, PC Chairs Report (part of SAS)
- Session Chair of Keynote 1 (part of SAS)
POPL
- Session Chair of Program Analysis (part of POPL)
- Author of Formal Methods and Deep Learning [Part B] within the TutorialFest-track
- Author of A Dual Number Abstraction for Static Analysis of Clarke Jacobians within the POPL-track
- Author of PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations within the POPL-track