Yoram Moses is an Israeli computer scientist and professor at the Technion – Israel Institute of Technology, known for foundational work on reasoning about knowledge in distributed systems. He co-authored the seminal book 'Reasoning About Knowledge' (1995), which formalized epistemic logic for multi-agent and computational settings, bridging formal epistemology and theoretical computer science.
Co-authored 'Reasoning About Knowledge' with Fagin, Halpern, and Vardi, a foundational text on epistemic logic in computer science
Developed formal frameworks for common knowledge and its role in coordinated action in distributed systems
Pioneered knowledge-based analysis of communication protocols
Contributed to understanding the computational complexity of reasoning about knowledge