*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Atlanta, GA | Posted: August 2, 2012
Georgia Tech Media Relations
Laura Diamond
laura.diamond@comm.gatech.edu
404-894-6016
Jason Maderer
maderer@gatech.edu
404-660-2926
Summary Sentence:
Georgia Tech is celebrating its 243rd commencement with approximately 850 undergraduate and graduate students at the Fox Theatre at 7 p.m.
Full Summary:
The Georgia Institute of Technology is celebrating its 243rd commencement with approximately 850 undergraduate and graduate students at the Fox Theatre at 7 p.m.
Richard Lipton - ProfileThe Georgia Institute of Technology is celebrating its 243rd commencement with approximately 850 undergraduate and graduate students at the Fox Theatre at 7 p.m.
Richard Lipton, the Frederick G. Storey Chair in Computing in Georgia Tech’s School of Computer Science, will address graduates from the Institute’s six colleges and 29 schools.
Prior to joining the College of Computing faculty in 2000, Lipton held faculty appointments at Yale University, the University of California at Berkeley and Princeton University.
In addition to his computer science academic appointments, Lipton was the founding director of a computer science laboratory for the Panasonic Corporation and is currently a chief consulting scientist at Telcordia (formerly Bellecore).
Lipton’s research is primarily, but not exclusively, focused on theory. In a recent paper on the power of automata-based proof systems, he explored a way to address the NP=co-NP questions that considered the length of proofs of tautologies in various proof systems. In this joint work, Lipton and his research partner considered proof systems defined by the appropriate classes of automata. He found that in general, starting from a given class of automata, it was possible to define a corresponding proof system in a natural way.
One new and more powerful proof system was based on the class of push down automata. In this work, Lipton presented an exponential lower bound for oblivious read-once branching programs that resulted in a proof system more powerful than oblivious regular resolution.
Lipton has also made important contributions in the areas of program testing, software engineering and most recently DNA computing. This latter area combines molecular biology and computer science. It is generally acknowledged that Lipton was one of the original pioneers in the field of DNA computing.
A Fellow of the Association for Computing Machinery and a Guggenheim Fellow, Lipton holds a bachelor’s degree in mathematics from Case Western Reserve University and a doctorate from Carnegie Mellon University.
