The HCSS Conference - Rooted in Trust
| During this session Brad will discuss his motivation for spearheading the initiation of the High Confidence Software and Systems Conference in 2001, describing its early years as the conference now enters its 2nd quarter-century of activity. Brad will briefly describe select highlights from the 25 conference sessions during the discussion. Although the technical emphasis on mathematically-based tools and techniques and scientific-foundations supporting trustworthy systems assurance has been a core tenet of the conference since its inception, the conference's reach and impact, as well as the forms it might have taken, could not have been imagined. Ultimately the success of the HCSS Conference's 1st quarter-century was rooted in deep trust among its early coordinators and participants; it is my hope such trust continues to be a deep pursuit in the years ahead for the HCSS Conference! |
| 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. 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. |