conf.researchr.org / Samuel Gruetter
![Samuel Gruetter](https://conf.researchr.org/getProfileImage/samgruetter/6a0b8f86-7d75-4dee-8238-fc3f483b8edd/small.jpg?1711469956000)
Registered user since Fri 15 Jun 2018
Name:Samuel Gruetter
Affiliation:Massachusetts Institute of Technology
Personal website: https://samuelgruetter.net/
X (Twitter): https://x.com/samuelgruetter
Research interests:Programming Languages and Verification
Contributions