Navigation Links
Carnegie Mellon leads NSF initiative to develop modeling tools for disease and complex systems
Date:8/19/2009

d winner for his work on systems verification. Among the other notables on the team are Patrick Cousot, an NYU computer scientist and co-inventor of Abstract Interpretation, and James Glimm, a National Medal of Science winner who heads the Department of Applied Mathematics and Statistics at the State University of New York at Stony Brook.

"Professor Clarke has truly assembled a dream team for this important new initiative," said Carnegie Mellon President Jared L. Cohon. "Computational modeling and simulation have become critical to discoveries in almost every scientific discipline, so finding new ways to build and explore these models will pay research dividends for years to come."

Carnegie Mellon is one of three lead institutions receiving the latest round of awards under the National Science Foundation's Expeditions in Computing program. The program, established last year by the Directorate for Computer and Information Science and Engineering (CISE), provides the CISE research and education community with the opportunity to pursue ambitious, fundamental research agendas that promise to define the future of computing and information and render great benefit to society. Funded at levels up to $2 million per year for five years, the Expeditions in Computing program represents some of the largest single investments currently made by the directorate.

Model Checking and Abstract Interpretation are the result of more than 30 years of research. Model Checking is the most widely used technique for detecting and diagnosing errors in complex hardware and software designs. It considers every possible state of a hardware or software design and determines if it is consistent with the designer's specifications; it produces counterexamples when it uncovers inconsistencies. It is limited, however, by the size of the systems it can analyze.

Abstract Interpretation, by contrast, doesn't attempt to look at every possible state of a system, but to develop a simplif
'/>"/>

Contact: Byron Spice
bspice@cs.cmu.edu
412-268-9068
Carnegie Mellon University
Source:Eurekalert

Page: 1 2 3 4 5

Related medicine news :

