People
News
Projects
Publications
People
Faculty
Ilya Sergey
Graduate Students
Vladimir Gladshtein
Kiran Gopinathan
Yunjeong Lee
Yuxi Ling
George Pîrlea
Ziyi Yang
Qiyuan Zhao
Undergraduate Researchers
Vikram Goyal
Gokul Rajiv
Past Members
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
Shachar Itzhaky
Leonidas Lampropoulos
Umang Mathur
Peter Müller
Nadia Polikarpova
Alex Potanin
Abhik Roychoudhury
VERSE
Verified Systems Engineering
@verse-lab
