Profil personnel
Personal profile
Dale Miller is an American computer scientist and author. He is a Director of Research at Inria Saclay and one of the designers of the λProlog programming language and the Abella interactive theorem prover.
Miller is most known for his research on topics in computational logic, including proof theory, automated reasoning, and formalized meta-theory. He has co-authored the book Programming with Higher-order Logic.
Miller is a Fellow of the Association for Computing Machinery (ACM), has been a two-term Editor-in-Chief of the ACM Transactions on Computational Logic from 2009 to 2015 and holds an editorial appointment on the Journal of Automated Reasoning.
Intérêts de la recherche
- Proof Theory
- Linear Logic
- Logic Programming
- Theorem Proving
- Computational Logic
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
Designing a Safe Forward Chaining Tactic Using Productive Proofs
Chaudhuri, K., Gantait, A. & Miller, D., 1 janv. 2026, Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Proceedings. Pozzato, G. L. & Uustalu, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 299-317 19 p. (Lecture Notes in Computer Science; Vol 15980 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Linear Logic Using Negative Connectives
Miller, D., 7 juil. 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (Ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; Vol 337).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
About Trust and Proof: An Experimental Framework for Heterogeneous Verification
Al Wardani, F., Chaudhuri, K. & Miller, D., 1 janv. 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 162-183 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol LNCS 14781).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs
Accès ouvert -
Focusing Gentzen’s LK Proof System
Liang, C. & Miller, D., 1 janv. 2024, Outstanding Contributions to Logic. Springer Science and Business Media B.V., p. 275-313 39 p. (Outstanding Contributions to Logic; Vol 29).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs
Accès ouvert -
Property-Based Testing by Elaborating Proof Outlines
Miller, D. & Momigliano, A., 1 janv. 2024, (Accepté/En presse) Dans: Theory and Practice of Logic Programming. S1471068424000176.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
A Positive Perspective on Term Representation
Miller, D. & Wu, J. H., 1 févr. 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 3. (Leibniz International Proceedings in Informatics, LIPIcs; Vol 252).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
A system of inference based on proof search: an extended abstract
Miller, D., 1 janv. 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. Institute of Electrical and Electronics Engineers Inc., (Proceedings - Symposium on Logic in Computer Science; Vol 2023-June).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Formal Reasoning Using Distributed Assertions
Al Wardani, F., Chaudhuri, K. & Miller, D., 1 janv. 2023, Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Proceedings. Sattler, U. & Suda, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 176-194 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 14279 LNAI).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
A Survey of the Proof-Theoretic Foundations of Logic Programming
Miller, D., 1 nov. 2022, Dans: Theory and Practice of Logic Programming. 22, 6, p. 859-904 46 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
From axioms to synthetic inference rules via focusing
Marin, S., Miller, D., Pimentel, E. & Volpe, M., 1 mai 2022, Dans: Annals of Pure and Applied Logic. 173, 5, 103091.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert