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 #

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

Eric Zhao

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

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

M.Sc. Students #

Anirudh Narsipur

Anirudh Narsipur
Towards type systems for language-angostic composition of black-box software components.

E-mail | Github

Yutong Li

Yutong Li
Exploring the component development and interplay in large-scale systems.

E-mail | Github

Ramiz Dundar

Ramiz Dundar
Designing and fine-tuning systems for cutting-edge hardware in the next generation.

E-mail | Github

Zhicheng Huang

Zhicheng Huang
Exploring the interface between systems and software engineering.

E-mail | Github

Undergaduate Students #

Christina Stepin

Christina Stepin
Working on a distributed multidimensional store for dynamic objects.

E-mail | Github

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

Seong-Heon Jung

Seong-Heon Jung
Automatic compilation of shell scripts into Airflow DAGs.

E-mail | Github

Visiting Students #

Ioanna Gemou

Ioanna Gemou
At DTU; Operating at the intersection of ML and systems. Co-advised by R. Singh.

E-mail | Github

Vagos Lamprou

Vagos Lamprou
At DTU; Intersted in distributed systems, LLMs, and beyond.

E-mail | Github

Alumni #

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)