Registered user since Mon 17 Aug 2015
Name:Mike Dodds
Country:United States
Affiliation:Galois, Inc
Personal website: https://mikedodds.github.io
GitHub: https://github.com/septract
Research interests:programming languages, formal verification, automated reasoning
Contributions
2025
PLMW
Using general profile