Honors

• ACSU (Association of Computer Science Undergraduates) Faculty of the Year award, 2007.
• Gilles Lecturer at University of Illinois Champaign-Urbana, 2006.
• Elected Fellow of AAAS, 2005
• Awarded Ralph S. Watts College of Engineering Teaching Award, 2005
• Selected Fellow of the ACM, 2002
• Awarded Guggenheim and Fulbright Fellowships, 2001-02.
• Milner Lecturer at Edinburgh University, May, 2000.
• Awarded 1997 Gödel Prize for outstanding paper in the area of theoretical computer science for ``Knowledge and common knowledge in a distributed environment''.
• Received ``Best Paper'' awards:
  • ``Belief, awareness, and limited reasoning'' winner of MIT Press Publisher's Prize as best paper of the 9th International Joint Conference on Artificial Intelligence, 1985.
  • ``An analysis of first-order logics of probability'' winner of Publisher's Prize as best paper of the 11th International Joint Conference on Artificial Intelligence, 1989.
  • ``Redoing the foundations of decision theory'' awarded the Ray Reiter Best Paper award at the Tenth International Conference on Knowledge Representation and Reasoning, 2006.
• Given ``Outstanding Innovation Award'' by IBM:
  • for work on reasoning about knowledge (1987).
  • for work on clock synchronization (1988).
• Received ``First Plateau Invention Achievement Award'', IBM, 1992.
• Elected Fellow of the American Association of Artificial Intelligence, 1993.
• Papers invited to special issues of journals:
  • ``On the possibility and impossibility of achieving clock synchronization'' invited to special issue of Journal of Computer and Systems Science devoted to papers from the Sixteenth Annual ACM Symposium on Theory of Computing, 1984.
  • ``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 (invitation declined).
  • ``Cheating husbands and other stories: a case study of knowledge, communication, and action'' invited to special issue of first volume of Distributed Computing.
  • ``Optimal precision in the presence of uncertainty'' invited to special issue of first volume of Journal of Complexity.
  • ``The complexity of reasoning about knowledge and time'' invited to special issue of Journal of Computer and Systems Science devoted to papers from Eighteenth Annual ACM Symposium on Theory of Computing, 1986.
  • ``A logic for reasoning about probabilities'' invited to special issue of Information and Computation devoted to papers from the Third IEEE Symposium on Logic in Computer Science, 1988.
  • ``I'm OK if you're OK: On the notion of trusting communication'' invited to special issue of Journal of Philosophical Logic devoted to Philosophical Logic and Artificial Intelligence.
  • ``Message-optimal protocols for Byzantine Agreement'' and ``The failure discovery problem'' invited to special issue of Mathematical Systems Theory devoted to Byzantine Agreement.
  • ``Zero-one laws for modal logic'' invited to special issue of Annals of Pure and Applied Logic devoted to papers from the Seventh Annual IEEE Symposium on Logic in Computer Science.
  • ``Knowledge-based programs'' invited to special issue of Distributed Computing devoted to papers of the Fourteenth Annual ACM Symposium on Distributed Computing.
  • ``A logic for SDSI's linked local named spaces'' invited to special issue of Journal of Computer Security devoted to papers of the 12th Computer Security Foundations Workshop.
  • ``A logical reconstruction of SPKI'' invited to special issue of Journal of Computer Security devoted to papers of the 14th Computer Security Foundations Workshop.
  • ``On the relationship between strand spaces and multi-agent systems'' invited to special issue of ACM Transactions on Information and System Security devoted to papers of the Eighth ACM Conference on Computer and Communications Security.
  • ``Anonymity and information hiding in multiagent systems'' invited to special issue of Journal of Computer Security devoted to papers of the 16th Computer Security Foundations Workshop.
• ``Plausibility measures and default reasoning'' commended for its excellence by the Committee on the ``IGPL/FoLLI Prize for the Best Idea of the Year 1996''.