Daniel Fremont wins ACM SIGBED Dissertation Award

Freshly-graduate CS Ph.D. student Daniel J. Fremont (advisor: Sanjit Seshia) has won the Association for Computing Machinery (ACM) Special Interest Group on Embedded Systems (SIGBED) Paul Caspi Memorial Dissertation Award for his thesis on “Algorithmic Improvisation.”  The award, which was established in 2013, recognizes outstanding doctoral dissertations that significantly advance the state of the art in the science of embedded systems.  Fremont’s thesis proposes a theory of algorithmic improvisation to enable the correct-by-construction synthesis of randomized systems, and explores its applications to safe autonomy.