News & Events

$4.8M grant received from DARPA HACMS Program:
Drs. Insup Lee (PI), Rahul Mangharam, Nathan Michael, George Pappas, Oleg Sokoslky, Stephanie Weirich (Penn) and Paulo Tabuada (UCLA) received a multidisciplinary grant of $4.8M from DARPA's High-Assurance Cyber Military Systems (HACMS) Program for "SPARCS: Synthesis of Platform-aware Attack-Resilient Control Systems"

Rahul Mangharam receives 2012 Intel Early Career Faculty Honor Program award:
This award of $40,000 is aimed at promoting collaboration between academic faculty and Intel researchers. The program provides financial and networking support to those faculty members who are early in their careers and who show great promise as future academic leaders in disruptive computing technologies.

Article in the Economist:
The Generic Infusion Pump project, led by Insup Lee, is featured in the article on open-source medical devices in the Economist magazine

PRECISE Open House
Open House
May 18, 2012, 8 am - 6 pm

Our open house is for members of the embedded systems community to learn more about the engagement with the cyber physical systems (CPS) initiative at The University of Pennsylvania.




2012 U.S. Frontiers of Engineering Symposium (US FOE):
On behalf of National Academy of Engineering Rahul Mangharam was invited to speak at the 2012 U.S. Frontiers of Engineering Symposium (US FOE) scheduled for September 13-15, 2012, at the GM Tech Center in Warren, Michigan.

The U.S. Frontiers of Engineering Symposium is a 2-1/2-day meeting convened annually since 1995 by the National Academy of Engineering (NAE). The program brings together outstanding engineers (ages 30-45) from industry, academia, and government to discuss pioneering technical work and leading-edge research in various engineering fields and industry sectors. Frontiers of Engineering was initiated to provide an opportunity for top-notch engineers, early in their careers, to learn about cutting-edge developments in fields other than their own, thereby facilitating collaborative work and the transfer of new approaches and techniques across fields.

Distinguished Lecture at University of Minesota:
Insup Lee presented "Challenges and Research Directions in Medical Cyber-Physical Systems" at DTC Science and Technology Innovators Series, University of Minnesota, May 1, 2012.

CPS Week 2012:
CPSWeek 2012
ICCPS Chairs Insup Lee and Oleg Sokolsky with CPS Week 2012 General Chair Wei Zhao, April 2012, Beijing, China






Program Co-Chair for IEEE RTAS 2012:
Rahul Mangharam is Co-chairing the 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012), which is part of CPS Week, held in Beijing, China in April 2012.

The Best Student Paper Award at IEEE RTAS 2012:
The Best Student Paper Award for the 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012) went to Miroslav Pajic et al for their paper entitled "From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study" (Co-authors: Zhihao Jiang, Insup Lee, Oleg Sokolsky and Rahul Mangharam)

PRECISE Researchers Rajeev Alur, Ashutosh Trivedi, and Dominik Wojtczak won the best paper award for their work titled "Optimal scheduling for constant-rate multi-mode systems" at 15th Conference on Hybrid Systems (HSCC) at 2012 Cyber-Physical Systems Week in Beijing.

Tutorial @CPS Week 2012:
Compositional Real-Time Analysis for Cyber-Physical Systems by Linh Thi Xuan Phan, Insup Lee, Insik Shin, and Oleg Sokolsky. Read More

Penn to Lead $10 Million Project on Computer-assisted Programming:
The University of Pennsylvania will lead a $10 Million National Science Foundation project to make computer programming faster, easier and more intuitive. Dubbed ExCAPE for Expeditions in Computer Augmented Program Engineering, the project is a highly collaborative effort that will involve multiple research institutions, partners in industry and educational outreach to the next generation of computer scientists. Read More

Sushil Menon (EMBS senior) presented at the 17th North America SystemC User Group Meeting:
A Generic Language for Hardware & Software, Are We There Yet? An Explorative Case Study Examining the Usage of SystemC for Multicore Programming was presented at the 17th North America SystemC User Group Meeting, which was co-located with the Design & Verification Conference at San Jose, California on February 27, 2012

Carnegie Mellon University and Penn Engineering Receive $3.5 Million for Innovative Transportation Research:
Along with Carnegie Mellon University, we recently got a new award. PRECISE will be a part of the new Tier-1 US DoT University Transportation Center

2011 Frank Anger Memorial Award:
Doctoral student Miroslav Pajic was the recepient of 2011 Frank Anger Memorial Award

ESE350 students win 2011 Google Zeitgeist Young Minds award:
Two ESE350 Sophomores (Eric Berdinis and Jeff Kiske) made a haptic belt for the blind using an XBOX Kinect (for depth perception) and buzzers on the belt for collision avoidance alerts. They won the Young Minds Award and were interviewed by Chelsea Clinton. You can read more at The Daily Pennsylvanian article, Tech Crunch, and MedGadget.

