Group Alumni

Former PhD Students

---

• Ittai Balaban, Google
• Kshitij Bansal, Google
• Junjie Chen
• Ariel Cohen, Keylockit, LetsPlay
• Christopher Conway, Google
• Chaoqiang Deng, Facebook
• Yi Fang, Microsoft
• Yeting Ge, Two Sigma
• Liana Hadarean, Amazon Web Services
• Ying Hu, Two Sigma
• Tim King, Google
• Uri Klein, Gartner
• Siddharth Krishna, Open Energy Transition
• Nisarg Patel, Certora
• Zvonimir Pavlinovic, Google
• Cory Plock, Prolifogy
• Igor A. Shikanyan, Ygreko Software
• Wei Wang, Google
• Aleksandr Zaks, Google
• Anna Zaks, Apple

Former Faculty and Postdocs

---

• Clark Barrett, Stanford University
• Stéphane Demri, LSV, CNRS & ENS de Cachan
• Jake Donham
• John Erickson
• Colas Le Guernic, IRISA
• Mina Jeong
• Eric Koskinen, Stevens Institute of Technology
• Hillel Kugler, Bar-Ilan University
• Sean McLaughlin
• Ron van der Meyden, University of New South Wales
• Lorenzo Platania, University of Genova
• Yan Shvartzshnaider, York University
• Daniel Schwartz-Narbonne, Datadog
• Nikhil Sethi
• Sebastian Wolff, Amazon Web Services
• Xing Xia
• Lenore D. Zuck, University of Illinois at Chicago