Luca de Alfaro

Luca de Alfaro is recognized as an ACM Fellow (2024) for pioneering contributions to formal methods, concurrent games, and reputation systems. These areas underpin critical advancements in computing science and technology.

Research Focus: His work in formal methods has advanced rigorous system verification, while his research on concurrent games intersects game theory and computer science. His reputation systems contributions have shaped trust mechanisms in digital environments.

Awards:

• ACM Fellow (2024) – Honored for transformative contributions to computing.