PhD Candidate: Arjun Viswanathan
Advisor: Cesare Tinelli
Please contact Arjun Viswanathan for further details, if you wish to join his exam.
Final Exam - Automating Interactive Theorem Provers and Certifying Automated Theorem Provers
Individuals with disabilities are encouraged to attend all University of Iowa–sponsored events. If you are a person with a disability who requires a reasonable accommodation in order to participate in this program, please contact Tina Kimbrell in advance at 319-335-0713 or tina-kimbrell@uiowa.edu.