Donald E. Knuth Professor, Emeritus In The School Of Engineering
CurrentI have been on the Computer Science faculty at Stanford for 30 years. Retired Oct. 1, 2017.
Oct 2017 - Present
AeroLeads people directory · profile
David Dill Email & Phone Number
Professor Emeritus of Computer Science, Stanford University
at
Stanford University
1 work email found
@fb.com
3 phones found area 650
LinkedIn matched
✓ Verified August 2026
4 data sources
Profile completeness 100%
Current company
Role
Professor Emeritus of Computer Science, Stanford University
Location
Redwood City, California, United States
Company size
Who is David Dill? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
David Dill is listed as Professor Emeritus of Computer Science, Stanford University at Stanford University, a with 27682 employees, based in Redwood City, California, United States. AeroLeads shows a work email signal at fb.com, phone signal with area code 650, and a matched LinkedIn profile for David Dill.
David Dill previously worked as Donald E. Knuth Professor, Emeritus in the School of Engineering at Stanford University and Donald E. Knuth Professor of Computer Science at Stanford University. David Dill holds Phd, Computer Science from Carnegie Mellon University.
Company email context
Email format at Stanford University
This section adds company-level context without repeating David Dill's masked contact details.
{first_initial}{last}@fb.com
86% confidence
AeroLeads found 1 current-domain work email signal for David Dill. Compare company email patterns before reaching out.
Profile bio
About David Dill
I'm retired, at least for the time being, and learning about AI and related topics. I still spend some time at Stanford.From 2018 - 2022, I led the Move Prover project to develop a formal verification tool for smart contracts at Meta.In the past, my research has focused on formal verification, computational biology, and voting technology and policy. I worked on many different approaches and applications and made many contributions to that area in automata theory (timed automata), BDD-based model checking, explicit state model checking, CPU verification methods, and decision procedures for quantifier-free logic (SMT solvers). My google scholar profile shows publications in this area.
Listed skills include Formal Verification, Computer Science, Computational Biology, Voting Technology, and 2 others.
Current workplace
David Dill's current company
Company context helps verify the profile and gives searchers a useful next step.
Stanford University
6 roles · 31 years
David Dill work experience
A career timeline built from the work history available for this profile.
Donald E. Knuth Professor Of Computer Science
Stanford University
Sep 1987 - Sep 2017
Lead Researcher/Software Engineer
I led the Move Prover development as part of the Libra/Diem blockchain project at Facebook/Meta.Later, I worked in security and privacy until I retired.
Oct 2018 - May 2023
Partner
Ncent Labs
Mar 2018 - Jul 2018
Chief Scientist
Oct 2015 - Mar 2017
Chief Scientist And Co-Founder
0-In Design Automation
0-In design automation was a start-up that developed innovative hardware verification technologies combining testing, formal verification technology, and assertion synthesis. It was acquired by Mentor Graphics in 2004.
1996 - 1997
~1 yr
2 education records
David Dill education
Phd, Computer Science
Carnegie Mellon University
6-3, Computer Science
Massachusetts Institute Of Technology
FAQ
Frequently asked questions about David Dill
Quick answers generated from the profile data available on this page.
What company does David Dill work for?
David Dill works for Stanford University.
What is David Dill's role at Stanford University?
David Dill is listed as Professor Emeritus of Computer Science, Stanford University at Stanford University.
What is David Dill's email address?
AeroLeads has found 1 work email signal at @fb.com for David Dill at Stanford University.
What is David Dill's phone number?
AeroLeads has found 3 phone signal(s) with area code 650 for David Dill at Stanford University.
Where is David Dill based?
David Dill is based in Redwood City, California, United States while working with Stanford University.
What companies has David Dill worked for?
David Dill has worked for Stanford University, Meta, Ncent Labs, Locuspoint Networks Llc, and 0-In Design Automation.
How can I contact David Dill?
You can use AeroLeads to view verified contact signals for David Dill at Stanford University, including work email, phone, and LinkedIn data when available.
What schools did David Dill attend?
David Dill holds Phd, Computer Science from Carnegie Mellon University.
What skills is David Dill known for?
David Dill is listed with skills including Formal Verification, Computer Science, Computational Biology, Voting Technology, Algorithms, and Research.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial