D

Committee Member Biographical Information

STEVE LIPNER, NAE, Co-Chair, is the executive director of SAFECode. Lipner also serves as the chair of the U.S. Information Security and Privacy Advisory Board and as an adjunct professor of computer science at Carnegie Mellon University. His expertise is in software security, software vulnerabilities, Internet security, and organization change for security. Previously, Lipner was the partner director of software security at Microsoft Corporation, where he was responsible for the Security Development Lifecycle team that delivered processes, tools, and associated guidance and oversight that significantly improved the security of Microsoft’s software. Lipner has more than 50 years of experience as a researcher, development manager, and general manager in information technology security. Lipner is the author of numerous professional papers and is named as an inventor on 12 U.S. patents in the field of computer and network security. He is a member of the National Academy of Engineering (2017) and the National Cybersecurity Hall of Fame (2015). He has served on many committees of the National Academies of Sciences, Engineering, and Medicine, most recently as the chair of the Committee on the Future of Encryption. Lipner earned an SB and an SM in civil engineering from the Massachusetts Institute of Technology (MIT).

J. GREG MORRISETT, Co-Chair, is the Jack and Rilla Neafsey Dean and Vice Provost of Cornell Tech and a professor in the Computer Science Department at Cornell University. Prior to joining Cornell Tech, he was the dean of computing and information science (CIS) at Cornell University from 2015–2019. Previously, he held the Allen B. Cutting Chair in Computer Science at Harvard University from 2004–2015, where he also served as the associate dean for computer science and electrical engineering. Before Harvard,

Morrisett spent 8 years on the faculty of Cornell’s Computer Science Department. Morrisett’s research focuses on the application of programming language technology for building secure, reliable, and high-performance software systems. He is a Fellow of the Association of Computing Machinery (ACM), and his awards include the Presidential Early Career Award for Scientists and Engineers, a National Science Foundation (NSF) CAREER Award, Alfred P. Sloan Fellowship, and IBM Faculty Fellowship. He received his bachelor’s degree from the University of Richmond and both his master’s and doctorate degrees from Carnegie Mellon University.

JANDRIA S. ALEXANDER is a vice president at Booz Allen Hamilton where she leads cybersecurity, research and development, and serves as the chief technology officer (CTO). She is a subject-matter expert on cybersecurity, resilient platform, operational technology, and multidomain mission systems with more than 20 years in the field. A nationally recognized cybersecurity expert, Alexander has participated in National Academies’ studies related to cybersecurity research and new aviation technologies. In 2014, she was appointed by former Virginia Governor Terry McAuliffe to serve on the bipartisan Virginia Cyber Security Commission to expand the state’s economic footprint in cyber technology and protect critical infrastructure from cyber threats. She led the effort’s unmanned systems cybersecurity industry, government, and academia consortium. Over the length of her career, Alexander has provided cybersecurity and digital transformation leadership, market strategy, and solution development for the Department of Defense (DoD) and the Intelligence Community as well as many civil and commercial organizations. Before joining Booz Allen in 2017, she was a cybersecurity leader in engineering and technology at a federally funded research and development corporation. She served as the chair of the American Association of Aeronautics and Astronautics’ Diversity and Inclusion Working Group from 2017–2021. She has a BS in computer science from Brandeis University and an MS in technology management from American University.

TIMOTHY BOOHER is the senior vice president of special projects at Leidos, where he drives the intersection of defense and technology to deliver war-winning capabilities. Previously, he was the vice president of autonomy at Boeing, leading the development of autonomous systems across commercial and defense, and the vice president of strategy and corporate development strategic initiatives, shaping Boeing’s enterprise strategy and portfolio. Before Boeing, Booher was the vice president of engineering at Lockheed Martin Aeronautics, managing director and CTO of cyber at HSBC, and held senior technology and security leadership roles at Colgate-Palmolive. He served as a Defense Advanced Research Projects Agency (DARPA) program manager advancing the state of the art in autonomy, formal methods, and complex systems, and continues to serve as

a U.S. Air Force Reservist and National Academies’ panel member. Booher holds a BS in aeronautical and astronautical engineering from MIT, an MS in operations research from the Air Force Institute of Technology, and additional certifications in finance, computer science, and divinity.

STEVEN W. BOUTELLE is a world-renowned expert in converged voice, data, and imagery over Internet Protocol (IP), particularly in helping large institutions adopt enhanced network infrastructure. As the former chief information officer for the Army, he is prominent in military circles for his pursuit of technology that enhanced productivity and provided technological advantage to the warfighter. He is the former chief executive officer of the Internet Routing in Space initiative and the vice president for business development for the Global Government Solutions Group, both components of Cisco Systems. In these roles, Boutelle advised government customers on business practices and technical solutions that address their mission goals. He remains a proponent of moving data using IP and was sought by Cisco after his distinguished military career because of his visionary leadership and critical experience in the technology fields. He studied at Oregon State University before enlisting in the Army and attending officer’s candidate school. He was commissioned before moving to the Signal Corps. During his military career, he served in senior Army leadership positions, including director of information, operations, networks, and space and program executive officer of command, control, and communications systems. In 2005, he was named “U.S. Department of Defense Executive of the Year” by Government Computer News; the following year he was named a “Top 100 CIO” by Federal Computer Week. He was selected to the Army’s C5ISR (Command, Control, Communications, Computers, Communications, Cyber, Intelligence, Surveillance and Reconnaissance) in 2022. Boutelle served on the Defense Science Board (DSB) Task Force for Interoperability and the DSB for Satellite Communications, and was on the boards of DRS (now Leonardo), PacStar Communications, and ThreatMetrix, and previous chair of the U.S. entity of Systematic. Boutelle is a member of the Virginia Academy of Science, Engineering, and Medicine. He also served on the Board on Army Science and Technology of the National Academies from 2017 to 2019. He holds a bachelor’s degree from the University of Puget Sound, an MBA from Marymount University, and a Doctor of Law, Honoris causa, from the University of Puget Sound.

