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

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

Yazan Wired story pic.jpg

Your sloppy bitcoin drug deals will haunt you for years

28/01/2018

Perhaps you bought some illegal narcotics on the Silk Road half a decade ago, back when that digital black market for every contraband imaginable was still online and bustling. You might already ...

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

wooldridge pic.png

Oxford University’s computing chief to visit Qatar for QCAI launch

26/08/2018

Multi award-winning scientist Prof. Michael Wooldridge scheduled to hold public lecture on Sunday, September 9.

Read More

Cozmo camp.jpg

QCRI announces 2018 summer camps for kids

09/07/2018

Register soon as places fill quickly.

Read More

ahmed pic.JPG

QCRI to launch Qatar Center for Artificial Intelligence (QCAI)

14/05/2018

Initiative plans to ramp up development of artificial intelligence technologies to position Qatar as a global leader in AI.

Read More