Speakers

Dr. Michael Hicks Senior Principal Scientist Amazon Web Services

Michael Hicks is a Senior Principal Scientist at Amazon Web Services, on leave from the University of Maryland where he is a Professor. He is a leading member of the programming languages and software security communities, having carried out diverse and award-winning research published in top venues covering computer security, programming languages, systems, and software engineering. He was the first Director (2011–2013) of the University of Maryland’s Cybersecurity Center (MC2), and was the elected Chair (2015–2018) of ACM SIGPLAN, the ACM's Special Interest Group on Programming Languages. Over his career, he has published more than 140 peer-reviewed scientific articles, and graduated 20 PhD students. His research has won several conference-level best paper awards, and has twice won the NSA’s Best Scientific Cybersecurity Paper competition; he is the only two-time winner. In 2022 he received the ACM SIGPLAN Distinguished Service Award for his many contributions to the field. In recent projects he developed techniques for securing legacy C code through automated conversion; explored synergies between cryptography and programming languages; developed techniques for better random (fuzz) testing and probabilistic reasoning; and designed high-assurance tools and languages for quantum computing.

Presenting at:

All times are presented in the host university’s local time zone.

Wednesday, December 14, 2022

Software Development and Assurance Pipeline
(9:55am - 10:40am)

You are now leaving the website that is under the control and management of DARPA. The appearance of hyperlinks does not constitute endorsement by DARPA of non-U.S. Government sites or the information, products, or services contained therein. Although DARPA may or may not use these sites as additional distribution channels for Department of Defense information, it does not exercise editorial control over all of the information that you may find at these locations. Such links are provided consistent with the stated purpose of this website.


After reading this message, click  to continue immediately.

Go Back