Lecture Details:

"Software Verification: From an Unsolvable Problem to Useful Tools"
Thursday, March 4, 2010
4:30 p.m.

Wu and Chen Auditorium, Levine Hall
3330 Walnut Street, Philadelphia, PA
Reception to follow

For disability accommodations call 215.898.7244

Learn More:

Rajeev Alur's Faculty Profile
History and Past Recipients of the Award

Levine Hall on Penn's Campus Map

The 2010 George H. Heilmeier Faculty Award for Excellence in Research

Rajeev AlurProfessor Rajeev Alur has been named the 2010 Recipient of the George H. Heilmeier Faculty Award for Excellence in Research for his "fundamental contributions in software verification for real-time systems."  Alur is the the Zisman Family Professor of Computer and Information Science and Director of Penn Engineering’s Embedded Systems master’s program.

Alur obtained his bachelor’s degree in computer science from the Indian Institute of Technology at Kanpur in 1987, and a Ph.D. in computer science from Stanford University in 1991. Before joining the University of Pennsylvania in 1997, he was with the Computing Science Research Center at Bell Laboratories.

The main focus of his research is the foundations and tools for automated analysis of software and embedded systems. His research spans multiple computing disciplines including computer-aided verification, embedded control systems, logic in computer science, and programming languages. He is a Fellow of the ACM, a Fellow of the IEEE, and an Alfred P. Sloan Faculty Fellow. He received the inaugural CAV (Computer-Aided Verification) Award for fundamental contributions to analysis of real-time systems.

The Award will be presented following to be given by Rajeev Alur on March 4 entitled, "Software Verification: From an Unsolvable Problem to Useful Tools." This event will be held at 4:30 pm in Wu and Chen Auditorium in Levine Hall on the Penn Engineering campus. A reception will follow the lecture and Award presentation.

The George H. Heilmeier Faculty Award for Excellence in Research was established by Penn Engineering for the purpose of recognizing excellence in scholarly activities of the faculty. Named in honor of George H. Heilmeier, it recognizes his extraordinary research career, his leadership in technical innovation and public service, and his loyal and steadfast support of Penn Engineering.