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

E-Mail Address:

Web Page

• Cormac Flanagan's Home Page

Degrees

• M.S in Mathematics and Computer Science, 1990, University College Dublin
• M.S. in Computer Science, 1995, Rice University
• Ph.D in Computer Science, 1997, Rice University

Biography

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.

Research Areas

Programming languages, computer security, web programming, concurrency, verification, type systems, dynamic analysis.

Current and Future Classes

Spring 2012

• CMPS 253: Advanced Programming Languages

Fall 2012

• CMPS 12A: Introduction to Programming (Accelerated)
• CMPS 12L: Computer Programming Laboratory

Winter 2013

• CMPS 112: Comparative Programming Languages
• CMPS 203: Programming Languages

Students & Researchers

• Thomas Austin (Graduate)
• Tim Disney (Graduate)
• Stephen Freund (Researcher)
• Caitlin Sadowski (Graduate)
• Jaeheon Yi (Graduate)

Are you Cormac Flanagan? If so, you can update the information on this page.