MPI-SWS doctoral student Eleni Straitouri was awarded a 2024 Google PhD Fellowship (in Machine Intelligence) to fund her doctoral research on using machine learning to build automated decision support systems that can reliably improve the decisions of human experts.

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. Eleni, who is advised by Manuel Gomez Rodriguez, was one of only 85 recipients worldwide in 2024.

Link: https://research.google/outreach/phd-fellowship/

MPI-SWS doctoral student Simon Spies was awarded a 2022 Google PhD Fellowship to fund his doctoral research on Quiver, a verification tool for inferring functional correctness specifications in separation logic.

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. Simon, who is advised by Derek Dreyer, was the only student in the area of Programming Technology and Software Engineering to receive a fellowship in 2022.

Link: https://research.google/outreach/phd-fellowship/

MPI-SWS doctoral student 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.

Link: https://research.google/outreach/phd-fellowship/