Joe Halpern (1953-2026)(blog.computationalcomplexity.org)
blog.computationalcomplexity.org
Joe Halpern (1953-2026)
https://blog.computationalcomplexity.org/2026/02/joe-halpern-1953-2025.html
1 comments
Also https://news.cornell.edu/stories/2026/02/joe-halpern-towerin...