VERSE
People
News
Blog Posts
Projects
Publications
People
Faculty
Ilya Sergey
Graduate Students
Vladimir Gladshtein
Kiran Gopinathan
Yunjeong Lee
George Pîrlea
Ziyi Yang
Qiyuan Zhao
Undergraduate Researchers
Nay Chi Wint Naing
Callista Le
Collaborators
Andreea Costea
Seth Gilbert
Matthew Flatt
Yuxi Ling
Umang Mathur
Peter Müller
Past Members
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
VERSE
Verified Systems Engineering
@verse-lab