Rajeev Alur
Rajeev Alur
Professor
Zisman Family Professor
Computer and Information Science
Founding Director, ASSET Center