We aim to gain fundamental new insights into the emergent behavior of complex biological and embedded systems through the use of revolutionary, highly scalable and fully automated modeling and analysis techniques.
|Research Highlights||Seminars||News and Events|
Bud Mishra featured on cover of Royal Society Interface November 25, 2013.
Dr. Natasa Miskov-Zivanov and Dr. James Faeder are featured in the current issue of Science Signaling for their research on – "The Duration of T Cell Stimulation Is a Critical Determinant of Cell Fate and Plasticity." November 20, 2013. (Podcast is available here)
Diversely Enumerating Solutions to Synthesis Problems PDF
Specification Mining for Controller Verification and Synthesis PDF
UFO: From Under-approximations to Over-approximations and Back PDF
From Simulation to Verification of Hybrid and Distributed Systems PDF
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT. PDF
Patrick and Radhia Cousot receive the ACM SIGPLAN Achievement Award November 25, 2013
CMACS/AVACS Workshop & PI Meeting will take place at Carnegie Mellon University, November 20-22, 2013
Ed Clarke receives Franklin Institute's Bower Award for 2014 November 4, 2013
The Technology that Could Save Robotic Surgery Millions: Software diagnostic research debugs robotic surgical systems by Henry Lenard for Robotic Business Review, May 3, 2013
Edmund M. Clarke to be awarded an Honorary Doctorate from the Vienna University of Technology on January 26, 2012. For more information, including pictures to be posted after the event, see www.vcla.at
Clarke Inducted Into AAAS; Presenting Keynote Addresses in Asia SCS News, October 12, 2011
CMACS Industry Workshop on Verification of Embedded Control Systems Carnegie Mellon University, October 20, 2011.