People

Faculty

Ilya Sergey
Ilya Sergey

Postdocs

Andreea Costea
Andreea Costea
Yutaka Nagashima
Yutaka Nagashima

Graduate Students

Kiran Gopinathan
Kiran Gopinathan
Yunjeong Lee
Yunjeong Lee
George Pîrlea
George Pîrlea
Yasunari Watanabe
Yasunari Watanabe

Interns & Research Visitors

Irina Artemeva
Irina Artemeva

Past Members

Amy Zhu
Amy Zhu
VERSE
Verified Systems Engineering
Yale-NUS College
NUS School of Computing