Award Data

Galois will build a practical, efficient, modular, deductive code verifier and verification methodology for multithread C11 software. The verifier will take code written to the C11 standard, suitably annotated with function contracts, assertions, program/data invariants, ghost data/code, and any platform-specific assumptions beyond those guaranteed by the standard, and will prove that the code mee ...

Detecting the presence of marine mammals is paramount in lessening man’s impact on the environment as we search the oceans for natural resources. Most human operations in oceans use high powered acoustic sources that can disturb, disrupt, main or kill marine mammals. The ability to detect, identify and locate marine mammals is critical during these operations to mitigate harm. Passive acoustics ...

The objective of this research is to develop beta versions of tools for automatically migrating radiation effects predicted in TCAD level tools to compact modeling tools. This transition will enable compact models that possess radiation effects to be quickly generated, which can then be used in circuit design activity. This approach is a substantial improvement over the current ad hoc approaches. ...

Special Operations forces (SOF) operate in all weather conditions. It has identified a need for a micro-cooling system that can be vehicle mounted and man-portable, as well as provide a capability to cool vehicle mounted communications and electronics equipment. To meet the needs of SOF the system must be small, lightweight, quiet, low power, and gasless. We propose a compact micro-cooling system ...