Honors

• Fellow, St. Catherine's College, Oxford, 2024.
• Lowy Distinguished Guest Professor, Tel Aviv University, 2023-24.
• Selected Fellow of the Asia-Pacific Artificial Intelligence Association, 2022.
• Recipient of University College (University of Toronto) Alumni of Distinction Award, 2021.
• Elected member of National Academy of Engineering, 2019.
• Moore Distinguished Scholar at Caltech, 2018-2019.
• Recipient of Lady Davis Fellowship, Hebrew University, 2018.
• Elected chair of the Section on Information, Computing, & Communication of AAAS (American Association for the Advancement of Science): term of office 2018-2021 (Chair-elect: 2/18/19-2/18/20; Chair: 2/19/20-2/17/20; Retiring Chair: 2/18/20- 2/14/21).
• Recipient of Lady Davis Fellowship, Hebrew University, 2018.
• Jin Yuelin Lecturer at Tsinghua University, 2017
• Selected Fellow of the Game Theory Society, 2017
• Kampe de Feriet Award, 2016
• Elected Fellow of American Academy of Arts and Science, 2015
• Selected IEEE Fellow, 2012
• Selected Economic Theory Fellow, Society for the Advancement of Economic Theory, 2011
• ACM SIGART Autonomous Agents Research Award, 2011
• Saul Gorn Memorial Lecturer, University of Pennsylvania, 2011
• Kenneth A. Goldman '71 Excellence in Teaching Award, 2010
• 2009 Edsger Dijkstra Prize in Distributed Computing
• Sackler Lecturer, Tel Aviv University, 2009
• Fulbright Distinguished Chair in Natural Sciences and Engineering, Hebrew University, 2009-10
• 2008 ACM/AAAI Newell Award
• 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.
  • Ambiguous language and differences in beliefs awarded the Ray Reiter Best Paper award at the Thirteenth International Conference on Knowledge Representation and Reasoning, 2012.
  • 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 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''.