Contact Information
dealfaro@soe.ucsc.edu
Luca de Alfaro
University of California, Santa Cruz
- Associate Professor of Computer Engineering
- Contact Information
- Curriculum Vitae [PDF]
Expertise
- Game theory
- Formal methods for system design
- Embedded and real-time software