Cormac Flanagan

  • Professor, Computer Science
  • Computer Science
  • 831-459-5375
  • Engineering 2, Room 367
  • SOE3
  • 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. 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 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.
  • Programming languages
  • Computer security
  • Concurrency
  • Verification
  • Type systems
  • Dynamic and static program analysis
  • 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

Are you Cormac Flanagan? If so, you can update your directory information.