Current Grant Projects

Past Projects

Funded by:	Projects:	Selected Papers:
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