弗拉基米尔·沃沃斯基

　　弗拉基米尔·沃沃斯基(Vladimir Voevodsky，1966年6月4日—2017年9月30日)，俄罗斯裔数学家，普林斯顿高等研究院数学学院终身教授。1989年进入莫斯科大学学习，因发表数学论文被哈佛大学直接录取为博士生，1992年获哈佛大学数学博士学位。2002年起任普林斯顿高等研究院终身教授，同年获菲尔兹奖。

　　沃沃斯基未完成莫斯科州立大学学位即赴哈佛深造，其研究继承亚历山大·格罗腾迪克的工作，发展出主上同调理论框架，解决代数K理论中的米尔诺猜想以及更广义的布洛赫-加藤猜想。职业生涯后期，因发现已发表论文中存在关键错误，他对数学证明的可信度产生怀疑，由此转向数学基础形式化研究。沃沃斯基创建单价基础理论，他将同伦理论的思想引入类型理论，提出单价性公理，并开发证明助手，主导UniMath项目构建数学全球数据库。该项目基于单价基础理论而非集合论，并能够借助计算机完成严格的检查。2018年，普林斯顿高等研究院为他举办了为期四天的纪念会议。2017年逝世于普林斯顿，终年51岁。