IMDEA Software

IMDEA initiative

Home > People

Andrea Cerone

PhD - Trinity College, Dublin, Ireland

The information in this page may be outdated, as Andrea Cerone is no longer a member of the Institute.

Former Post-doctoral Researcher

Andrea Cerone
Home Page: https://software.imdea.org/~andrea.cerone/

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.