Mike Dodds

Registered user since Mon 17 Aug 2015

Name:Mike Dodds
Country:United States
Affiliation:Galois, Inc
Research interests:programming languages, formal verification, automated reasoning

Contributions