Talks

• LINC: A Neuro-symbolic Approach for Logical Reasoning
  PL/FM/SE PhD Qualification Exam, UIUC
  Oct 1, 2025
  Slides
• Multi-Network Relational Verification and Certifiable Training
  CS584 Embedded System Verification, Spring 2025, UIUC
  May 1, 2025
  Slides
• Neural Abstract Interpretation
  Formal Methods Seminar, Spring 2024, UIUC
  Apr 19, 2024
  Slides
• Verification and Certified Training of PINNs
  CS598 Scientific Machine Learning, Fall 2023, UIUC
  Nov 27, 2023
  Slides
• Satisfiability and Synthesis Modulo Oracles
  Formal Methods Seminar, Fall 2023, UIUC
  Nov 8, 2023
  Slides
• Neural Approximations of Abstract Transformers
  CS477 Formal Software Development Methods, Spring 2023, UIUC
  May 8, 2023
  Slides
• Synthesizing Abstract Transformers
  Formal Methods Seminar, Spring 2023, UIUC
  Mar 31, 2023
  Slides
• Monotonic Neural Networks
  CS521 Trustworthy AI Systems, Fall 2022, UIUC
  Nov 27, 2022
  Slides