Alumni 

Former Research Scientists

Florian Lonsing  Florian Lonsing (2019–2022), AWS

Former Postdoctoral Researchers

Gereon Kremer  Gereon Kremer (2020–2022), Certora
Andres Nötzli  Andres Nötzli (2021–2022), Cubist Inc.
Aleksandar Zeljić  Aleksandar Zeljić (2018–2022), Synopsis
Ahmed Irfan  Ahmed Irfan (2019–2021), SRI
Yoni Zohar  Yoni Zohar (2018–2021), Bar Ilan University
Guy Katz  Guy Katz (2016–2018), Hebrew University
Cristian Mattarei  Cristian Mattarei (2016–2018), Apple

Former Ph.D. Students

Caleb Donovick  Caleb Donovick (2016–2024)
Ying Sheng  Ying Sheng (2018–2024), XAI, UCLA
Haoze Wu  Haoze Wu (2018–2024), Amherst College
Makai Mann  Makai Mann (2016–2021), MIT Lincoln Laboratory
Andres Nötzli  Andres Nötzli (2014–2021), Cubist Inc.

Former Masters Students

Sophie Andrews  Sophie Andrews (2023–2024), Apple
Harun Khan  Harun Khan (2023–2024), Ph.D. student at Stanford
Udayan Mandal  Udayan Mandal (2022–2024), Atlassian
Yancheng Ou  Yancheng Ou (2021–2022)
Mario Srouji  Mario Srouji (2019–2020), Apple
Yahan Yang  Yahan Yang (2019–2020), Ph.D. student at U Penn
Emma Zhong  Emma Zhong (2019–2020), Facebook Novi
Parth Shah  Parth Shah (2018–2019), Apple
Shantanu Takoor  Shantanu Takoor (2018–2019), DeepMind

Former Bachelors Students

Jibiana Jakpor  Jibiana Jakpor (2024–2024)
Benjamin Przybocki  Benjamin Przybocki (2023–2024), Cambridge
Kaia Xiaofu Li  Kaia Xiaofu Li (2023–2024)
Joey Guman  Joey Guman (2022–2022)
Tobey Shim  Tobey Shim (2022–2022)

Former Visiting Researchers

Omri Isac  Omri Isac (2024–2024)
Guy Amir  Guy Amir (2022–2023)
Teruhiro Tagomori  Teruhiro Tagomori (2020–2023)