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.

CMACS Researchers Co-Author Nature Paper on Low-Energy Control of Electrical Turbulence in the Heart. July 25, 2011

CMACS Researchers Perform First Automated Formal Analysis of Realistic Cardiac Cell Model. January 26, 2011

Hot off the press:
Logical Analysis
of Hybrid Systems
by CMACS researcher André Platzer

Exploiting Model Structure to Encode Transition Relations and Transition Rate Matrices
Gianfranco Ciardo - Department of Computer Science and Engineering, Bourns College of Engineering, University of California at Riverside
05/14/2012 – 2pm, GHC 8102.

Automatically generating stochastic models of transcriptional regulation (PDF)
Robin Dowell, Assistant Professor, University of Colorado - MCD Biology
4/23/2012, 2:00pm, GHC-6121

Kind-AI: When abstract interpretation and SMT-based model-checking meets (PDF)
Pierre-Loic Garoche - Visiting Assistant Professor at University of Iowa On leave from ONERA-French Aerospace Laboratory, 04/13/2012, 2pm, GHC-4405

The Rise of Type Theory:  From Principia Mathematica to Constructive Type Theory, circa 1910-2010 (PDF)
Robert Constable
Cornell Univ., Computer Science Department, 03/19/2012, 3:30 PM, GHC-3305

More Seminars

Workshop on Systems Biology and Formals Methods (SBFM'12)

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.

Edmund M. Clarke to deliver keynote talk at the Computing in the 21st Century Conference in Beijing, China.

CMACS researchers receive Best Paper Award at the 2nd International Conference on Runtime Verification.

More News