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
Makai Mann (2016–2021), MIT Lincoln Laboratory
Andres Nötzli (2014–2021), Cubist Inc.
Former Masters Students
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
Joey Guman (2022–2022)
Tobey Shim (2022–2022)
Former Visiting Researchers
Guy Amir (2022–2023)
Teruhiro Tagomori (2020–2023)