The 2010 George H. Heilmeier Faculty Award for Excellence in Research—Lecture: March 4	Print Issue
March 2, 2010, Volume 56, No. 24

Dr. 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.”  Dr. Alur is the Zisman Family Professor of Computer and Information Science and director of Penn Engineering’s Embedded Systems master’s program.

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 a lecture to be given by Dr. Alur on March 4 entitled, Software Verification: From an Unsolvable Problem to Useful Tools. This event will be held at 4:30 p.m. 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.