Skip to content
Snippets Groups Projects
Normal view Permalink
index.md 1.14 KiB
Newer Older
  • Learn to ignore specific revisions
    • Thomas Wood's avatar
    Initial Jekyll site version
    Thomas Wood committed
    1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 
    ---
title: Home
---
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.

People
======
The Reliable Web group is comprised of the following people:

* [Philippa Gardner](http://www.doc.ic.ac.uk/~pg)
* [Sergio Maffeis](http://www.doc.ic.ac.uk/~maffeis)
* [Gareth Smith](http://www.doc.ic.ac.uk/~gds)
* [Mark Wheelhouse](http://www.doc.ic.ac.uk/~mjw03)
* [Adam Wright](http://www.doc.ic.ac.uk/~adw07)