Language Specifiaction and Program Verification

Andrea joined the group as a Research Associate in 2016. He left Imperial College in 2019, to move to industry. He is still an active researcher, continuing his work on the mathematical foundations of geo-replicated and distributed systems, with a particular emphasis to databases, and its applications for overcoming practical challenges in such systems. His latest publication is Data Consistency in Transactional Storage Systems: A Centralised Semantics at ECOOP 2020

Group Publications

1. Data Consistency in Transactional Storage Systems: a Centralised Approach

   • Shale Xiong
   • Andrea Cerone
   • Azalea Raad
   • Philippa Gardner

   ECOOP 2020

2. Algebraic Laws for Weak Consistency

   • Andrea Cerone
   • Alexey Gotsman
   • Hongseok Yang

   Concurrency Theory (CONCUR) 2017