Talks
-
Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
Guest Lecture, CS477 Formal Software Development Methods, Spring 2026, UIUCPL/FM/SE Seminar, Spring 2026, UIUC
-
LINC: A Neuro-symbolic Approach for Logical Reasoning
PL/FM/SE PhD Qualification Exam, UIUC
-
Multi-Network Relational Verification and Certifiable Training
CS584 Embedded System Verification, Spring 2025, UIUC
-
Neural Abstract Interpretation
Formal Methods Seminar, Spring 2024, UIUC
-
Verification and Certified Training of PINNs
CS598 Scientific Machine Learning, Fall 2023, UIUC
-
Satisfiability and Synthesis Modulo Oracles
Formal Methods Seminar, Fall 2023, UIUC
-
Neural Approximations of Abstract Transformers
CS477 Formal Software Development Methods, Spring 2023, UIUC
-
Synthesizing Abstract Transformers
Formal Methods Seminar, Spring 2023, UIUC
-
Monotonic Neural Networks
CS521 Trustworthy AI Systems, Fall 2022, UIUC