Joseph Halpern was an early explorer of the interface between computer science and game theory.
Here's his funeral home obit:
Joseph Y. Halpern
May 29, 1953 — February 13, 2026
"Joe spent nearly 30 years as a professor of computer science at Cornell, and was considered a pioneer in his field. He was famous for having an impressive influence in a wide variety of topics, working extensively at the intersection of computer science, philosophy, and game theory. His work has reshaped the way we think about topics such as reasoning about knowledge and causality. He is the recipient of prestigious awards such as the Gödel Prize and Dijkstra Prize, the co-author of three highly influential books, six patents, and over 300 papers."
His student Daphne Koller writes:
In Memoriam: Joe Halpern
"Yesterday, my PhD advisor, Joe Halpern, passed away after a long battle with lung cancer. He was a brilliant mathematician, a transformative mentor, and a truly wonderful human being.
"Joe possessed the rare ability to identify unusual, deeply interesting problems and solve them with breathtaking elegance and rigor. He was also a master communicator who could distill the most complex concepts into simple, straightforward truths—a skill I strive to emulate every day."
Here's his Google Scholar Page: Jospeh Halpern