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 ...

Inexperienced swimmers are often unaware of the presence of treacherous rip currents and this leads to many drowning deaths each year. Even when signs are posted, the public probably does not clearly understand the danger. It would be more informative if the public were ale to maps of the location, speed, and direction of coastal currents. Ocean safety officials are using various methods to inform ...

The worldwide ocean going freight transportation infrastructure, known as the Marine Transportation System (¿MTS¿) is the cornerstone of the global economic well-being. Approximately ninety percent of all cargo moves via the MTS. However, one need only look to the open movement of containerized cargo to find simple, effective, and efficient means of large-scale economic damage. The result is a c ...

Special Operation Forces personnel require a rugged, miniature receiver that is capable of monitoring RF energy while deployed on a mission. The RF receiver will give a better picture of the electromagnetic threat environment enabling a heightened situational awareness, yet the device must be small enough that it does not hamper the SOF warfighter during missions requiring stealth and rapid mobil ...

This project is designed to test a novel receptor scaffold/sensor combination for the selective and direct measurement of antigens and to compare direct electric detection of antigens against the corresponding antibody based ELISA method. The scaffold concept combines a robust nucleic acid receptor (aptamer) coupled to a low cost CMOS FET and AlGaN MODFET transducer. Aptamers are short nucleic aci ...