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

E-mail | Github | Twitter

Dawn T. Reed
Making all the science possible.

E-mail

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

E-mail | Github

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

E-mail | Github

Ethan Lavi
Designing correct and scalable distributed systems.

E-mail | Github

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

E-mail | Github

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

E-mail | Github | Twitter

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

E-mail | Github

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

E-mail | Github

Yuchen Lu
Leveraging ML to build high-performance systems.

E-mail | Github

Zekai Li
Exploring formal methods and how AI enhances them.

E-mail | Github

Atharv Chowdhary
Bridging the gap between machine learning and computer systems.

E-mail | Github

Megan Zheng
Synthesizing correct and high-performance runtime primitives.

E-mail | Github

George Kapetanakis
Writing good code to make writing good code easier.

E-mail | Github

Maria Lazou
Exploring the intersection of operating systems with secure computation and low-level optimizations.

E-mail | Github