People

Current members

Portrait of Mingyu Kim

Mingyu Kim

Master's Student

Portrait of HyungJun Lee

HyungJun Lee

Undergraduate Student

Portrait of Soohyun Hwang

Soohyun Hwang

Undergraduate Student

Portrait of Seungwon Kwon

Seungwon Kwon

Undergraduate Student

Alumni

PhD

Adil Rahman

Adil Rahman

2026

Erzhen Hu

Erzhen Hu

2026

Md. Aashikur Rahman Azim

Md. Aashikur Rahman Azim

2024

After: Meta

Master's with Thesis

Hyeongjin Kim

Hyeongjin Kim

2025

After: Lecturer at Korea Army Academy

Ajwa Shahid

Ajwa Shahid

2025

After: PhD student at Dartmouth College

Joseph Spaeth

Joseph Spaeth

2023

After: Software Engineer at United Network for Organ Sharing (UNOS)

Spencer Keefer

Spencer Keefer

2023

After: Software Engineer at Altron, Inc.

Archana Narayanan

Archana Narayanan

2021

After: Verification Engineer at MathWorks

Anastasia Lalamentik

2021

After: Software Engineer at Kaleido

Research Students & Visitors

Junyeong Song

Undergraduate Researcher · 2026

Zebenai Melaku

Zebenai Melaku

Undergraduate Researcher · 2024–2026

Xiling (Linda) Meng

Xiling (Linda) Meng

Undergraduate Researcher · 2024–2025

Yeonsu Kim

Yeonsu Kim

Visiting PhD Student · 2025

Jungtaek Hong

Jungtaek Hong

Undergraduate Researcher · 2024–2025

Jiayi Ge

Researcher · 2025

Isaac Sim

Undergraduate Researcher · 2023

Kunsh Singh

Kunsh Singh

Undergraduate Researcher · 2023

Jason He

Jason He

Undergraduate Researcher · 2023

Jeremy Suh

Undergraduate Researcher · 2023

Peiyu Zhang

Undergraduate Researcher · 2022

Zihao Su

Undergraduate Researcher · 2022

Conor Frymire

Conor Frymire

Undergraduate Researcher · 2020

Ruchir Shah

Ruchir Shah

Master’s Independent Study · 2020

Jami Park

Undergraduate Researcher · 2019-2021