diff --git a/_config.yml b/_config.yml index 67b69d32d41f82a500d2afbf00767bc25b2699e3..fb2e52cebaaadb21dfafcdee04f8861f625ba313 100644 --- a/_config.yml +++ b/_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 diff --git a/_people/gardner.md b/_people/gardner.md new file mode 100644 index 0000000000000000000000000000000000000000..afa8fbd1a83d578aa29ce0c32abb57545980a131 --- /dev/null +++ b/_people/gardner.md @@ -0,0 +1,22 @@ +--- +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. diff --git a/_people/ntzik.md b/_people/ntzik.md new file mode 100644 index 0000000000000000000000000000000000000000..0d1d37fd5227f4e23c25d77fdf4824d478677106 --- /dev/null +++ b/_people/ntzik.md @@ -0,0 +1,11 @@ +--- +title: Gian Ntzik +firstname: Gian +lastname: Ntzik +image: /images/gian.jpg +position: PhD Student +webpage: +email: gian.ntzik08@imperial.ac.uk +github: anirothan +--- + diff --git a/_people/raad.md b/_people/raad.md new file mode 100644 index 0000000000000000000000000000000000000000..4de316d5c0a18e355de1688797035a6d78ea10ec --- /dev/null +++ b/_people/raad.md @@ -0,0 +1,10 @@ +--- +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 +--- + diff --git a/_people/rochapinto.md b/_people/rochapinto.md new file mode 100644 index 0000000000000000000000000000000000000000..c1f52eb0a4780192fef3a94c7fde05d09c0c4479 --- /dev/null +++ b/_people/rochapinto.md @@ -0,0 +1,10 @@ +--- +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 +--- + diff --git a/_people/sutherland.md b/_people/sutherland.md new file mode 100644 index 0000000000000000000000000000000000000000..010b30a4bbd59eacf511ed69f17b8172400912a5 --- /dev/null +++ b/_people/sutherland.md @@ -0,0 +1,10 @@ +--- +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 +--- + diff --git a/_people/xiong.md b/_people/xiong.md new file mode 100644 index 0000000000000000000000000000000000000000..9882fd204fef7ac269eea113ddea88ff0261bff0 --- /dev/null +++ b/_people/xiong.md @@ -0,0 +1,10 @@ +--- +title: Shale Xiong +firstname: Shale +lastname: Xiong +image: /images/shale.jpg +position: PhD Student +webpage: +email: shale.xiong14@imperial.ac.uk +--- + diff --git a/blurbs.txt b/blurbs.txt new file mode 100644 index 0000000000000000000000000000000000000000..42c7421b1317a66ba4dbc1b3eb50a5d94d4edb6c --- /dev/null +++ b/blurbs.txt @@ -0,0 +1,6 @@ +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