From dcdc06b2927e5045508db9ec6339da67307f2a3c Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 22 Nov 2016 16:12:27 +0000
Subject: [PATCH] Add new file

---
 _posts/2016-09-01-newmember.mb | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 _posts/2016-09-01-newmember.mb

diff --git a/_posts/2016-09-01-newmember.mb b/_posts/2016-09-01-newmember.mb
new file mode 100644
index 0000000..ebe7c13
--- /dev/null
+++ b/_posts/2016-09-01-newmember.mb
@@ -0,0 +1,8 @@
+---
+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 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/)
+
+
-- 
GitLab