Project Collaborator

• Certification Redux (2015-2017)
• Constrained Rewriting and SMT: Emerging Trends in Rewriting (2013-2015)
• Improving Certifiers for Termination Proofs (2012)
• The Word Problem in Equational Logic (2012)
• Proofs in Equational Logic (2011)
• Visualizing the Knuth-Bendix Completion Procedure (2010)