Skip to main content

Faculty #

Nikos Vasilakis Nikos Vasilakis
Building transition paths toward secure multi-scale distributed enviroments.

E-mail | Github | Twitter

Administrative Assistant #

Dawn T. Reed Dawn T. Reed
Making all the science possible.

E-mail

Postdocs #

Di Jin
Making software security approachable and scalable.

E-mail | Github

Lukas Lazarek

Lukas Lazarek
Exploring which language-systems features are practically useful.

E-mail | Github

Ph.D. Students #

Eric Zhao

Eric Zhao
Interested in principled and provably correct abstractions. Co-advised by R. Lewis.

E-mail | Github

Evangelos Lamprou

Evangelos Lamprou
Interested in distributed systems, LLMs, and beyond.   

E-mail | Github

Oğuzhan Çölkesen

Oğuzhan Çölkesen
Interested in parallel and distributed systems, as well as their optimization.   

E-mail | Github

Yizheng Xie

Yizheng Xie
Enjoys working at the intersection of systems, software, and automation.

E-mail | Github

Ethan Lavi

Ethan Lavi
Designing correct and scalable distributed systems.   

E-mail | Github

Grigoris Ntousakis

Grigoris Ntousakis
Reimagining third-party library and package ecosystems. Co-advised by V. Kemerlis.

E-mail | Github | Twitter

Yuchen Lu

Yuchen Lu
Leveraging ML to build high-performance systems.   

E-mail | Github

M.Sc. Students #

Zekai Li

Zekai Li
Exploring formal methods and how AI enhances them.

E-mail | Github

Undergaduate Students #

Megan Zheng

Megan Zheng
Synthesizing correct and high-performance runtime primitives.

E-mail | Github

Julian Dai

Julian Dai
Solving the scalability challenges of secure regeneration for real-world ecosystems.

E-mail | Github

Alumni #

Ramiz Dundar (M.Sc., 2025, next: Google)
Zhicheng Huang (M.Sc., 2025, next: University of California San Diego)
Anirudh Narsipur (M.Sc., 2025, next: Evolver)
Ioanna Gemou (Visiting Student, 2025, next: Brown University)
Seong-Heon Jung (B.Sc., 2025, next: New York University)
Seth Sabar (UROP, 2024, next: The Voleon Group)
Nikos Pagonas (Visiting Student, 2024, next: Columbia University)
Giorgos Liargkovas (Visiting Student, 2024, next: Columbia University)
Rutvik Saptarshi (M.Sc., 2023, next: InterSystems)
Felix Stutz (Ph.D. visit, 2022, next: Max Planck Institute for Software Systems)
Tammam Mustafa (UROP and M.Eng., 2021-2022, next: Google)
Veit Heller (Engineer, 2021, next: feenk/consulting)
Dimitris Karnikis (M.Sc., 2020-2021, next: Bang and Olufsen)
Alizee Schoen (UROP, 2020-2021, next: Square)
Achilles Benetopoulos (Engineer, 2020, next: UCSC)
Lazar Cvetković (B.Sc., 2019-2020, next: ETH Zurich)
Pranjal Goel (UROP, 2018-2019, next: Goldman Sachs)
Yash Palkhiwala (UROP, 2017-2019, next: Flatiron Health)
Arjun Dixit (High School, 2021, next: CMU)
Jan Bielak (High School, 2021, next: Nvidia)