Cormac Flanagan, professor of computer science and engineering at the Baskin School of Engineering, has received the Principles of Programming Languages (POPL) 2022 Most-Influential Paper Award. This award, presented annually by the Association for Computing Machinery Special Interest Group on Programming Languages (ACM SIGPLAN), is given to the authors of a paper that was written and presented at a POPL Conference 10 years prior. Each year, judges select a winner based on the influence that particular paper has had in the field over the past decade.
A fellow of ACM, Flanagan has received several awards for his work, including the IEEE Computer Security Foundations Symposium Distinguished Paper Award (2020), ACM SIGPLAN Programming Language Design and Implementation (PLDI) Most-Influential Paper Award (2019), and the UCSC Excellence in Teaching Award (2015). His research areas span the fields of programming languages, computer security, verification, and dynamic and static program analysis.
Flanagan earned his M.S. and Ph.D. degrees in computer science from Rice University and joined the UCSC faculty in 2003.
This block group hides your featured image, remove this block group to show your featured image again.