GET IN TOUCH
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
Brad Martin
Principal Scientist
Background
Brad Martin joined Galois in 2025 as a Principal Scientist following nearly four decades of service with the National Security Agency (NSA), serving most recently as the technical director for NSA's Laboratory for Advanced Cybersecurity Research. During his tenure at NSA, Brad was detailed to DARPA and ODNI. While at DARPA, he served as a program manager within DARPA's Information Innovation Office, pursuing interests in continuous reasoning of complex, high-assurance systems. At ODNI, Brad served as the ODNI Science & Technology Lead for Cyber, focused on enhancing the cyber research community and specifically scoped for science and technology for national security needs in cyber. While at NSA, Brad attained the level of Defense Intelligence Senior.
Brad's current research focuses on the application of formal methods, domain-specific languages, trustworthy AI, and software understanding. More broadly, Brad has interest in the development of scientific foundations and technologies for assurance and verification to enable the routine production of reliable, robust, safe, secure, and certifiably dependable IT-centric physical and engineered systems.
