معرفی
Michael Hicks is a Senior Principal Scientist at Amazon Web Services (AWS), focusing on automated reasoning and test generation, and a Professor Emeritus at the University of Maryland (UMCP). He co-led the development of the Cedar authorization language for AWS Verified Permissions. Previously, he was Chair and Past Chair of ACM SIGPLAN, and Editor-in-Chief of PACMPL. His research spans secure programming, quantum computation, and secure multiparty computation. He holds a PhD in Computer and Information Science from the University of Pennsylvania and has been affiliated with UMIACS and the Maryland Cybersecurity Center (MC²).
His research interests include improving software security and reliability through techniques like the Build-it-Break-it-Fix-it contest, Checked C extensions for C safety, and quantum programming languages like VOQC. He has advised numerous students, many of whom hold prominent academic and industry roles.
Hicks has received recognition including Distinguished Paper awards at ICSE 2025 and OOPSLA 2022. He has taught courses on programming languages, software security, and formal methods, and contributed to conferences like POPL, PLDI, and OOPSLA.
