MPI-SWS student receives Google Fellowship
Michael Sammler was awarded a 2020 Google PhD Fellowship (in Systems and Networking) to fund his doctoral research on RefinedC, a Coq-based framework for automating the foundational verification of systems code using refinement and ownership types. The Google PhD Fellowship Program was created to recognize outstanding graduate students doing exceptional and innovative research in areas relevant to computer science and related fields. Michael, who is advised by Deepak Garg and Derek Dreyer, was one of only 53 recipients worldwide in 2020.
...Michael Sammler was awarded a 2020 Google PhD Fellowship (in Systems and Networking) to fund his doctoral research on RefinedC, a Coq-based framework for automating the foundational verification of systems code using refinement and ownership types. The Google PhD Fellowship Program was created to recognize outstanding graduate students doing exceptional and innovative research in areas relevant to computer science and related fields. Michael, who is advised by Deepak Garg and Derek Dreyer, was one of only 53 recipients worldwide in 2020.