Samuel Gruetter: Résumé
Education
| 09/2017 – 09/2024 | PhD in Computer Science at MIT. Advisor: Prof. Adam Chlipala |
| 02/2014 – 04/2017 | MSc in Computer Science at EPFL, specialization in “Foundations of Software” |
| 09/2010 – 06/2013 | BSc in Computer Science at EPFL |
Academic Positions
| 10/2024 – present | Postdoctoral researcher with Prof. Timothy (Mothy) Roscoe’s group, in the Systems Group at ETHZ |
| 09/2017 – 09/2024 | Research assistant at MIT in Prof. Adam Chlipala’s Programming Languages and Verification group |
| 05/2017 – 07/2017 | Visitor at University of Melbourne, working with Prof. Toby Murray on information flow control proofs for C |
| 10/2016 – 03/2017 | Visiting student research collaborator in Prof. Andrew Appel’s lab at Princeton University, working on my MSc thesis |
| 12/2013 – 07/2015 | MSc Research Scholar at EPFL: In parallel to the Master’s program in Computer Science, worked part-time as a research assistant at Prof. Martin Odersky’s Programming Methods Lab (the “Scala Lab”) |
Industry Internships
| Google, 2021 | In the Silver Oak Project, supervised by Satnam Singh, used Bedrock2 to formally verify drivers for peripherals used in the OpenTitan root of trust, and connected software correctness proofs to hardware correctness proofs |
| Amazon ARG, 2019 | Worked with Rustan Leino at Amazon’s Automated Reasoning Group on a prototype rewrite of Amazon’s S3 Encryption Client in Dafny, a verification-aware programming language. Wrote and proved specifications for software interacting with real-world systems such as Amazon’s S3 storage service |
| Netcetera, 2015 | 6 months Software Engineering Internship at Netcetera AG, Berne, working in a scrum team, developing an expert tool for defining and maintaining the fare zones and ticket pricing for all Swiss public transport associations, with a Java/Oracle DB/Spring backend and an AngularJS frontend in JavaScript/TypeScript |
| Accenture, 2012 | Java Summer Internship at Accenture in Bangalore (India), developed a web interface with JSF/Enterprise JavaBeans monitoring servers and databases |
Fellowships and Awards
| ETH Fellowship 2024 | ETH Postdoctoral Fellowship (18% success rate) |
| MIT Fellowship 2017 | MIT Presidential Graduate Fellowship |
| hc2 2013 | Ranked 3rd at Helvetic Coding Contest |
| SWERC 2012 | Ranked 7th at Southwestern Europe Regional Contest of ACM International Collegiate Programming Contest |
| SOI 2010 | Ranked 1st at Swiss Olympiad in Informatics |
| SPO 2010 | Ranked 1st at Swiss Olympiad in Philosophy |
Languages
| German | native |
| English | fluent (TOEFL: 107/120, Cambridge Certificate of Proficiency in English) |
| French | fluent |
| Latin | took 5 years of Latin in high school |
Contact
| Office address | ETH Zurich Systems Group STF H 313 Stampfenbachstrasse 114 8092 Zürich Switzerland |
| samuel.gruetter@inf.ethz.ch |