People

Faculty

Ilya Sergey
Ilya Sergey
Associate Professor

Graduate Students

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

Interns and Visiting Researchers

Gokul Rajiv
Gokul Rajiv
Research Assistant
Valentin Mikhalchuk
Valentin Mikhalchuk
Research Intern

Past Members

Vikram Goyal
Vikram Goyal
Undergraduate Researcher
Elad Kinsbruner
Elad Kinsbruner
Research Intern
Kiran Gopinathan
Kiran Gopinathan
PhD Student
Sean Wang
Sean Wang
Research Intern
Nay Chi Wint Naing
Nay Chi Wint Naing
Capstone Student
Callista Le
Callista Le
Capstone Student
Theodore Leebrant
Theodore Leebrant
FYP Student
Sewen Thy
Sewen Thy
Capstone Student
Karolina Grzeszkiewicz
Karolina Grzeszkiewicz
Capstone Student
Mayank Keoliya
Mayank Keoliya
FYP Student
Koon Wen Lee
Koon Wen Lee
Capstone Student
Tram Hoang
Tram Hoang
Capstone Student
Juwon Lee
Juwon Lee
Capstone Student
Mark Yuen
Mark Yuen
Capstone Student
Bryan Tan
Bryan Tan
MSc Student
Yutaka Nagashima
Yutaka Nagashima
Postdoc
Yasunari Watanabe
Yasunari Watanabe
MSc Student
Irina Artemeva
Irina Artemeva
Research Intern
Amy Zhu
Amy Zhu
Research Intern

Recent Collaborators

Willow Ahrens
Willow Ahrens
Georgia Institute of Technology
Saman Amarasinghe
Saman Amarasinghe
Massachusetts Institute of Technology
Zhendong Ang
Zhendong Ang
National University of Singapore
Andreea Costea
Andreea Costea
TU Delft
Jonáš Fiala
Jonáš Fiala
ETH Zurich
Matthew Flatt
Matthew Flatt
University of Utah
Seth Gilbert
Seth Gilbert
National University of Singapore
Umang Mathur
Umang Mathur
National University of Singapore
Peter Müller
Peter Müller
ETH Zurich
Nadia Polikarpova
Nadia Polikarpova
UC San Diego
Alex Potanin
Alex Potanin
Australian National University
Main Page
VERSE
Verified Systems Engineering
NUS School of Computing