United States Nuclear Regulatory Commission - Protecting People and the Environment

Constance Heitmeyer

Constance Heitmeyer heads the Software Engineering Section of the Naval Research Laboratory's Center for High Assurance Computer Systems.  Her research focuses on the formal modeling and analysis of critical software systems using software tools. She has published more than 140 technical papers covering a range of software-related research topics, including requirements specification and validation, verification using model checking and theorem proving, invariant generation, model-based test generation, security modeling, and real-time computing. A frequent invited speaker on software topics, Ms. Heitmeyer is the chief designer of NRL's Requirements Toolset, a set of tools for specifying, validating, and verifying critical systems, which has been transferred to over 200 industry, government, and university groups. One of Ms. Heitmeyer’s major objectives is to transition the results of her research to software practice. Recently, she led a team which produced evidence demonstrating the security of an embedded DoD software device. The evidence was used in a Common Criteria evaluation supporting U.S. government certification of the device.

Page Last Reviewed/Updated Tuesday, August 07, 2012