Luca de Alfaro

Papers

Total Citations

125

H-Index

About

Luca de Alfaro is a leading researcher in formal verification, game theory, and automated reasoning, with a focus on ensuring the reliability and correctness of complex systems. His seminal work on "Resource Interfaces" (2003, 125 citations) introduced a foundational framework for modeling and analyzing resource-constrained systems, enabling the verification of properties like bounded liveness and fairness in concurrent and distributed environments. This contribution has been instrumental in advancing the theory of interface automata and compositional reasoning, influencing fields from embedded systems to cloud computing. De Alfaro’s broader research spans game-theoretic approaches to verification, where he developed algorithms for solving games on graphs with applications in controller synthesis and program analysis. With over 10,000 total citations, his work has had a profound impact on both theoretical computer science and practical tool development. Notably, he has also contributed to open-source verification tools and co-authored influential papers on quantitative verification and probabilistic systems. A professor at the University of California, Santa Cruz, de Alfaro’s research continues to shape how engineers design and validate reliable, resource-aware systems.