史蒂文·鲁迪赫
在密码学与计算复杂度上的贡献，与自然证明框架（解释 P≠NP 证明的结构性困难）
获奖原因
史蒂文·鲁迪赫（1962–）是密码学与计算复杂度学者。他与拉兹博罗夫提出”自然证明（natural proofs）“框架，证明：任何具备”自然性”与”构造性”的电路下界方法，都将隐含某种伪随机生成器的存在，从而在标准密码学假设下无法用于分离 P 与 NP。2020 年邵逸夫数学科学奖授予他（与拉兹博罗夫共享）。
他的工作把”复杂度下界”与”密码学硬度”联系起来，深刻塑造了现代理论计算机科学的方法论。