Dale Miller (academic)
Dale Miller (academic) dating history
Who
are they
dating right now?
According to our records, Dale Miller (academic) is possibly single.
Contribute
Who is Dale Miller (academic) dating? Dale Miller (academic) partner, spouse list. Help us build our profile of Dale Miller (academic)!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
| Occupation Text |
Computer scientist and author
|
| Official Websites |
https://www.lix.polytechnique.fr/Labo/Dale.Miller
|
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.
More about Dale Miller (academic)
Less about Dale Miller (academic)
