- About Us
- News & Events
- Quick Links
Professor, Computer Science
Baskin School of Engineering
1156 High St
Mail Stop SOE3
Santa Cruz, CA 95064
Phone Number: 831-459-5375
Department: Computer Science
Office Location: Engineering 2, Room 367
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.
Programming languages, computer security, web programming, concurrency, verification, type systems, dynamic analysis.
Are you Cormac Flanagan? If so, you can update the information on this page.