About Us >‏ Scientific Advisory Committee >‏ Dick Lipton Biography

Dick Lipton Biography

Dick-Lipton-3.jpg

Dick Lipton, Georgia Tech

A member of the National Academy of Engineering, Dr. Lipton’s professional career has been primarily in academia. He has held faculty appointments at Yale University, the University of California at Berkeley and Princeton University before joining the faculty in the College of Computing at Georgia Tech. In addition to his computer science academic appointments, Dr. Lipton was the founding director of a computer science research laboratory for the Panasonic Corporation and is currently a chief consulting scientist at Telcordia (formerly known as Bellcore).

Dr. Lipton’s research is primarily, but not exclusively focused on theory. In a recent paper which explored the power of automata-based proof systems, he explored one way to address the NP=co-NP questions which considered the length of proofs of tautologies in various proof systems. In this joint work with A. Viglas he considered proof systems defined by appropriate classes of automata. Dr. Lipton 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, Dr. Lipton presented an exponential lower bound for oblivious read-once branching programs that resulted in a proof system more powerful than oblivious regular resolution.

Dr. 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 Dr. Lipton was one of the original pioneers in the field of DNA computing, along with Len Adleman.

 

Follow Us

  • YouTube
  • Twitter
  • Facebook
  • RSS Feed
  • Linkedin
  • github-web.png
Back to Top

In the Media

Forbes fake news pic.jpg

Can AI Put An End To Fake News? Don't Be So Sure

07/10/2018

Fake news was the Collin’s word of the year for 2017 with good reason. In a year where politics-as-usual was torn apart at the seams, high-profile scandals rocked our faith in humanity and the ...

Read More

roadtracer.png

MIT/QCRI system uses machine learning to build road maps

22/04/2018

Map apps may have changed our world, but they still haven’t mapped all of it yet. Specifically, mapping roads can be difficult and tedious: even after taking aerial images, companies still have to ...

Read More

Economist story pic.JPG

Improving disaster response efforts through data

08/02/2018

Extreme weather events put the most vulnerable communities at high risk. How can data analytics strengthen early warning systems and and support relief efforts for communities in need? The size and ...

Read More

Events

Past Events

2018

Eman interns pic 2017.jpg

QCRI Summer Internship Program

Download ICS File 06/05/2018  - 05/07/2018 , Hamad Bin Khalifa Research Complex

Each year, Qatar Computing Research Institute organizes a summer internship program for undergraduate students studying computer science, computer engineering and other disciplines. The internship is unpaid, and QCRI does not provide any visa support.

Read More

Regina

Public Talk by Prof. Regina Barzilay "Artificial Intelligence for Oncology: Learning to Cure Cancer from Images and Text"

Download ICS File 27/03/2018 ,

Artificial Intelligence for Oncology: Learning to Cure Cancer from Images and Text A talk by Professor Regina Barzilay, MIT CSAIL Winner of 2017 MacArthur ‘genius grant’ At Education City Student ...

Read More

Slide1.JPG

QCRI & MIT-CSAIL Annual Project Review 2018

Download ICS File 27/03/2018 ,

Executive Overview Sessions Open to public Date:    Tuesday, March 27, 2018 Time:    9:00AM – 3:00PM Venue:  HBKU Research Complex Multipurpose Room To view full agenda, please click here . To RSVP, ...

Read More

News

Sofiane Abbar in his office.jpg

Global experts in artificial intelligence for transportation to visit Qatar for TASMU-QCAI workshop

18/11/2018

Urban computing experts from Europe, the US and Qatar are to discuss state-of-the-art advances in artificial intelligence for transportation with local stakeholders.

Read More

Francisco Martin - Source_TelefonicaOpenFuture_.jpg

QCAI to Conduct Joint Machine Learning School with BigML

16/10/2018

Two-day crash course to provide hands-on introduction to machine learning for industry practitioners, developers, graduate students and undergraduates.

Read More

Ahmed at CSAIL.jpg

MIT-CSAIL hosts annual meeting highlighting collaboration with QCRI

14/10/2018

QCRI scientists travel to MIT-CSAIL campus in Boston to update research projects.

Read More