Project Leader

• Certification Redux (2015–2019)
• Formalizing Open Induction, The Tree Theorem, and Simple Termination (2011–2014)

Project Collaborator

• Improving Certifiers for Termination Proofs (2010–2013)
• Termination Tools: Verification and Optimization (2006–2010)