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

Tsunami Simulation on FPGA and its Analysis Based on Statistical Model Checking 
Masahiro Fujita - University of Tokyo, VLSI Design and Education Center
2/27/2012, 2:00PM, GHC-6501

Formally Solving Nonlinear Arithmetic Problems With Bernstein Polynomi
Cesar A. Munoz, NASA-Langley Research Center, Hampton, VA
12/12/2011, 2:00 PM, GHC-6501

Crossing the bridge between similar games
Jan-David Quesel, Research Assistant/Grad student, University of Oldenburg, Dept. of Computing Science
12/02/2011, 2:00 PM, GHC-6501

A Transcriptome Analysis by Lasso Penalized Cox Regression for Pancreatic Cancer Survival
Tongtong Wu - Assistant Professor, Department of Epidemiology and Biostatistics, School of Public Health, University of Maryland-College Park
09/16/2011, 2:00PM, GHC-6501

More Seminars

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.

CMACS researchers receive the 2011 IEEE/ACM William J. McCalla Best Paper Award at the International Conference on Computer-Aided Design.

Edmund M. Clarke lectures at the 8th LASER Summer School on Software Engineering.

2012 NSF-CMACS Undergraduate Workshop on Cellular Signaling Pathways.
January 4, 2012 - January 24, 2012, Lehman College.

More News