2026 David L. Dill: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	78	1163	1125	616	592	230	44938

Research.com Recognitions

2013 - Member of the National Academy of Engineering For the development of techniques to verify hardware, software, and electronic voting systems.
2013 - Fellow of the American Academy of Arts and Sciences
2005 - ACM Fellow For contributions to system verification and for leadership in the development of verifiable voting systems.
1932 - Fellow of the American Association for the Advancement of Science (AAAS)

Overview

David L. Dill is affiliated with Stanford University in the United States. Their research spans multiple fields, notably in computer science and biochemistry, genetics, and molecular biology. The scientist has contributed extensively to topics including blockchain technology applications and security, logic, programming, and type systems, as well as formal methods in verification.

Their work covers a range of specialized subfields such as artificial intelligence, molecular biology, information systems, computational theory and mathematics, and genetics. This multidisciplinary approach is reflected in their diverse research output.

David L. Dill has published recent papers in various scientific journals and conferences, including:

The m ⁶ A RNA demethylase FTO is a HIF-independent synthetic lethal partner with the VHL tumor suppressor (2020, Proceedings of the National Academy of Sciences)
Reluplex: a calculus for reasoning about deep neural networks (2021, Formal Methods in System Design)
Aquila enables reference-assisted diploid personal genome assembly and comprehensive variant detection based on linked reads (2021, Nature Communications)
High Throughput Computational Mouse Genetic Analysis (2020, bioRxiv - Cold Spring Harbor Laboratory)
Aquila_stLFR: diploid genome assembly based structural variant calling package for stLFR linked-reads (2021, Bioinformatics Advances)

Frequent publication venues for David L. Dill include:

arXiv (Cornell University)
Zenodo (CERN European Organization for Nuclear Research)
Proceedings of the National Academy of Sciences
Formal Methods in System Design
Nature Communications

Frequent co-authors collaborating with David L. Dill are:

Clark Barrett
Shaz Qadeer
Wolfgang Grieskamp
Junkil Park
Yoni Zohar

The scientist's primary fields of research include:

Computer Science
Biochemistry, Genetics and Molecular Biology

Within these, their subfields of study are:

Artificial Intelligence
Molecular Biology
Information Systems
Computational Theory and Mathematics
Genetics

Main topics addressed in their research are:

Blockchain Technology Applications and Security
Logic, programming, and type systems
Formal Methods in Verification
Genomics and Phylogenetic Studies
Software Testing and Debugging Techniques
RNA modifications and cancer
Cancer-related gene regulation

David L. Dill has received several recognitions, including:

Fellow of the American Academy of Arts and Sciences (2013)
Member of the National Academy of Engineering (2013) for the development of techniques to verify hardware, software, and electronic voting systems
ACM Fellow (2005) for contributions to system verification and leadership in verifiable voting systems development
Fellow of the American Association for the Advancement of Science (AAAS)

Best Publications

A theory of timed automata

Rajeev Alur;David L. Dill

10037
Citations
Symbolic model checking: 10/sup 20/ states and beyond

J.R. Burch;E.M. Clarke;K.L. McMillan;D.L. Dill

4644
Citations
EXE: Automatically Generating Inputs of Death

Cristian Cadar;Vijay Ganesh;Peter M. Pawlowski;David L. Dill

2738
Citations
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Guy Katz;Clark W. Barrett;David L. Dill;Kyle Julian

1806
Citations
Automata for modeling real-time systems

Rajeev Alur;David L. Dill

1636
Citations
Model-checking for real-time systems

R. Alur;C. Courcoubetis;D. Dill

1419
Citations
Model-Checking in Dense Real-Time

R. Alur;C. Courcoubetis;D. Dill

1382
Citations
Timing assumptions and verification of finite-state concurrent systems

David L. Dill

1131
Citations
Symbolic model checking for sequential circuit verification

J.R. Burch;E.M. Clarke;D.E. Long;K.L. McMillan

882
Citations
A decision procedure for bit-vectors and arrays

Vijay Ganesh;David L. Dill

838
Citations
Automatic verification of Pipelined Microprocessor Control

Jerry R. Burch;David L. Dill

827
Citations
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

David L. Dill

822
Citations
Better Verification Through Symmetry

C. Norris Ip;David L. Dill

740
Citations
Sequential circuit verification using symbolic model checking

J. R. Burch;E. M. Clarke;K. L. McMillan;David L. Dill

714
Citations
Protocol verification as a hardware design aid

D.L. Dill;A.J. Drexler;A.J. Hu;C.H. Yang

647
Citations
CMC: a pragmatic approach to model checking real code

Madanlal Musuvathi;David Y. W. Park;Andy Chou;Dawson R. Engler

547
Citations
Automated identification of stratifying signatures in cellular subpopulations

Robert V. Bruggner;Bernd Bodenmiller;David L. Dill;Robert J. Tibshirani

516
Citations
The Marabou Framework for Verification and Analysis of Deep Neural Networks

Guy Katz;Derek A. Huang;Duligur Ibeling;Kyle Julian

495
Citations
The Mur ϕ verification system

David L. Dill

495
Citations
The Theory of Timed Automata

Rajeev Alur;David L. Dill

391
Citations
Learning a SAT Solver from Single-Bit Supervision

Daniel Selsam;Matthew Lamm;Benedikt Bünz;Percy Liang

247
Citations

Frequent Co-Authors

Clark Barrett Stanford University

Gary Peltz Stanford University

Steven M. Nowick Columbia University

Rajeev Alur University of Pennsylvania

Costas Courcoubetis Chinese University of Hong Kong, Shenzhen

Alan J. Hu University of British Columbia

Mark Horowitz Stanford University

Dawson Engler Stanford University

Robert Tibshirani Stanford University

Andrew J. Gentles Stanford University

External Links

Wikipedia of David L. Dill Personal website of David L. Dill Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science often leads students to consider related technical fields and flexible study options. Many prospective professionals opt for specialized online degrees to broaden their expertise. For example, a physics degree online is ideal for those interested in the fundamentals of computation and quantitative analysis.

Another popular choice is data analytics. Accredited data science degrees provide vital skills for today’s data-driven industries. Similarly, technical fields like electrical engineering are increasingly accessible through online electrical engineering courses USA, making it easier for working adults or international students to advance their careers.

For those aiming to quickly enter the workforce, 3-month certificate programs that pay well offer a fast-track into high-demand tech positions. Each of these pathways can complement traditional computer science study or serve as a stepping stone into specialized or emerging tech careers.