Awards

2013: 20-year Test of Time Award from the Association for Logic
Programming for the work on
Transaction
Logic.
2008: SUNY Chancellor's and Stony Brook Presidential Awards for Excellence
in Scholarship.
2006: Plumer Fellowship at St. Anne's College, Oxford University.
2002: Faculty Service Award, Stony Brook University.
2002: ACM
SIGMOD Test of Time Award for the work
on object-oriented query languages.
1999: ACM
SIGMOD Test of Time Award for the work
on F-logic.