Awards
2019 CADE Thoralf Skolem Award
My paper, On restrictions of ordered paramodulation with simplification, co-authored with Harald Ganzinger and published in the proceedings of the Tenth International Conference on Automated Deduction in 1990, was selected for this test-of-time award.
2015 CADE Thoralf Skolem Award
My paper, Commutation, Transformation, and Termination, co-authored with Nachum Dershowitz and published in the proceedings of the Eighth International Conference on Automated Deduction, Oxford, England, July 1986, was selected for this test-of-time award.
ACM/IEEE Symposium on Logic in Computer Science 2013 Test-of-Time Award
My paper, Set constraints are the monadic class, co-authored with Harald Ganzinger and Uwe Waldmann and presented at LICS '93, was selected for the 2013 Test-of-Time Award.
IEEE Symposium on Logic in Computer Science 2006 Test-of-Time Award
My paper, Orderings for equational proofs, co-authored with Nachum Dershowitz and Jieh Hsiang and presented at LICS '86, was selected for the 2006 Test-of-Time Award.