Main content start
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
Member, National Academy of Engineering (2013)
Fellow, American Academy of Arts and Sciences (2013)
Fellow, IEEE
Fellow, ACM
Pioneer Award, Electronic Frontier Foundation
CAV Award for developing the Reluplex algorithm, for verifying real-world deep neural networks., International Conference on Computer-Aided Verification (2024)
CAV Award for pioneering contributions satisfiability modulo theories (SMT)., International Conference on Computer-Aided Verification (2021)
Alonzo Church Award for outstanding contributions to logic., ACM SIGLOG, EATCS, EACSL, and KGS (2016)
CAV Award for fundamental contributions to the theory of real-time systems verification., International Conference on Computer-Aided Verification (2008)
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 collaborating with researchers at Stanford and elsewhere.
He retired in 2017 and is no longer taking new students. He is collaborating with researchers at Stanford and elsewhere.