People

Faculty

Ilya Sergey
Ilya Sergey

Graduate Students

Vladimir Gladstein
Vladimir Gladstein
Kiran Gopinathan
Kiran Gopinathan
Yunjeong Lee
Yunjeong Lee
George Pîrlea
George Pîrlea
Ziyi Yang
Ziyi Yang
Qiyuan Zhao
Qiyuan Zhao

Undergraduate Researchers

Theodore Leebrant
Theodore Leebrant
Nay Chi Wint Naing
Nay Chi Wint Naing
Phong Le
Phong Le

Collaborators

Andreea Costea
Andreea Costea
Matthew Flatt
Matthew Flatt
Yuxi Ling
Yuxi Ling

Past Members

Sewen Thy
Sewen Thy
Karolina Grzeszkiewicz
Karolina Grzeszkiewicz
Mayank Keoliya
Mayank Keoliya
Koon Wen Lee
Koon Wen Lee
Tram Hoang
Tram Hoang
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