Corrections

_config.yml

@@ -3,7 +3,7 @@ subtitle: Program Specification and Verification Group</br><a href="http://www.d
 copyright: Imperial College London
 
 baseurl: ""
-url: "http://www-psvg-concurrency.doc.ic.ac.uk"
+url: "http://http://www-rw.doc.ic.ac.uk/"
 
 markdown: kramdown
 

_people/gardner.md

+---
+title: Philippa Gardner
+firstname: Philippa
+lastname: Gardner
+image: /images/gardner.jpg
+position: Professor, Group Leader
+webpage: http://www.doc.ic.ac.uk/~pg/
+email: pg@doc.ic.ac.uk
+---
+Philippa Gardner is a professor in the [Department of Computing](http://www.doc.ic.ac.uk) at
+Imperial. Her current research focusses on program verification: in
+particular, reasoning about web programs (JavaScript and DOM) and
+reasoning about concurrent programs.
+
+She completed her PhD thesis, supervised by Professor Gordon Plotkin
+FRS at Edinburgh in 1992.  She moved to Cambridge in 1998 on an EPSRC
+Advanced Fellowship, hosted by Professor Robin Milner FRS. She
+obtained a lectureship at Imperial in 2001, and became professor in
+2009. She held a Microsoft Research Cambridge/Royal Academy of
+Engineering Senior Fellowship from 2005 to 2010 at Imperial. She is the
+ Director of the [Research Institute in Automated Program Analysis and Verification](http://www.verificationinstitute.org),
+funded by GCHQ in association  with EPSRC.

_people/ntzik.md

+---
+title: Gian Ntzik
+firstname: Gian
+lastname: Ntzik
+image: /images/gian.jpg
+position: PhD Student
+webpage:
+email: gian.ntzik08@imperial.ac.uk
+github: anirothan
+---
+

_people/raad.md

+---
+title: Azalea Raad
+firstname: Azalea
+lastname: Raad
+image: /images/azalea.jpg
+position: PhD Student
+webpage: http://www.doc.ic.ac.uk/~azalea/
+email: azalea@imperial.ac.uk
+---
+

_people/rochapinto.md

+---
+title: Pedro da Rocha Pinto
+firstname: Pedro
+lastname: da Rocha Pinto
+image: /images/pedro.jpg
+position: PhD Student
+webpage: http://www.doc.ic.ac.uk/~pmd09/
+email: pmd09@doc.ic.ac.uk
+---
+

_people/sutherland.md

+---
+title: Julian Sutherland
+firstname: Julian
+lastname: Sutherland
+image: /images/julian.jpg
+position: PhD Student
+webpage: http://www.doc.ic.ac.uk/~jhs110/
+email: jhs110@doc.ic.ac.uk
+---
+

_people/xiong.md

+---
+title: Shale Xiong
+firstname: Shale
+lastname: Xiong
+image: /images/shale.jpg
+position: PhD Student
+webpage: 
+email: shale.xiong14@imperial.ac.uk
+---
+

blurbs.txt

+The world-wide web is a nearly-ubiquitous and continuously-growing application platform.
+As users increasingly come to depend on web applications, it is more important than ever to be able to make guarantees about these programs.
+Yet these applications are built on a melange of technologies that have evolved in response to the demands of developers and users, which present a daunting task for formal analysis.
+
+The purpose of the Reliable Web group is to develop formal techniques for making guarantees about web applications.
+Particular successes include formalising the semantics of JavaScript, the dynamic language that underpins client-side web applications, and developing local reasoning about the W3C Document Object Model, the data model that web applications use to represent and manipulate web documents.
\ No newline at end of file