Luca de Alfaro

Luca de Alfaro


Computer Science and Engineering

University of California, Santa Cruz

Ph.D. Stanford University, 1998

Curriculum vitae


  • Ph.D., Computer Science, Stanford University, 1998.
  • M.S., Computer Science, Stanford University, 1997.
  • Doctorate, Systems and COmputer Engineering, Politecnico di Torino, 1995.
  • B.S., Electrical Engineering, Politecnico di Torino, 1990.


  • Professor, Computer Science and Engineering, UC Santa Cruz. Faculty at UC Santa Cruz since 2001.
  • Faculty visitor, then Staff Research Scientist, Google, 2008-2011 (on leave from UC Santa Cruz).


  • ESWEEK 2020 Test of Time Award for the paper Interface Theories for Component-Based Design, written with Thomas A. Henzinger, and originally published in the proceedings of the EMSOFT2001 Conference.
  • LICS 2020 Test of Time Award, for the paper Concurrent Omega-Regular Games, written with Thomas A. Henzinger, and originally presented in the IEEE Symposium on Logic in ComputerScience (LICS) 2000.
  • ACM SIGSOFT Impact Paper Award 2012, for the paper Interface automata, written with Thomas A. Henzinger, and originally publised in the proceedings of ESEC/FSE 2001.
  • Best paper candidate, AAAI Conference on Human Computation and Crowdsourcing (HCOMP), 2016.
  • Best paper award, 12th International Conference on Concurrency Theory (CONCUR) 2001.
  • NSF Early Faculty Career Award, 2001
  • Samuel Thesis Award, Stanford University, 1998.
  • Nomination for ACM Doctoral Dissertation Award, Stanford University, 1998.
  • Graduation Cum Laude, Politecnico di Torino, Italy, 1990.