Samuel GruetterPhD student in Computer Science at MIT
Samuel Gruetter started his PhD at MIT in Computer Science in Fall 2017 under the supervision of Prof. Adam Chlipala, where he uses the Coq proof assistant to build embedded systems with strong, mathematically proven correctness and security guarantees. Before that, he did a bachelor's and master's at EPFL in Lausanne, Switzerland, where he was a student research assistant in Prof. Martin Odersky's Scala lab, working on the theoretical foundations of the Scala language. He did a six months master project internship at Princeton University with Prof. Andrew Appel's group, where he made improvements to their Verified Software Toolchain, and used it to verify a C implementation of the AES encryption algorithm. He also worked at the University of Melbourne, Australia, with Dr. Toby Murray on information flow proofs for C programs. He did a summer internship in Java Software Engineering at Accenture in Bangalore, India in 2012, a six month internship as an AngularJS and Java developer at Netcetera AG in Bern, Switzerland, in 2015, and a summer internship in formal software verification using Dafny with Amazon's Automated Reasoning Group in Seattle in 2019.