People

Faculty

Ilya Sergey
Ilya Sergey

Postdocs

Andreea Costea
Andreea Costea

Graduate Students

Vladimir Gladstein
Vladimir Gladstein
Kiran Gopinathan
Kiran Gopinathan
Tram Hoang
Tram Hoang
Yunjeong Lee
Yunjeong Lee
Ruijie Meng
Ruijie Meng
George Pîrlea
George Pîrlea
Ziyi Yang
Ziyi Yang

Undergraduate Researchers

Karolina Grzeszkiewicz
Karolina Grzeszkiewicz
Mayank Keoliya
Mayank Keoliya
Koon Wen Lee
Koon Wen Lee
Sewen Thy
Sewen Thy

Past Members

Juwon Lee
Juwon Lee
Mark Yuen
Mark Yuen
Bryan Tan
Bryan Tan
Yutaka Nagashima
Yutaka Nagashima
Yasunari Watanabe
Yasunari Watanabe
Irina Artemeva
Irina Artemeva
Amy Zhu
Amy Zhu
VERSE
Verified Systems Engineering
Yale-NUS College
NUS School of Computing