Compilers Grad Student
-
Massachusetts Institute of Technology
- willowahrens.io
- https://orcid.org/0000-0002-4963-0869
Tommy MᶜMichen
tommymcm
Ph.D Candidate in Computer Science at Northwestern University,
Member of @arcana-lab
Northwestern University Evanston, Illinois, USA
Vladimir Gladshtein
volodeyka
I do formal verification with interactive theorem provers
National University of Singapore Singapore