Team · ATLAS Group

Faculty

Nikos Vasilakis

Building transition paths toward secure multi-scale distributed environments.

E-mail | GitHub

Administrative Assistant

Dawn T. Reed

Making all the science possible.

E-mail

Postdocs

Lukas Lazarek

Exploring which language-systems features are practically useful.

E-mail | GitHub

Ph.D. Students

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

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

Master's Students

Akshar Nana

Exploring systems and cryptography to improve security and performance.

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

Feiyang Wang

Building tools to make it easier to write correct code.

E-mail | GitHub

Undergraduate Students

Themis Georgiadis

Exploring operating systems, memory management, and techniques for building efficient and secure systems.

E-mail | GitHub

Gavin Zhao

Exploring compilers, programming languages, and formal verification.

E-mail | GitHub

Claire Luo

Building flexible, correct, and efficient monitoring systems.

E-mail | GitHub

Muhammad Fariz Imran

Interested in applying static analysis techniques on supply-chain security problems.

E-mail | GitHub

Alan Zheng

Making symbolic execution systems more robust.

E-mail | GitHub

Atharv Chowdhary

Bridging the gap between machine learning and computer systems.

E-mail | GitHub

Jerry Xia

Developing bolt-on performance improvement techniques.

E-mail | GitHub

Vassilis Zeimpekis

Interested in security and low level systems engineering.

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

Visiting Students

Eric Wang

Exploring programming languages, compiler correctness, and systems verification.

E-mail | GitHub

George Kapetanakis

Writing good code to make writing good code easier.

E-mail | GitHub

Matt Halligan

Interested in systems, cybersecurity embedded design, graph theory, high-performance-computing, and machine learning.

E-mail | GitHub

Alumni

Megan Zheng (Sc.B., 2024-2026, next: Princeton University)

Maria Lazou (Visiting Student, 2025-2026, next: Northeastern University)

Grigorios Ntousakis (Sc.M., 2026, next: Independent security researcher)

Di Jin (Postdoc, 2024-2025, next: Huawei Research)

Ramiz Dundar (Sc.M., 2025, next: Google)

Zhicheng Huang (Sc.M., 2025, next: University of California San Diego)

Anirudh Narsipur (Sc.M., 2025, next: Evolver)

Julian Dai (Sc.B., 2023-2025, next: Ramp)

Ioanna Gemou (Visiting Student, 2025, next: Brown University)

Seong-Heon Jung (Sc.B., 2025, next: New York University)

Seth Sabar (UROP, 2024, next: The Voleon Group)

Nikos Pagonas (Visiting Student, 2024, next: Columbia University)

Georgios Liargkovas (Visiting Student, 2024, next: Columbia University)

Rutvik Saptarshi (Sc.M., 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)