High-confidence software systems.
Automatic generation of security-critical code for multilevel secure classified information processing.
Formal methods.
Z notation.
Tools.
SPARK Ada.
Counterexample finding.
Certification and Accreditation.
My day job is Information Assurance Engineer (Staff) in the Mission and Combat Support Systems (Tactical C2ISR) [Maritime] department at Lockheed Martin, where they do things that I can't talk much about. I am a PRS in the Computing Laboratory reading for a DPhil; my research supervisor is Dr. Andrew Martin. I have worked as a programmer, sysadmin, and security engineer for years on a variety of ground systems, aircraft, shipboard, orbital, and undersea vehicles. Can't discuss whether there are any crashed alien spaceships in Area 51.
