Registered user since Thu 27 Aug 2015
Michael Hicks is a Senior Principal Scientist at Amazon, and a Professor (on leave) in the Computer Science department and UMIACS at the University of Maryland, where he co-founded the laboratory for Programming Languages research (PLUM).
Mike has produced influential research for 25 years, applying novel programming languages and program analysis techniques to solve a variety of problems in security, systems, databases, networks, and quantum computing.
He is the former Director of the Maryland Cybersecurity Center (MC2) (2011-2013) and the past Chair of ACM SIGPLAN (2015-2018). He is the founder and former editor in chief (2019-2021) of PL Perspectives, the SIGPLAN blog.
|SPLASH 2022||Verified Compilation of Quantum Oracles|
|Show activities from other conferences|