Joe Halpern (1953-2026)https://blog.computationalcomplexity.org/2026/02/joe-halpern-1953-2025.html by speckx • 5 months ago 3 1 5 months agoBLblog.computationalcomplexity.org