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.
All times are presented in the host university’s local time zone.
Software Development and Assurance Pipeline
(9:55am - 10:40am)