Iniciativa IMDEA

Inicio > Personal

Andrea Cerone

PhD - Trinity College, Dublin, Ireland

La información de esta página podría estar desactualizada debido a que Andrea Cerone no es ya miembro del Instituto.

Antiguo Post-doctoral Researcher

Andrea Cerone
Página web: http://software.imdea.org/~andrea.cerone/

Intereses de Investigación

Andrea's research interests span in the area of concurrency theory, and include the following: process algebra and behavioural theories, with a particular emphasis to distributed systems and probabilistic models of computation; verification techniques for higher order, concurrent programs; mathematical foundations of distributed systems, with a particular emphasis to geo-distributed databases.