Former Postdoctoral Researchers

 Gereon Kremer (2020–2022), Certora

 Ahmed Irfan (2019–2021), AWS

 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