Alexander Razborov
* February 16, 1963, Belovo, Soviet Union (today Russia)
Nevanlinna Prize - 1990
For introducing the "approximation method" in proving Boolean circuit lower bounds of some essential algorithmic problems.
For introducing the "approximation method" in proving Boolean circuit lower bounds of some essential algorithmic problems.