David Dill

Donald E. Knuth Professor in the School of Engineering, Emeritus

PhD, Carnegie Mellon (1987)
Academic Appointments
Emeritus Faculty, Acad Council, Computer Science
Member, Bio-X
Honors & Awards
Pioneer Award, Electronic Frontier Foundation
Fellow, IEEE
Fellow, ACM
Member, National Academy of Engineering (2013)
Fellow, American Academy of Arts and Sciences (2013)
Dill has interests in the theory and application of formal verification techniques to system designs, which encompass hardware, protocols, and software and in computational systems biology. He has also done research in asynchronous circuit verification and synthesis, and in verification methods for hard real-time systems.

He retired in 2017 and is no longer taking new students. He is currently a researcher at Facebook on blockchain technology.

Contact

Research Interests