1. Carnegie Mellon develops innovative method to detect genetic causes of complex diseases
2. Carnegie Mellon algorithm charts evolution of genetic networks during fruit fly life cycle
3. Carnegie Mellon engineers create mobile video service
4. Carnegie Mellon scientists offer explanation for face blindness
5. Carnegie Mellon International Autism Symposium to Feature Groundbreaking Research, Oct. 17-18
6. Carnegie Mellon to host micromanufacturing conference
7. Trouble quitting?: A new Pitt-Carnegie Mellon smoking study may reveal why
8. Phoenix Health Systems Awarded Level 2 Carnegie Mellon University eSCM-SP Certification
9. Carnegie Corporation funds ASCB course on parasites for African scientists
10. Possible link between different forms of epilepsy found by Carnegie Mellon scientists
11. Carnegie Mellon researchers improve assessments of aortic aneurysms
Post Your Comments:
*Name:
*Comment:
*Email:
(Date:7/7/2015)... NY (PRWEB) , ... July 07, 2015 , ... ... email newsletter and website that helps active people find the most fun activities to ... active lifestyle coverage for millennials. It also increases Greatist’s opportunity for events, e-commerce, and ...
(Date:7/7/2015)... ... 2015 , ... SC&H Group, a leading audit, tax, and consulting firm, recently ... community through company-wide volunteering efforts. , On an annual basis, in coordination with ... in need throughout Baltimore and Washington D.C. , This year, SC&H Group’s ...
(Date:7/7/2015)... ... 07, 2015 , ... Summer is a great time to get outside and ... sharing some safety tips. , Jean Tapley, senior wellness coordinator at Amica, suggests the ... , Start slowly. Going from no activity to several hours of activity ...
(Date:7/7/2015)... ... ... Parents and guardians of teenagers or young adults will be interested in ... for drug and alcohol abuse located in Southwest Michigan. A recently released study by ... increase in the “club drug” use among high school seniors. The blog post offers ...
(Date:7/7/2015)... ... July 07, 2015 , ... With a new community program in ... Soldiers’ Angels and announced a new charity campaign to raise funds in support of ... Soldiers’ Angels, which was created especially to care for the special needs of our ...
Breaking Medicine News(10 mins):Health News:Greatist Acquires Active Lifestyle Brand Blood, Sweat & Cheers 2Health News:SC&H Group Celebrates 9th Annual Day of Service 2Health News:Amica Insurance Has 7 Summer Safety Tips 2Health News:A Forever Recovery Releases New Information on “Club Drugs” and Tips for Parents of Teens and Young Adults 2Health News:Clear Insurance Group and Nonprofit Soldiers’ Angels Initiate New Charity Campaign in San Antonio, TX to Provide Aid and Comfort for Veterans 2Health News:Clear Insurance Group and Nonprofit Soldiers’ Angels Initiate New Charity Campaign in San Antonio, TX to Provide Aid and Comfort for Veterans 3
... surgical and medical equipment supplier, now sells its DRE Integra AV-S with ... utilized as patients attempt to breathe spontaneously. , ... (Vocus) March 3, ... the Year by Business First of Louisville, continues expanding its DRE ...
... Hospital (KKH) can now opt for a "non-contact" form of surgery ... to treat uterine fibroids. , ... Singapore (PRWEB) March ... Children,s Hospital (KKH) can now opt for a "non-contact" form ...
... Cystic Fibrosis Trust and raised over £10,000 for the charity in the ... ... has ensured that both the Cystic Fibrosis Trust ( www.cftrust.org.uk ) and ... disease. , , , , ,For over 40 years the Cystic Fibrosis ...
... March 3 /PRNewswire/ ... which is a division of United Business Media Limited, ... software vendor, to provide an integrated medicine management system ... CMPMedica,s Integrated Data Solutions are already used in approximately ...
... Marinus Pharmaceuticals, Inc. today announced that it met its ... the safety and efficacy of ganaxolone as adjunctive therapy ... epilepsy. In this trial, ganaxolone demonstrated a statistically ... seen in the first week of dosing. Ganaxolone ...
... trigger autoimmunity could lead to new treatments for autoimmune ... of children annually, according to researchers. , A study ... discovered genetic evidence that two distinct molecular pathways control ... important cell type in limiting undesirable immune responses. Autoimmunity ...
Cached Medicine News:Health News:DRE AV-S Ventilator Now Has Multiple Spontaneous Breathing Modes 2Health News:DRE AV-S Ventilator Now Has Multiple Spontaneous Breathing Modes 3Health News:DRE AV-S Ventilator Now Has Multiple Spontaneous Breathing Modes 4Health News:Singapore Premier Women's Hospital Offers Contactless Surgery for Uterine Fibroids 2Health News:Singapore Premier Women's Hospital Offers Contactless Surgery for Uterine Fibroids 3Health News:Singapore Premier Women's Hospital Offers Contactless Surgery for Uterine Fibroids 4Health News:JackpotCity.com Online Bingo Raises Over 10,000 for Cystic Fibrosis Trust 2Health News:CMPMedica Signs an Agreement With MAIDIS for e-prescribing Solutions in Abu Dhabi (UAE) 2Health News:CMPMedica Signs an Agreement With MAIDIS for e-prescribing Solutions in Abu Dhabi (UAE) 3Health News:Marinus Pharmaceuticals, Inc. Announces Positive Results of its Phase 2 Clinical Trial of Ganaxolone as Adjunctive Therapy in Adults With Partial Onset Seizures 2Health News:Marinus Pharmaceuticals, Inc. Announces Positive Results of its Phase 2 Clinical Trial of Ganaxolone as Adjunctive Therapy in Adults With Partial Onset Seizures 3Health News:Marinus Pharmaceuticals, Inc. Announces Positive Results of its Phase 2 Clinical Trial of Ganaxolone as Adjunctive Therapy in Adults With Partial Onset Seizures 4Health News:Genetic evidence points to potential therapeutic bypass for autoimmune process 2Health News:Genetic evidence points to potential therapeutic bypass for autoimmune process 3
(Date:7/7/2015)... LEHIGH VALLEY, Pa. , July 7, 2015  Air ... efficiency of its medical oxygen supply systems—including high efficiency systems ... the 52 nd ASHE Annual Conference and Technical Exhibition ... ASHE attendees are invited to stop by ... help reduce their oxygen usage by as much as 30 ...
(Date:7/7/2015)... , June 30, 2015 ... of the "Outlook of Global Biologic Drug Discovery ... The global biologic drug discovery outsourcing market will likely ... 2020, and may reach $11.4 B by 2020. ... biologics (or biopharmaceuticals) have become a new but important ...
(Date:7/7/2015)... , July 7, 2015 Biobanks ... Helping Your Influence  ,Are you interested ... so, now gain technological and commercial predictions from 2015. ... explore trends in research and development, results, opportunities and ... visiongain shows you what,s possible for biobanking and ...
Breaking Medicine Technology:Air Products Highlights Reliability and Efficiency of Its Medical Oxygen Supply Systems at ASHE Conference and Exhibition 2Outlook of Global Biologic Drug Discovery Outsourcing Market to 2020 2Outlook of Global Biologic Drug Discovery Outsourcing Market to 2020 3Biobanking for Medicine: Technology, Industry and Market 2015-2025 2Biobanking for Medicine: Technology, Industry and Market 2015-2025 3Biobanking for Medicine: Technology, Industry and Market 2015-2025 4Biobanking for Medicine: Technology, Industry and Market 2015-2025 5Biobanking for Medicine: Technology, Industry and Market 2015-2025 6Biobanking for Medicine: Technology, Industry and Market 2015-2025 7Biobanking for Medicine: Technology, Industry and Market 2015-2025 8Biobanking for Medicine: Technology, Industry and Market 2015-2025 9Biobanking for Medicine: Technology, Industry and Market 2015-2025 10
... reference laboratory and a worldwide leader in ... an extensive test menu of highly complex ... anatomic pathology. Owned by the University of ... half of the nation's university teaching hospitals ...
... is a national reference laboratory and a ... development. ARUP offers an extensive test menu ... in clinical and anatomic pathology. Owned by ... include more than half of the nation's ...
... ARUP Laboratories is a national reference ... laboratory research and development. ARUP offers an ... unique medical tests in clinical and anatomic ... ARUP Laboratories' clients include more than half ...
... Laboratories is a national reference laboratory and ... and development. ARUP offers an extensive test ... tests in clinical and anatomic pathology. Owned ... clients include more than half of the ...
Medicine Products: