Outstanding Paper Award at the ACM High Integrity Language Technologies 2013 Conference
November 12, 2013

The paper titled “Compositional Verification of a Medical Device System”, authored by Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam and Mats P.E. Heimdahl (i.e., PRECISE's collaborators) won the “Outstanding Paper Award” at the ACM High Integrity Language Technologies 2013, Pittsburgh, PA.

Sanjai Rayadurgam presented the paper at the conference and received the award certificate on behalf of all the authors.


PRECISE is part of TerraSwarm
November 5, 2013

mLAB joined TerraSwarm Research Center for research on "Anytime, Adaptive and Evolutionary Computing and Control".

Rahul Mangharam presented Distinguished Lecture on Energy CPS at Kansas State University
October 7, 2013

Rahul Mangharam presented Distinguished Lecture “Green Scheduling of Energy Control Systems for Peak Demand Management” at Kansas State University on October 7, 2013.

Appreciation Plaque
August 25, 2013

Insup Lee received Appreciation Plaque from Ministry of Science, IT and Future Planning, South Korea, for speaking at Universal Linkage for Top Research Advisor (ULTRA) Program Forum.

PRECISE’s Medical Cyber-Physical Systems project is featured in the Mathworks Newsletter
June 15, 2013

University of Pennsylvania Develops Electrophysiological Heart Model for Real-Time Closed-Loop Testing of Pacemakers by Zhihao Jiang and Rahul Mangharam, University of Pennsylvania was published in the Mathworks Newsletter in June 2013.

Rajeev Alur is awarded a Simons Investigator Position!
May 7, 2013

Rajeev Alur is awarded a Simons Investigator Position! This highly competitive fellowship, recently established by Simons Foundation, is awarded to mid-career scientists in Mathematics, Theoretical Physics, and Theoretical Comp Science to undertake long-term study of fundamental questions.

PRECISE Center hosted CPS Week on April 8 – 11, 2013
April 12, 2013

PRECISE Center hosted CPS Week on April 8 – 11, 2013.

Insup Lee delivered a distinguished lecture at Wayne State University
March 27, 2013

On March 26, 2013 Insup Lee delivered a distinguished lecture Assuring the Safety, Security, and Reliability of Medical-Device Cyber-Physical Systems  as part of Wayne State University Department of Computer Science Distinguished Lecture Series.

Rahul Mangharam Receives NSF CAREER Award
March 5, 2013

Rahul Mangharam, Stephen J. Angello Term Assistant Professor in the Department of Electrical and Systems Engineering, is a recipient of an NSF CAREER award for his proposal, “Foundations for Modeling and Verification of Medical Cyber-Physical Systems.” 

Insup Lee is the invited speaker at UNC-Chapel Hill
February 25, 2013

On February 25, 2013 Insup Lee gave a talk "Assuring the Safety, Security, and Reliability of Medical-Device Cyber-Physical Systems (MDCPS)" at UNC-Chapel Hill's Triangle Computer Science Distinguished Lecturer Series.