People

David Dill

Lead Researcher

I joined Novi in October 2018 to help find tools and methods to aid the development of high assurance systems. I was a professor of computer science at Stanford University from 1987 to 2017, when I retired (so I am now a professor, emeritus).

My primary research area is automated formal verification using a variety of techniques.

Awards

  • National Academy of Engineering, 2013
  • American Academy of Arts and Sciences, 2013
  • Alonzo Church Award for Outstanding Contributions to Logic, 2016
  • Donald E. Knuth Professorship, Stanford School of Engineering, 2016
  • Computer-Aided Verification Award, 2008
  • Electronic Frontier Foundation Pioneer Award, 2004

Interests

Formal methods, high assurance systems, security

Related Links

Google Scholar

Latest Publications

The Move Prover

Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark Barrett, David Dill

CAV - October 21, 2020