Alexander Razborov

Alexander Razborov is a Soviet and Russian mathematician and computer scientist, born in 1963 in Belovo in the Kemerovo Oblast. He works in group theory, logic in computer science, and theoretical computer science, and is best known for introducing, with Steven Rudich, the concept of natural proofs, showing that under plausible assumptions about one-way functions an entire broad class of proof techniques cannot resolve the P versus NP problem. His honors include the Nevanlinna Prize in 1990, the Godel Prize in 2007, and the David P. Robbins Prize in 2013, and he holds the Andrew McLeish Distinguished Service Professorship at the University of Chicago.