People

Faculty

Ilya Sergey
Ilya Sergey

Research Fellows

Kiran Gopinathan
Kiran Gopinathan

Graduate Students

Vladimir Gladshtein
Vladimir Gladshtein
Yunjeong Lee
Yunjeong Lee
Yuxi Ling
Yuxi Ling
George Pîrlea
George Pîrlea
Ziyi Yang
Ziyi Yang
Qiyuan Zhao
Qiyuan Zhao

Undergraduate Researchers

Vikram Goyal
Vikram Goyal
Gokul Rajiv
Gokul Rajiv

Interns and Visiting Researchers

Elad Kinsbruner
Elad Kinsbruner

Past Members

Sean Wang
Sean Wang
Nay Chi Wint Naing
Nay Chi Wint Naing
Callista Le
Callista Le
Theodore Leebrant
Theodore Leebrant
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

Recent Collaborators

Willow Ahrens
Willow Ahrens
Saman Amarasinghe
Saman Amarasinghe
Zhendong Ang
Zhendong Ang
Andreea Costea
Andreea Costea
Jonáš Fiala
Jonáš Fiala
Matthew Flatt
Matthew Flatt
Seth Gilbert
Seth Gilbert
Shachar Itzhaky
Shachar Itzhaky
Leonidas Lampropoulos
Leonidas Lampropoulos
Umang Mathur
Umang Mathur
Peter Müller
Peter Müller
Nadia Polikarpova
Nadia Polikarpova
Alex Potanin
Alex Potanin
Abhik Roychoudhury
Abhik Roychoudhury
VERSE
Verified Systems Engineering
Yale-NUS College
NUS School of Computing