Richard J. Lipton
From Wikipedia, the free encyclopedia
| Richard J. Lipton | |
 |
|
| Born | Sept 6, 1946 |
|---|---|
| Fields | computer science |
| Institutions | Yale Berkeley Princeton Georgia Tech |
| Alma mater | Carnegie Mellon |
| Doctoral advisor | David Parnas |
| Doctoral students | Dan Boneh Avi Wigderson |
| Known for | Karp-Lipton theorem and Planar separator theorem |
Richard Jay "Dick" Lipton is an American computer scientist who has worked in computer science theory, cryptography, and DNA computing. Prof. Lipton is presently Associate Dean of Research, Professor, and the Frederick G. Storey Chair in Computing in the College of Computing at the Georgia Institute of Technology.
[edit] Career
In 1968, Lipton received his undergraduate degree in mathematics from Case Western Reserve University. In 1973, he received his Ph.D. from Carnegie Mellon University; his dissertation, supervised by David Parnas, is entited On Synchronization Primitive Systems. After graduating, Lipton taught at Yale from 1973–1978, at Berkeley from 1978–1980, and then at Princeton from 1980–2000. Since 2000, Lipton has been at Georgia Tech. While at Princeton, Lipton worked in the field of DNA computing. Since 1996, Lipton has been the chief consulting scientist at Telcordia. In 1980, along with Richard M. Karp, Lipton proved the Karp-Lipton theorem (which proves that, if SAT can be solved by Boolean circuits with a polynomial number of logic gates, then the polynomial hierarchy collapses to its second level).
[edit] Awards and honors
- Guggenheim Fellow, 1981
- Fellow of the Association for Computing Machinery, 1997
- member of the National Academy of Engineering
[edit] See also
[edit] External links
- Georgia Tech profile
- Gödel's Lost Letter and P=NP, Lipton's blog
