Meet the Team
Principal Investigator
Robert Rand
Assistant Professor of Computer Science
Grad Students
Adrian Lehmann
PhD Student
Ben Caldwell
PhD Student
Youngchan Cho
PhD Student
Yunxiang (Aslan) Zhang
PhD Student
Alumni
Bhakti Shah
BS/MS Student →
PhD at St. Andrews
Fady Adal
Undergraduate →
Imandra
Jacob Zweifler
Undergraduate →
PhD at UMich
Kartik Singhal
PhD Student →
Quantinuum
Laura Zielinski
Undergraduate →
PhD at Cornell
