Team

Nikos Vasilakis

Building transition paths toward secure multi-scale distributed enviroments.

E-mail | Github

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

Grigorios Ntousakis

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

E-mail | Github

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

Ken Mahattanadul

Developing tools and techniques to automatically secure the software supply-chain.

E-mail | Github

Yasmin Kadyrova

Integrating security into the software development lifecycle.

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

Jerry Xia

Developing bolt-on performance improvement techniques.

E-mail | Github

Jiayi Wu

Extending the reach and practicality of state-of-the-art type-systems.

E-mail | Github

Kaitlyn Cheng

Building guardrails for LLM-assisted workflows.

E-mail | Github

George Kapetanakis

Writing good code to make writing good code easier.

E-mail | Github

Maria Lazou

Exploring secure computation across the computing stack.

E-mail | Github