William B. Martin
William “Brad” Martin leads the High Confidence Software and Systems (HCSS) Division,
supporting development of scientific foundations and technologies for innovative
systems design, systems and embedded application software, and assurance and
verification to enable the routine production of reliable, robust, safe, secure,
and certifiably dependable IT-centric physical and engineered systems. The HCSS
Division resides within NSA’s National Information Assurance Research Laboratory,
a laboratory responsible for conducting and sponsoring research in the technologies
and techniques needed to secure America’s future information systems. Brad also
serves as Co-Chair of the Nation’s High Confidence Software and Systems Coordinating Group
(http://www.nitrd.gov/
).
He can be reached via email at wbmarti at alpha.ncsc.mil