Current Grant Projects

Past Projects

Funded by:	Projects:	Selected Papers:
Defense Advanced Research Projects Agency	Correct-by-Construction Attack Tolerant Systems (CRASH)
NASA Langley	Émile – The Event Logic Explorer Project Led By: Architecture Technology Corporation
Office of Naval Research	DivA: Automated Generation of Locial Code Diversity Project Led By: Architecture Technology Corporation
US Air Force	Formally Generating Adaptive Security Protocols
Defense Advanced Research Projects Agency	Distributed System Security Ensemble Groupware System	Assuring the Integrity of Highly Decentralized Communications Systems 1997 DARPA Summary Report
Program Composition for Embedded Systems	Open Logical Programming Environments	Formal Methods for Software Evolution: Interoperability Results An Open Logical Programming Environment: A Practical Framework for Sharing Formal Models and Tools
National Science Foundation	Interactive Formal Courseware Proof Automation in Constructive Type Theory Enabling Large Scale Coherency Among Mathematical Texts in the NSDL	Extracting Propositional Decidability, by James Caldwell Lessons in Discrete Mathematics, by Stuart Allen Using Web Access to Formal Mathematics to Support Instruction in Computational Discrete Mathematics; (abstract)
Office of Naval Research	Overview Building Interactive Formal Digital Libraries	Computational Complexity in Constructive Type Theory, by Robert Constable Nuprl Math Library