People
News
Projects
Publications
People
Faculty
Ilya Sergey
Graduate Students
Vladimir Gladshtein
Yunjeong Lee
Yuxi Ling
George Pîrlea
Ziyi Yang
Qiyuan Zhao
Undergraduate Researchers
Vikram Goyal
Gokul Rajiv
Interns and Visiting Researchers
Elad Kinsbruner
Past Members
Kiran Gopinathan
Sean Wang
Nay Chi Wint Naing
Callista Le
Theodore Leebrant
Sewen Thy
Karolina Grzeszkiewicz
Mayank Keoliya
Koon Wen Lee
Tram Hoang
Juwon Lee
Mark Yuen
Bryan Tan
Yutaka Nagashima
Yasunari Watanabe
Irina Artemeva
Amy Zhu
Recent Collaborators
Willow Ahrens
Saman Amarasinghe
Zhendong Ang
Andreea Costea
Jonáš Fiala
Matthew Flatt
Seth Gilbert
Umang Mathur
Peter Müller
Nadia Polikarpova
Alex Potanin
VERSE
Verified Systems Engineering
@verse-lab
