Grant: $3,845,723 - National Science Foundation - Aug. 11, 2009
0% voted satisfied - 100% voted not satisfied - 1 vote(s) cast
Award Description: Collaborative Research with Carnegie Mellon University, Jet Propulsion Laboratory, and the University of Pittsburgh. The goal of the proposed Expedition is to develop the next generation of model-checking and abstract-interpreation technology so that formal verification and analysis can be performed on embedded and dynamical systems with significant societal impact.
Project Description: Project started on September 1, 2009. A series of meetings has been held between Carnegie Mellon’s and University of Pittsburgh’s PIs and leading experts on pancreatic and liver cancer at nearby institutions (University of Pittsburgh Medical Center). These meetings focused on understanding how Model Checking and Abstract Interpretation techniques can be used to analyze current models of cancer. We also started addressing how to elicit computational models of new medical hypotheses on pancreatic cancer put forward by our collaborators. Work is underway for organizing the project kick-off meeting on Oct 31 – Nov 1, 2009 in Pittsburgh. The meeting will feature talks by external experts on our Challenge Problems. See Award Description for the project abstract.
Jobs Summary: Prime Recipient retained the following jobs: Professor of Computer Science Edmund M. Clarke, Assistant Professor of Computer Science Christopher J. Langmead, Assistant Professor of Computer Science Andre Platzer, Executive Assistant and Administrative Coordinator Den Marous, Technical Coordinator Paolo Zuliani, Graduate Research Assistant Ying-Chih Wang. (Total jobs reported: 2)
Project Status: Less Than 50% Completed
This award's data was last updated on Aug. 11, 2009. Help expand these official descriptions using the wiki below.