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

Single chirality of single-walled carbon nanotubes (SWCNTs) is critical for their superb mechanical, thermal, optical and electronic properties. All known methods for producing nanotubes give mixtures of tubes with different chiralities. Physical separation of SWCNT by chirality is thus an enabling step for many potential applications and fundamental studies. The existing anion exchange resins are ...

The applicant will develop a wave energy harvesting system for NOAA buoys. It will ve entirely self-contained (no protruding elements), modular, scalable, and easily deployed. The system employs a unique, inertial mechanism that responds to acceleration forces created by waves. This mechanism will be combined with (1) a proprietary generator that is sensitive to very low levels of torque and ha ...

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