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.

Alexander von Humboldt Foundation Research Fellowship

SUNY Chancellor's Award for Excellence in Faculty Service