Language-based games selected as one of two top papers from
TARK (Conference on Theoretical Aspects of Reasoning About Knowledge);
presented at session at IJCAI 2013 on best papers from related conferences.
Given ``Outstanding Innovation Award'' by IBM:
for work on reasoning
about knowledge (1987).
for work on clock
Received ``First Plateau Invention Achievement Award'', IBM, 1992.
Elected Fellow of the American Association of Artificial
A model-theoretic analysis of knowledge
invited to special issue of Journal of Computer and Systems Science devoted to papers from
25th Annual Conference on Foundations of Computer Science, 1984