

Professor Naik's research helps programmers and developers build higher-quality software...
Penn Engineers Receive $6.1 Million Grant from Office of Naval Research to Reduce Software Complexity.
PRECISE is featured in Penn Engineering Magazine Fall 2017 Edition (pages 3-7).
Rahul Mangharam, Associate Professor and Mobility21 co-director, discussed the research group's efforts to develop a "driver's license test" for autonomous vehicles with Philadelphia Inquirer reporter Jason Laughlin.
Insup has been named a Fellow of the ACM!
The honor is richly deserved for his theoretical/practical contributions (to compositional real-time scheduling and runtime verification) and community leadership.
Our Mobility21 research was featured in the Sunday Inquirer!
SEAS and SoM has launched a center called Penn Health-Tech (PHT), on May 2, 2017, which is co-directed by Brian Litt and Insup Lee with strong engagement by Mark Turco at PCI.
Congratulations to Kuk for winning the Best ESE PhD Colloquium Award!