ALEXANDER GANTMAN is a product security executive with more than 20 years of experience leading global organizations to deliver secure and reliable products at scale. As the vice president of engineering for Qualcomm Technologies Inc., Gantman is responsible for making billions of Qualcomm-powered connected products secure and reliable against attacks. He leads a global team designing, implementing, and commercializing

security capabilities across dozens of product lines spanning multiple industry verticals, including Mobile, Compute, Automotive, and Internet of Things. Gantman has led the establishment and evolution of a broad-scale product security practice at Qualcomm, covering thousands of products, tens of millions of lines of code, and tens of thousands of engineers across the globe. He is a founding organizer of the Qualcomm Product Security Initiative (2006) and the Qualcomm Product Security Summit, a premier industry conference focused on security of connected devices. He holds more than 50 patents and is a recognized subject-matter expert in hardware, software, and systems security across a wide range of domains. Gantman received bachelor’s (1998) and master’s (2001) degrees in computer science from the University of California, San Diego.

HELEN GILL is a retired Program Director in NSF’s Directorate for Computer and Information Science and Engineering. Previously, she was a research program manager with DARPA’s Information Technology Office, following service directing NSF’s Programming Languages program and the Systems and the Software Engineering program and as a principal scientist with The MITRE Corporation. At DARPA, Gill led a Software Design and Evolution program component seeking advances in formal methods for highly dependable systems, then initiated and led programs in Software Enabled Control and Program Composition for Embedded Systems. Returning to NSF, she founded and led the NSF Cyber-Physical Systems program, which continues. From 2000 through 2013, Gill co-chaired the interagency coordinating committee on High-Confidence Software and Systems, under the auspices of the Office of Science and Technology program on Networking and Information Technology Research and Development. She is a member of Phi Beta Kappa, Phi Kappa Phi, ACM, and the Institute of Electrical and Electronics Engineers (IEEE). She received the NSF Meritorious Service Award, the NSF Director’s Award for Program Management Excellence, the Office of the Secretary of Defense Award for Outstanding Achievement, the IEEE Technical Committee on Real-Time Systems Outstanding Service Award, the ACM Special Interest Group on Embedded Systems Lifetime Achievement Award, and the 2005 Auburn University Outstanding Alumna Award. Gill holds a PhD and an MS in computer science and a BA in mathematics.

MICHAEL HICKS is a professor of computer and information science at the University of Pennsylvania and the director of the Schlein Center for Cybersecurity. Previously he was a senior principal scientist at Amazon Web Services (AWS) and a professor at the University of Maryland. As notable service, he was the first director of the Maryland Cybersecurity Center from 2011–2013 and was the elected chair of the ACM Special Interest Group on Programming Languages (SIGPLAN) from 2015–2018. Hicks’s 25-year research career has

explored how to apply novel programming languages and program analysis techniques to solve a variety of problems in security, systems, databases, networks, and quantum computing. One sustained area has been the exploration of practical means to enforce memory safety in low-level programs through programming language design, program analysis and transformation, and automated testing. At AWS he co-led the development of Cedar, a new authorization policy language, as well as efforts to enhance the quality of generative artificial intelligence–produced code using formal reasoning and automated testing. He is a two-time winner of the National Security Agency’s Best Scientific Cybersecurity paper competition and several other distinguished research paper awards. In 2022 he received the ACM SIGPLAN Distinguished Service Award and in 2023 he was made a Fellow of ACM. Hicks earned his BS (1993) in computer science at Pennsylvania State University and his MS (1996) and PhD (2001) in computer and information science at the University of Pennsylvania.

JOHN LAUNCHBURY is the chief scientist at Galois, collaborating with government and industry leaders to fundamentally improve the security of software and cyber-physical systems though applied formal mathematical techniques. Prior to rejoining Galois in 2017, Launchbury was the director of the Information Innovation Office at DARPA, where he led nation-scale investments in cybersecurity and artificial intelligence. Before founding Galois in 1999, Launchbury was a full professor in computer science. He is internationally recognized for his work on the analysis and semantics of functional programming languages. Launchbury received First Class Honors in Mathematics from Oxford University in 1985. He holds a PhD in computing science from the University of Glasgow and won the British Computer Society’s distinguished dissertation prize. In 2010, he was inducted as a Fellow of ACM.

DAWN C. MEYERRIECKS is currently a senior visiting fellow at The MITRE Corporation. She was the former deputy director of the Central Intelligency Agency (CIA) for science and technology. As an independent director and board member, and government and commercial technical powerhouse leader, Meyerriecks brings more than 40 years of experience pioneering new products and services and leading transformation for iconic brands around the world, including CIA, AOL, and DoD. She is a recognized expert in delivering entrepreneurial technical capabilities and processes to international markets, leveraging unparalleled stakeholder acumen into strategy, development, integration, and operations. Meyerriecks received her MS in computer science from Loyola Marymount University.

RICHARD WARD is a technical fellow at Microsoft Corporation, where he specializes in cybersecurity and security assurance. Ward is currently overseeing security assurance and design for a variety of Microsoft products, including Windows and related systems. At Microsoft since 1989, Ward has been involved in systems engineering, security engineering, 40 patents, and has held roles from individual architect to engineering manager. Ward graduated from Williams College with a BA in computer science.