Doctoral Speaking Skills Talk - Joshua Clune
September 23, 2026 12:00PM—1:00PM
Location:
6115
-
Gates and Hillman Centers
Speaker:
JOSHUA CLUNE,
Ph.D. Student, Computer Science Department, Carnegie Mellon University
https://joshclune.github.io/
There are several paradigms for integrating interactive and automated theorem provers, combining the convenience of powerful automation with strong soundness guarantees. This talk will discuss some of these existing paradigms, explore their various tradeoffs, and then propose a new "hint-based" method of SMT proof reconstruction.
Presented as part of the PLunch Seminar Series
Presented in Partial Fulfillment of the CSD Speaking Skills Requirement
Contact
Matt Stewart