News

• Richard DeFrancisco awarded a 2012 National Aeronautics and Space Administration (NASA) Space Technology Research Fellowship (NSTRF)
  
  
• Edmund M. Clarke Featured at Turing 100 Celebration
  
  
• 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
  
  
• 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.
  
  
• Nancy Griffeth interviewed at Tech Talk with Craig Peterson. Listen to the podcast.
  
  
• Edmund M. Clarke will deliver keynote speech at ATVA 2011
  
  
• CMACS Researchers Co-Author Nature Paper on Low-Energy Control of Electrical Turbulence in the Heart. July 25, 2011
  
  
• Computer Modeling May Unlock Answers to Complex Problems like Heart Disease
  
  
• Bud Mishra receives Distinguished Alumnus Award 2011 from IIT Kharagpur.
  
  
• Edmund M. Clarke elected to American Academy of Arts & Sciences
  
  
• André Platzer on IEEE "AI's 10 to Watch" List
  
  
• Matthias Althoff will give an invited talk at the RSS (Robotics: Science and Systems) 2011 Workshop on "Guaranteeing Motion Safety for Robots".
  
  
• Nancy Griffeth leads Undergraduate Workshop on Atrial Fibrillation to success.
  
  
• André Platzer receives NSF CAREER Award
  
  
• CMACS Researchers Perform First Automated Formal Analysis of Realistic Cardiac Cell Model. January 26, 2011
  
  
• 2011 NSF-CMACS Undergraduate Workshop on Atrial Fibrillation
  January 3, 2011 - January 21, 2011, Carman Room 118, Lehman College
  
  
• Bud Mishra selected as 2010 AAAS Fellow. News brief
  
  
• CMACS members win Best Paper Award at the 9th International Conference on Bioinformatics.
  Analysis and verification of the HMGB1 signaling pathway
  
  
• André Platzer shares Honorable Mention for 2009 ACM Doctoral Dissertation Award. ACM Citation
  
  
• Rance Cleaveland gives invited talk at the First International Conference on Run-Time Verification
  
  
• CMACS PI Review Meeting at NYU October 28-29, 2010, New York University
  
  
• CMACS NSF meeting Carnegie Mellon University, March 4-5, 2010
  
  
• NSF-CMACS Undergraduate Workshop Lehman College, January 6-26, 2010
  
  
• CMACS Kick-off meeting Carnegie Mellon University, October 31 - November 1st, 2009
  
  
• Obituary for Professor Amir Pnueli
  
  
• New York University, Department of Computer Science Statement on the Passing of Professor Amir Pnueli
  
  
• CMACS Kick-off meeting Carnegie Mellon University, October 31 - November 1st, 2009
  
  

CMACS in the News

• Clarke Inducted Into AAAS; Presenting Keynote Addresses in Asia SCS News, October 12, 2011
  
  
• Amir Pnueli, Pioneer of Temporal Logic, Dies at 68 The New York Times, November 14, 2009
  
  
• Expeditions in Computing Continue to Break New Ground, NSF Press Release, October 6, 2009