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

UNDP workshop.JPG

UNDP partners with QCRI to use AI for social good

11/02/2019

Qatar forum on leveraging AI to solve humanitarian problems fills to capacity.

Read More

C. Mohan pic.jpg

Renowned computing expert C. Mohan to bust blockchain myths in Qatar talk

22/01/2019

Well-known inventor of database recovery algorithms to deliver keynote at QCRI's first blockchain workshop.

Read More

Darb Al Saai QCRI 2017.JPG

QCRI to offer kids’ computing activities at this year’s Darb Al Saai

03/12/2018

Tech fun and robotics computing activities will be available to children attending the annual family celebration from December 12 to 20.

Read More