Faculty
Dan Osherson
Devika Subramanian
Moshe Y. Vardi
Graduate Students
Seth Fogarty
(Ph.D. student)
Sumit Nain
(Ph.D. student)
Kristin Y. Rozier
(Ph.D. student)
Faculty with Related Interests
Corky Cartwright
Matthias Felleisen
Collaborators
Diego Calvanese
Maurizio De Giacomo
Enrico Giunchiglia
Phokion Kolaitis
Orna Kupferman
Maurizio Lenzerini
Nir Piterman
Ulrike Sattler
Alumni
Kathi Fisler
(now at the Worcester Polytechnic Institute)
James Yang
(now at NEC research)
Guoqiang Pan (Now at Google)
Deian Tabakov
(Now at Schlumberger)