Cormac Flanagan

Cormac Flanagan received the B.S. degree in Computer Science and Mathematics from University College Dublin, Ireland in 1990; and the M.S. and Ph.D. degrees in Computer Science from Rice University, in 1995 and 1997 respectively. He is a Professor of Computer Science at the University of California, Santa Cruz (UCSC), and serves as the Director of Graduate Studies for the Computer Science Department. 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 77 journal and conference papers. He is the recipient of an Alfred P. Sloan Foundation Fellowship and an ACM ISSTA Distinguished Paper Award. His research has been supported by the NSF, DoD, Microsoft, IBM, UC and others. He directs the Software and Languages Research Group at UCSC.

Flanagan’s research areas include programming languages, computer security, web programming, concurrency, verification, type systems, and dynamic analysis.


Research Thrusts