Project Leader

• 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)