Peter Andrews
From Wikipedia, the free encyclopedia
- Peter Andrews may also refer to a pseudonym of Steven Soderbergh.
Peter B. Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania. He received his Ph.D. from Princeton University in 1964 under the tutelage of Alonzo Church. He received the Herbrand Award in 2003. His research group designed the TPS and ETPS automated theorem provers.
[edit] External links
This article about a mathematician from the United States is a stub. You can help Wikipedia by expanding it.
