Robert Martin Solovay (born December 15, 1938) is an American mathematician working in set theory.
Robert M. Solovay | |
---|---|
Born | Brooklyn, New York, U.S. | December 15, 1938
Nationality | American |
Alma mater | University of Chicago |
Known for | Solovay model Solovay–Strassen primality test Zero sharp Martin's axiom Solovay–Kitaev theorem |
Awards | Paris Kanellakis Award (2003) |
Scientific career | |
Fields | Mathematics |
Institutions | University of California, Berkeley |
Doctoral advisor | Saunders Mac Lane |
Doctoral students | Matthew Foreman Judith Roitman Betül Tanbay W. Hugh Woodin |
Solovay earned his Ph.D. from the University of Chicago in 1964 under the direction of Saunders Mac Lane, with a dissertation on A Functorial Form of the Differentiable Riemann–Roch theorem.[1] Solovay has spent his career at the University of California at Berkeley, where his Ph.D. students include W. Hugh Woodin and Matthew Foreman.[2]
Solovay's theorems include: