亚历山大·拉兹博罗夫
在计算复杂度与证明复杂度上的突破，给出电路下界与自然证明框架
获奖原因
亚历山大·拉兹博罗夫（1963–）是计算复杂度理论家。他用”下界方法”（如近似方法、矩方法）证明了一系列”单调电路”与”有界深度电路”的指数下界；他与鲁迪赫（Rudich）提出”自然证明（natural proofs）“框架，解释了为何众多分离 P 与 NP 的尝试会失败。2020 年邵逸夫数学科学奖授予他（与史蒂文·鲁迪赫共享）。
他的”自然证明”论文揭示了现代电路下界证明的深层结构性限制，是计算复杂性理论的里程碑。