From 9b0ef79b49fcb033129d914d1cdc4655d013b086 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 4 Oct 2017 10:41:27 +0100 Subject: [PATCH] Update 2016-09-01-newmember.md --- _posts/2016-09-01-newmember.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/_posts/2016-09-01-newmember.md b/_posts/2016-09-01-newmember.md index a5d8d51..ade1947 100644 --- a/_posts/2016-09-01-newmember.md +++ b/_posts/2016-09-01-newmember.md @@ -1,9 +1,11 @@ --- title: Welcome to Andrea Cerone, new member of the group --- -We are very happy to welcome Andrea Cerone to the group. Andrea 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. +We are very happy to welcome Andrea Cerone to the group. Andrea 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 currently working on frameworks for specifying weak consistency models of geo-replicated databases and applications of transaction chopping for various consistency models. Andrea did his Ph.D at Trinity College Dublin with Prof Matthew Hennessy, so he claims to be quite unfazed by the UK weather. +Andrea is currently working on frameworks for specifying weak consistency models of geo-replicated databases and applications of transaction +chopping for various consistency models. Andrea did his Ph.D 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 on [his webpage](https://www.doc.ic.ac.uk/~acerone/). -- GitLab