Professor of Computer Science and Engineering Luca de Alfaro has been selected a 2024 fellow of the Association for Computing Machinery (ACM), one of the most prestigious recognitions in the computing field.
De Alfaro was recognized for “contributions to formal methods, concurrent games, and reputation systems.”
“As a very long time ACM member, I am honored by this recognition,” de Alfaro said. “It has been exciting to watch the field of computing evolve throughout my career, and a thrill and an honor to be able to give contributions in different phases of this evolution.”
De Alfaro’s current research focuses on explainable and fair artificial intelligence (AI), as well as computational ecology. In his work on explainable and fair AI, he is developing theory and tools that enable people, from data scientists to non-specialists, to analyze datasets and machine-learning models, and identify anomalous behavior that has potential fairness implications.
In his computational ecology research, he is working on a project to use machine learning techniques to create continent-wide maps of bird habitat connectivity for conservation purposes, in collaboration with Assistant Professor of Environmental Studies Natalia Ocampo-Peñuela.
Throughout his career, he has explored the foundations of formal verification, contributing to the connection between game theory, logic, automata theory, and system modeling and verification. He has won numerous “test of time” awards for foundational research in his field.
De Alfaro is the only scholar from the UC system selected as a 2024 ACM Fellow. At the UCSC Baskin School of Engineering, he joins a distinguished set of nine active and emeriti faculty who have been awarded this recognition.
ACM will formally recognize the 2024 Fellows at its annual Awards Banquet on June 14, 2025, in San Francisco, California. Additional information about the 2024 ACM Fellows, as well as previously named ACM Fellows, is available through the ACM Fellows website.
Luca de Alfaro selected as 2024 ACM fellow
