Avi Wigderson surveys Michael Rabin's lasting fingerprints across theory of computation
fortnow · x · 2026-10-20
Michael O. Rabin, a major founder of theoretical computer science, died on April 14, 2026, at age 94. Avi Wigderson published a survey on ECCC (TR26-259) covering the wide scope and lasting impact of Rabin's research across the theory of computation, serving as a comprehensive entry point to his contributions.
More from Research
- MathEconLib open-sourced: Axiom Math and top economists bring machine-checked proofs to economics in Lean 4 — soumitrashukla9 · 2026-10-23
- Ken Ono invites the community to build MathEcon on the new Lean 4 economics library — soumitrashukla9 · 2026-10-23
- IFM open-sources RL360: 8,192 concurrent sandboxes and ~1.3M rollouts for agentic RL — rupspace · 2026-10-23
- Science lifts expression of concern on 2024 AI debunking-conspiracies paper; conclusions unchanged — DG_Rand · 2026-10-23
- Embodied First Exam benchmarks coding agents on 1,090 tasks across 44 robots — ManlingLi_ · 2026-10-23
- Anima Anandkumar on neural operators: AI weather models beat supercomputers — AnimaAnandkumar · 2026-10-23