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

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

  2. Algebraic Laws for Weak Consistency

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