Luca de Alfaro is a professor in the Computer Science and Engineering department at UCSC, where he have been a faculty member since 2001.

Research interests. Current research interests include ML/AI, computational ecology, and networks.

• In ML/AI, he is interested in particular in a subgroup-based view, in model performance, model improvement, data drift, fairness, are explored at the subgroup level.
• In computational ecology, he is working in collaboration with ecologists at UCSC on algorithms and models for understanding animal habitats (birds, pumas in particular) and their connectivity, to enhance conservation efforts.
• In networks, he is interested in ML/RL methods to optimize network performance.

His past resarch has focused on formal methods, software engineering, game theory, and reputation systems. For more information, see the Research page.

Honors. Luca de Alfaro is a Foreign Member of the Turin Academy of Sciences, and is a Fellow of the Association for Computing Machinery. He has received four test-of-time awards for his contributions to formal methods, software engineering, and game theory. Biography.

Background. Luca de Alfaro graduated from Politecnico di Torino, Italy, and then earned a Ph.D. in Computer Science from Stanford University, where he was a student of Zohar Manna. For three years he was a postdoc at UC Berkeley, working with Tom Henzinger; after that, he joined the faculty at UCSC.