Yoav Shoham
contemporaryFormal Epistemology, Artificial Intelligence, Game Theoryb. 1956
Yoav Shoham is a professor of computer science at Stanford University whose work spans artificial intelligence, multi-agent systems, and game theory. He is known for foundational contributions to knowledge representation, temporal reasoning, and the logical and game-theoretic underpinnings of rational agency. His research bridges formal philosophy of mind with computational models of belief, action, and strategic interaction.
Notable Achievements
1
Co-authored the landmark textbook 'Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations' (with Kevin Leyton-Brown)
2
Pioneered agent-oriented programming as a paradigm for AI system design
3
Developed formal frameworks for nonmonotonic temporal reasoning and causal logic
4
Contributed to epistemic game theory, including analysis of plausibility and belief revision in sequential games
5
Founded AI companies including Katana Graph and was involved in early AI startup culture at Stanford