Former Research Scientists
Florian Lonsing (2019–2022), AWS
Former Postdoctoral Researchers
Gereon Kremer (2020–2022), Certora
Andres Nötzli (2021–2022), Cubist Inc.
Aleksandar Zeljić (2018–2022), Synopsis
Ahmed Irfan (2019–2021), SRI
Yoni Zohar (2018–2021), Bar Ilan University
Guy Katz (2016–2018), Hebrew University
Cristian Mattarei (2016–2018), Apple
Former Ph.D. Students
Caleb Donovick (2016–2024)
Ying Sheng (2018–2024), XAI, UCLA
Haoze Wu (2018–2024), Amherst College
Makai Mann (2016–2021), MIT Lincoln Laboratory
Andres Nötzli (2014–2021), Cubist Inc.
Former Masters Students
Sophie Andrews (2023–2024), Apple
Harun Khan (2023–2024), Ph.D. student at Stanford
Udayan Mandal (2022–2024), Atlassian
Yancheng Ou (2021–2022)
Mario Srouji (2019–2020), Apple
Yahan Yang (2019–2020), Ph.D. student at U Penn
Emma Zhong (2019–2020), Facebook Novi
Parth Shah (2018–2019), Apple
Shantanu Takoor (2018–2019), DeepMind
Former Bachelors Students
Jibiana Jakpor (2024–2024)
Benjamin Przybocki (2023–2024), Cambridge
Kaia Xiaofu Li (2023–2024)
Joey Guman (2022–2022)
Tobey Shim (2022–2022)
Former Visiting Researchers
Omri Isac (2024–2024)
Guy Amir (2022–2023)
Teruhiro Tagomori (2020–2023)