Dale Miller (academic)
id:
dale-miller-academic-238-7213082
title:
Dale Miller (academic)
text:
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
brand slug:
wiki
category slug:
encyclopedia
description:
American computer scientist and author
original url:
https://en.wikipedia.org/wiki/Dale_Miller_(academic)
date created:
date modified:
2024-04-24T14:25:46Z
main entity:
{"identifier":"Q102233588","url":"https://www.wikidata.org/entity/Q102233588"}
image:
fields total:
13
integrity:
14