IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Andrea Cerone

Andrea Cerone

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

Andrea Cerone
PhD - Trinity College, Dublín, Irlanda
Antiguo Post-doctoral Researcher


Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Research Interests

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.