Adam Chlipala is an Associate Professor of Computer Science at MIT, which he joined in 2011. His research focuses on strong, machine-checked correctness proofs for performant computer systems. This includes generation of low-level cryptographic code with the Fiat Cryptography project (adopted by Google Chrome and now used for most HTTPS connections) and full functional correctness proofs for computer processors with Kami (applied to several RISC-V designs). He holds a PhD in computer science from Berkeley (2007) and a BS in the same from Carnegie Mellon (2003). For more on Chlipala, please refer to his website.
Robert F. Lentz
Robert Lentz is the former Deputy Assistant Secretary of Defense for Cyber, Identity, and Information Assurance (CI&IA) in the Office of the Assistant Secretary of Defense, Networks, and Information Integration/Chief Information Officer. He started his career with the National Security Agency (NSA) in 1975. Since that time, he accumulated over 34 years of experience and established himself as a change agent with the federal government.
Lieutenant General (Ret.) Vincent R. Stewart
Lieutenant General Stewart is an Academy Securities’ Advisory Board Member. He served in the United States Marine Corps for over 35 years. He most recently served as Deputy Commander, U.S. Cyber Command. Prior to this assignment, he served as the 20th Director of the Defense Intelligence Agency. Lieutenant General Stewart’s military decorations include: the Defense Superior Service Medal; the Legion of Merit with one gold star; the Bronze Star; the Meritorious Service Medal with one gold star; the Navy and Marine Corps Commendation Medal with two gold stars; the Navy and Marine Corps Achievement Medal; the Combat Action Ribbon; the National Intelligence Distinguished Service Medal; and various unit awards.
Kirstjen M. Nielsen is an internationally recognized expert and proven leader on critical security issues facing governments and institutions, including enterprise risk, resilience, cybersecurity, and emerging threats. As a former cabinet member, attorney, public servant, successful entrepreneur, subject matter expert, and regular public speaker, she brings over two decades of domestic and international experience in the homeland and national security sectors.
Secretary Nielsen was sworn in as the sixth Secretary of the U.S. Department of Homeland Security (DHS) in December 2017. Secretary Nielsen was previously commissioned to serve as the White House Principal Deputy Chief of Staff. Before that appointment, she had the honor of serving as the DHS Chief of Staff. From 2004-2007, Ms. Nielsen served as Special Assistant to the President for Prevention, Preparedness, and Response on the White House Homeland Security Council. She also helped to stand up the Transportation Security Administration after the tragic events of 9-11 and worked for U.S. Senator Connie Mack III.
She is a Member of the National Infrastructure Advisory Council, the U.S. Secretary of Energy’s Advisory Board, Australia’s Cyber Security Industry Advisory Panel, and the Homeland Security Experts Group. She holds a B.S. in Foreign Service from Georgetown University and a J.D. from the University of Virginia’s School of Law.