From 51f8b239954d43f16c97f15015f5e998257b488d Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Tue, 22 Nov 2016 16:52:16 +0000 Subject: [PATCH] Update 2016-09-01-newmember.md --- _posts/2016-09-01-newmember.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/_posts/2016-09-01-newmember.md b/_posts/2016-09-01-newmember.md index 395baf4..09a7837 100644 --- a/_posts/2016-09-01-newmember.md +++ b/_posts/2016-09-01-newmember.md @@ -1,8 +1,8 @@ --- title: Welcome to Andrea Cerone, new member of the group --- -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/) +We are very happy to welcome Andrea Cerone to the group.Andrea Cerone has joined us 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. Before then he was Post-doctoral Researcher at Trinity College Dublin with Prof Matthew Hennessy, so he claims to be quite unfazed by the UK weather. +You can find more about Andrea’s research on [his webpage](https://www.doc.ic.ac.uk/~acerone/) -- GitLab