Univ.-Prof. Dr. Aart Middeldorp   

Projects

FORTissimo: Automating the First-Order Theory of Rewriting
FWF stand-alone project P 30301, 2017 – 2020

From Confluence to Unique Normal Forms: Certification and Complexity
FWF stand-alone project P 27528, 2015 – 2018

Constrained Rewriting and SMT: Emerging Trends in Rewriting
FWF international project I 963, 2012 – 2015

Confluence: Automation, Certification, Extensions
FWF stand-alone project P 22467, 2010 – 2014

Termination Tools: Verification and Optimization
FWF stand-alone project P 18763, 2006 – 2010