ID2013 - 15:30p - Rajeev Alur - Workforce Training: The PRECISE Way
Agenda Session
Workforce Training: The PRECISE Way
Speaker
Rajeev Alur
Computer and Information Science
University of Pennsylvania
Speaker Bio
My research spans three subdisciplines in computer science: theoretical computer science (topics such as automata, logics, concurrency, and models of computation); formal methods in system design (topics such as computer-aided verification, software analysis, and system synthesis); and cyber-physical systems (topics such as embedded controllers, real-time systems, and hybrid systems). I am a member of Penn's PRECISE Center, and I also collaborate with Penn's PL Club and Theory Research Group.