Luca de Alfaro works in the areas of reputation systems; collaboration on the web and beyond; e-commerce; embedded software design; formal methods for system design; discrete, real-time embedded, probabilistic systems; and game theory, concurrency theory and automata theory.
Campuses