معرفی
Michael Hicks is a Professor in the Department of Computer and Information Science at the University of Pennsylvania and an Amazon Scholar. Previously, he was a Professor at the University of Maryland (2002-2021) and Senior Principal Scientist at Amazon Web Services (2022-2025). He co-founded the Programming Languages research lab (PLUM) at Maryland and was its director, as well as Director of the Maryland Cybersecurity Center (MC2). He is a Fellow of the Association of Computing Machinery (ACM), former Chair of ACM SIGPLAN, and Editor-in-Chief of Proceedings of the ACM on Programming Languages (PACMPL).
His research focuses on programming languages and their application to software security, quantum programming, and formal verification. He has pioneered dynamic software updating techniques, developed tools like Checked C for memory safety, and co-designed the Cedar authorization policy language at AWS. In quantum computing, he works on verified compilers like VOQC and Qunity to ensure reliability and correctness.
His recent work trends include quantum programming languages, secure multi-party computation (e.g., Wysteria, Symphony), and fuzz testing methodologies. He has contributed to formal verification for quantum programs and language-based security frameworks.
Scientific Awards include:
- ACM Fellow
He has advised numerous PhD and Master’s students, including James Parker, Andrew Ruef, Kesha Hietala, and Aseem Rastogi, who now hold academic and industry positions. His lab, PLUM, has been instrumental in advancing programming languages research.
