title:Welcome to Andrea Cerone, new member of the group
---
Andrea Cerone has joined the group from the IMDEA Software Institute, Madrid, Spain, where he worked with Dr. Alexey Gotsman on Verification of Higher Order Concurrent Libraries and Foundations of Consistency Models for Distributed Databases.
Andrea Cerone has joined the group from the [IMDEA Software Institute](http://software.imdea.org/about.html), Madrid, Spain, where he worked with Dr. Alexey Gotsman on Verification of Higher Order Concurrent Libraries and Foundations of Consistency Models for Distributed Databases.
Andrea is working on frameworks for specifying weak consistency models of geo-replicated databases and applications of transaction chopping for various consistency models, in particular snapshot isolation and parallel snapshot isolation.
You can find more on Andrea’s research on [his webpage](https://www.doc.ic.ac.uk/~acerone/)
