Awards
 
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.