Verified Software

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

   Proceedings of the 34^th European Conference on Object-Oriented Programming (ECOOP 2020)

2. Algebraic Laws for Weak Consistency

   • Andrea Cerone
   • Alexey Gotsman
   • Hongseok Yang

   Proceedings of 28^th International Conference on Concurrency Theory, (Concur 2017)