RISC-V Summit is part of the Informa Tech Division of Informa PLC

This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them. Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 3099067.


Samuel Gruetter
PhD 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.

Agenda Sessions

  • Formal Methods for Hardware-Software Integration on RISC-V Embedded Systems