Main Page
People
News
Projects
Publications
People
Faculty
Ilya Sergey
Associate Professor
Graduate Students
Vladimir Gladshtein
PhD Student
Yunjeong Lee
PhD Student
Yuxi Ling
PhD Student
George Pîrlea
PhD Student
Ziyi Yang
PhD Student
Qiyuan Zhao
PhD Student
Interns and Visiting Researchers
Gokul Rajiv
Research Assistant
Valentin Mikhalchuk
Research Intern
Past Members
Vikram Goyal
Undergraduate Researcher
Elad Kinsbruner
Research Intern
Kiran Gopinathan
PhD Student
Sean Wang
Research Intern
Nay Chi Wint Naing
Capstone Student
Callista Le
Capstone Student
Theodore Leebrant
FYP Student
Sewen Thy
Capstone Student
Karolina Grzeszkiewicz
Capstone Student
Mayank Keoliya
FYP Student
Koon Wen Lee
Capstone Student
Tram Hoang
Capstone Student
Juwon Lee
Capstone Student
Mark Yuen
Capstone Student
Bryan Tan
MSc Student
Yutaka Nagashima
Postdoc
Yasunari Watanabe
MSc Student
Irina Artemeva
Research Intern
Amy Zhu
Research Intern
Recent Collaborators
Willow Ahrens
Georgia Institute of Technology
Saman Amarasinghe
Massachusetts Institute of Technology
Zhendong Ang
National University of Singapore
Andreea Costea
TU Delft
Jonáš Fiala
ETH Zurich
Matthew Flatt
University of Utah
Seth Gilbert
National University of Singapore
Umang Mathur
National University of Singapore
Peter Müller
ETH Zurich
Nadia Polikarpova
UC San Diego
Alex Potanin
Australian National University
Main Page
VERSE
Verified Systems Engineering
@verse-lab