Click here to access an Education Times article re: a Penn Embedded Systems project featured in India that is part of the Young India Fellowship, whose aim is to form India's "Rhodes' Scholar" program; click here to access a video produced as part of this project.

Analytic Cyber-Physical Systems Workshop Co-Chair:
The 2nd Analytic Virtual Integration for CPS workshop (AVICPS) was co-chaired by Rahul Mangharam. The workshop was held in conjunction with IEEE RTSS 2011 in Vienna, Austria on November 29 - December 2, 2011.

US Secretary for Energy visit:
Dr. Steven Chu visits Penn
United States Secretary for Energy, Dr. Steven Chu visits Penn and views mLAB's Green Scheduling project on Energy-Efficient Buildings (Oct 2011)





Tutorial @ESWeek 2011:
"Compositional Real-Time Analysis for Cyber-Physical Systems" by Linh Thi Xuan Phan, Insup Lee, and Oleg Sokolsky was presented at Embedded Systems Week, Taipei, Taiwan, October 9, 2011.

co-Best Paper at CEAS 2011:
Doctoral student Andrew West won co-Best Paper at the 8th Annual Collaboration, Electronic messaging, Anti-Abuse and Spam Conference (CEAS 2011) in Perth, Australia, September 2011 for "Link Spamming Wikipedia for Profit", co-authored by Jian Chang, Krishna K. Venkatasubramanian, Oleg Sokolsky, and Insup Lee.Read Paper

1st Prize in Honeywell Users Group Wireless Student Competition:
Congratulations to Rahul Mangharam's Wireless Control Networks team for the 1st Prize in Honeywell Users Group Wireless Student Competition 2011.

1st Prize in the CIS Department Senior Design Competition:
mLAB wins the 1st Prize in the CIS Department Senior Design Competition 2011. Congrats to the AutoPlug team!

Frederick Ketterer Award:
mLAB wins the 1st Prize - Frederick Ketterer Award in the ESE Department senior design competition 2011. Congrats to the AirHacks team!

Program Co-Chairs of ICCPS 2011 Conference:
Insup Lee and Oleg Sokolsky were Program Co-Chairs of ACM/IEEE Second International Conference on Cyber-Physical Systems (ICCPS 2011), which was held as part of CPS Week 2011 in Chicago, IL, USA on April 12 - 14, 2011.

Medical Devices Workshop Co-Chair:
The 3rd Joint Workshop On High Confidence Medical Devices, Software, and Systems (HCMDSS 2011) was co-chaired by Rahul Mangharam. The workshop was held in conjunction with CPSWeek 2011 in Chicago, and focused on the emerging research on Medical Cyber-Physical Systems.

Winners of the 2010 World Embedded Software Competition:
PRECISE members Kevin Conley (Junior, ESE) and Madhur Behl (PhD, ESE) were the winners of the World Embedded Software Competition at Seoul, Korea. Their project is AutoPlug which aims to be an Open Platform for Automotive Plug-n-Play.

Spring 2010 Seminar:
The seminar schedule for Spring 2010 is up Read More

SEAS 2009-10 Heilmeier Award:
Rajeev Alur has been awarded the George H. Heilmeier Faculty Award for 2009-10, one of the highest research awards given in the School of Engineering and Applied Science at Penn.

Axelby Outstanding Paper Award:
George Pappas receives Axelby Outstanding Paper Award Read More

Infrastructure and Technology Innovations for Medical Device Coordination by Insup Lee and Oleg Sokolsky received $660,000 NSF Award Read More

PRECISE weekly meetings:
PRECISE weekly meetings for Fall 2009 will be held on Wednesdays, 3-4pm in Levine 512. Everyone is welcome!

Fall 2009 Seminar:
The seminar schedule for Fall 2009 Read More

Economist Article: "The Connected Car":
Cars are becoming more connected, both to remote systems for navigation and information, and to each other Read More

2008 IEEE (TCRTS) Technical Achievement Award - Insup Lee received IEEE Technical Committee on Real-Time Systems (TCRTS) Technical Achievement Award for outstanding technical achievement and leadership. The award was given at the IEEE Real-Time Systems Symposium held in Barcelona, Dec 2008.

2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award:
CIS PhD student Gergios Fainekos is the 2008 winner of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award Read More

November 2008:
George Pappas is announced as an IEEE Fellow for his contributions to design and analysis of hybrid control systems.

2008 CAV Award:
Rajeev Alur was awarded the 2008 CAV Award for his fundamental contributions to the theory of Real-Time System Verifications. Read More

SIGPLAN Outstanding Doctoral Dissertation Award won by CIS PhD Student Swarat Chaudhuri is the 2007 Award for "Logics and Algorithms for Software Model Checking"Read More

CIS faculty rated 7th in the nation in faculty scholarly productivity Read More

ACM Best Paper Award:
CIS Researchers, Rajeev Alur and Aditya Kanade, won the Best Paper Award at the ACM Conference on Embedded Software, EMSOFT 2008 for their joint work with the GM India Science Lab Read More