Merge branch 'master' of gitlab.doc.ic.ac.uk:resource-reasoning/psvg.doc.ic.ac.uk

_posts/2016-09-01-newmember.mb

+---
+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/)
+
+

_posts/2016-10-03-papers.md

+---
+title: Papers publised by Azalea Raad
+---
+Azalea Raad has had two papers published in Programming Languages and System: Proceedings of the 14th Asian Symposium, APLAS 2016: [Verifying Concurrent Graph Algorithms](http://psvg.doc.ic.ac.uk/publications/Raad2016Verifying.html)(with Aquinas Hobor, Jules Villard and Philippa Gardner) and [DOM: Specification and Client Reasoning](http://psvg.doc.ic.ac.uk/publications/Raad2016DOM.html) (with José Fragoso Santos and Philippa Gardner)
+These and other group papers can be found on our [publications page](http://psvg.doc.ic.ac.uk/publications/)