Skip to content
Snippets Groups Projects
Normal view Permalink
index.md 693 B
Newer Older
  • Learn to ignore specific revisions
    • Thomas Wood's avatar
    Initial Jekyll site version
    Thomas Wood committed
    1 
    ---
    Thomas Wood's avatar
    Revert "Merge branch 'master' of...  
    Thomas Wood committed
    2 
    layout: home
    Thomas Wood's avatar
    Initial Jekyll site version
    Thomas Wood committed
    3 
    title: Home
    Thomas Wood's avatar
    Include pages in the menu only on request  
    Thomas Wood committed
    4 
    menu: true
    Thomas Wood's avatar
    Permit manual menu ordering  
    Thomas Wood committed
    5 
    menu_order: 1
    Thomas Wood's avatar
    Initial Jekyll site version
    Thomas Wood committed
    6 
    ---
    pmaksimo's avatar
    blurbs  
    pmaksimo committed
    7
    Teresa Carbajo-Garcia's avatar
    Reverse homepage buttons  
    Teresa Carbajo-Garcia committed
    8 
    This research group focuses on mechanised language specification and program verification.  We are exploring what it means to build, evaluate, and trust a fully mechanised language specification, using JavaScript as the real-world example language. We are developing library specifications which must be robust with respect to the environment: implementations should not leak; and specifications should be useful to the client. We are developing compositional program reasoning techniques that scale, leading to automatic tools for verifying properties of programs. Our current focus is on reasoning about JavaScript and Concurrency.