@@ -9,12 +9,3 @@ Yet these applications are built on a melange of technologies that have evolved
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: