Former Research Scientists

 Florian Lonsing (2019–2022), AWS

Former Postdoctoral Researchers

 Gereon Kremer (2020–2022), Certora

 Andres Nötzli (2021–2022), Cubist

 Aleksandar Zeljić (2018–2022), Synopsis

 Ahmed Irfan (2019–2021), SRI

 Yoni Zohar (2018–2021), Bar Ilan University

 Aina Niemetz (2017–2019), Research Scientist at Stanford University (Centaur)

 Mathias Preiner (2017–2019), Research Scientist at Stanford University (Centaur)

 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), Postdoctoral Researcher at Stanford University (Centaur)

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)