Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Michael Hicks

Registered user since Thu 27 Aug 2015

Name: Michael Hicks

Bio: Michael Hicks is a Professor in the Computer Science department and UMIACS at the University of Maryland, where he co-directs the laboratory for Programming Languages research (PLUM); he is the former Director of the Maryland Cybersecurity Center (MC2) and the Past Chair of ACM SIGPLAN.

His research focuses on using programming languages and analyses to improve the security, reliability, and availability of software. He is perhaps best known for his work exploring dynamic software updating, a technique with which software can be updated without shutting it down. He has explored the design of new programming languages and analysis tools for helping programmers find bugs and software vulnerabilities, and for identifying suspicious or incorrect program executions. He was worked has combined ideas from PL and cryptography, e.g., to ensure privacy preserving computations. He also leads the development of a new security-oriented programming contest, “build-it, break-it, fix-it,” which has been offered to the public and to students in his Coursera class on software security. He has recently begun to explore programming languages for quantum computation.

He is the editor of the Programming Languages Enthusiast blog and Tweets at @michael_w_hicks.

Country: United States

Affiliation: University of Maryland, College Park

Personal website: http://www.cs.umd.edu/~mwh/

Research interests: Programming Languages and Security

Contributions

PLMW 2019Speaker of Technical Talk: What Is Programming Languages Research? within the PLMW@POPL-track
Speaker in Speakers within the PLMW@POPL-track
POPL 2019Session Chair of Type Inference I (part of Research Papers)
Author of LWeb: Information Flow Security for Multi-Tier Web Applications within the Research Papers-track
Committee Member in Selection Committee within the Student Research Competition-track
Chair in Steering Committee
Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track
Show activities from other conferences

POPL 2019-profile
View general profile