In an earlier post I mentioned that one goal of the new introductory curriculum at Carnegie Mellon is to teach parallelism as the general case of computing, rather than an esoteric, specialized subject for advanced students. Many people are incredulous when I tell them this, because it immediately conjures in their mind the myriad complexities…
Research Interests Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing (see also Publications, Students & Co-authors) Projects Logosphere A Formal Digital Library Triple Type Refinement in Programming Languages ConCert Language Technology for Trustless Software Dissemination Twelf Logical and Meta-Logical Frameworks SeLF Distributed System Security via Logical Frameworks Manifest Security Logics and Languages for Manifestly Secure Systems Prospero Integrating Types and Specifications
Capability Maturity Model® Integration (CMMI) is a process improvement approach that provides organizations with the essential elements of effective processes. It can be used to guide process improvement across a project, a division, or an entire organization. CMMI helps integrate traditionally separate organizational functions, set process improvement goals and priorities, provide guidance for quality processes, and provide a point of reference for appraising current processes.
PGraphplan and TGraphplan are Graphplan-based planners for STRIPS-style domains that include probabilistic actions. PGraphplan finds contingent plans with highest probability of success within the horizon.
* Automated Reasoning Database at Stanford. * The TPTP Home Page. * QED Home page. * ORA Bibliography of Automated Deduction * Tomás Uribe's automated deduction page. * Logical Frameworks Page. * Formal Methods Library at Oxford. * The Mizar Home Page. * Association for Automated Reasoning (AAR) * Conference on Automated Deduction (CADE) * Journal of Automated Reasoning (JAR)