Search for people, departments, or email addresses.
Baskin School of Engineering
Computer Science and Engineering
Professor
Faculty
Regular Faculty
Engineering Building 2
367
Engineering
Cormac Flanagan is a Professor of Computer Science and Engineering at UCSC and a Fellow of the ACM. He is the recipient of an Alfred P. Sloan Foundation Fellowship, two PLDI Most Influential Paper Awards and one POPL Most Influential Paper Award, as well as Distinguished Paper awards at ECOOP and ISSTA. 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. He 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. Dr. Flanagan holds 6 U.S. patents and has published over 100 peer-reviewed papers. His research has been supported by the NSF, DoD, Microsoft, IBM, UC and others.
- Programming languages
- Computer security
- Concurrency
- Verification
- Type systems
- Dynamic and static program analysis
This campus directory is the property of the University of California at Santa Cruz. To protect the privacy of individuals listed herein, in accordance with the State of California Information Practices Act, this directory may not be used, rented, distributed, or sold for commercial purposes. For more details, please see the university guidelines for assuring privacy of personal information in mailing lists and telephone directories. If you have any questions please contact the ITS Support Center.
