Rajeev Alur is named AAAS Fellow for 2016
November 22, 2016

Rajeev Alur, Zisman Family Professor, has been inducted into the American Association for the Advancement of Science as a Fellow, for fundamental contributions to logics, models and analysis techniques for real-time and hybrid systems. Congratulations to him on this well-deserved recognition!

Insup Lee delivers keynote @ IEEE
June 28, 2016

Insup Lee delivers the keynote talk, Internet of Medical Things to Enable Medical Cyber-Physical Systems, at the 1st IEEE International Conference on Connected Health: Applications, Systems and Engineering Technologies, Washington DC, June 28, 2016.

Distributed Systems Lab Receives $3.5 Million for Developing Innovative Defenses
May 27, 2016

Penn’s Distributed Systems Lab has received a three-year, $3.5 million grant from the Defense Advanced Research Project Agency (DARPA), under the DARPA XD3 program, to develop fundamentally new defenses against distributed denial-of-service (DDoS) attacks that can provide far greater resilience to these attacks than existing solutions.

Rahul Mangharam Receives the Presidential Early Career Award in White House
May 16, 2016

Rahul Mangharam is one of the recipients of the Presidential Early Career Awards for Scientists and Engineers, the highest honor bestowed by the United States Government on science and engineering professionals in the early stages of their independent research careers. Rahul was selected for inventing a new formal methodology to test and verify the correct operation of medical device software, saving lives and reducing care costs, the National Science Foundation said. The winners will receive their awards at a Washington, DC ceremony this spring. The Award will be presented by President Obama.

Rahul Mangharam group photo with President Barack Obama and other Presidential Early Career Award recipients

Rajeev Alur and David Dill receive the 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation
May 13, 2016

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their invention of timed automata, a decidable model of real-time systems, which combines a novel, elegant, deep theory with widespread practical impact. Alur and Dill will receive the award at the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), which was held on July 5-8, 2016, at Columbia University, New York City, USA.

Congratulations to David and Rajeev!

Interview with Rajeev Alur and David Dill is also available

Rahul Mangharam and Madhur Behl won the Allegheny Region CleanTech Prize
March 20, 2016

Rahul Mangharam and Madhur Behl have won the Allegheny Region CleanTech Prize for their work on demand response advisor (DR advisor). The aim of the competition is to catalyze clean energy technology start-ups, support novel training and educational opportunities, and create a long-term sustained and diverse community to support clean energy student entrepreneurs in the Allegheny Region and beyond.

The competition took place during Carnegie Mellon University’s Energy Week, March 14-18, 2016. There were 16 teams from different universities in Ohio, Maryland, Pennsylvania, and West Virginia. 5 finalists were selected from the 16 teams to pitch for the winning prize. As winners of the competition, Rahul and Madhur received a $50,000 prize, and will compete for additional prizes at the national level competition held by the Department of Energy (DoE) and Office of Energy Efficiency and Renewable Energy (EERE) in June 2016.

The presented technology is a data-driven demand response recommendation engine called DR-Advisor. This technology is based on Madhur’s core dissertation research (he received his Ph.D. in December 2015, now he is a postdoctoral research fellow in ESE with Rahul).

Madhur Behl wins the Best-in-Session award at the 2015 SRC TECHCON
September 28, 2015

Madhur Behl (final year PhD) won the Best-in-Session award (IoT Systems session) at the 2015 SRC TECHCON on September 22, 2015. This is for his TerraSwarm work on Data-driven Demand Response Recommender System [DR-Advisor].

First year EMBS students won the First Runners up at The Pennapps XII
September 18, 2015

Rishab Gupta and Paril Jain, first year EMBS students, won the first runners up (for best overall hack) at The Pennapps XII over Labor Day weekend (September 4-6, 2015).  They built a tool for measuring a person’s gait.

A New Partnership (PRECISE-Intel-NSF) to Secure and Protect the Emerging IoT
September 2, 2015

NSF and Intel announce a new, jointly funded large project on CPS security and privacy. The new project is centered at PRECISE and includes collaborators from the Penn medical school, law school, and sociology, as well as University of Michigan and Duke University.

Penn scholars lead development of the Internet of Things
April 9, 2015

Penn and IoT Article in Daily Pennsylvanian