Experience
Education
Bio
Cormac Flanagan is a Professor of Computer Science at the University of California, Santa Cruz (UCSC), where he leads the Software and Languages Research Group. Prior to joining UCSC in 2003, he was a Principal Research Scientist at Hewlett Packard Corporation, at Compaq Computer Corporation, and at Digital Equipment Corporation.
Dr. Flanagan holds 6 U.S. patents and has published 85 journal and conference papers. He is the recipient of an Alfred P. Sloan Foundation Fellowship, a Most Influential PLDI Paper Award, as well as Distinguished Paper awards at ECOOP and ISSTA. His research has been supported by the NSF, DoD, Microsoft, IBM, UC and others.
ACM Fellow in 2020