Skip to main content
PRL Project

Current Grant Projects

Constructive Univalent Foundations

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

Program Composition for Embedded Systems
Open Logical
Programming Environments
National Science Foundation

Interactive Formal Courseware

Proof Automation in Constructive Type Theory

Enabling Large Scale Coherency Among Mathematical Texts in the NSDL


Office of Naval Research
Overview

Building Interactive
Formal Digital Libraries