Document Actions
Centre for Metacomputation
Introduction
Metacomputation concerns the development of sophisticated computational tools for analysing the behaviour of programs. Such tools may operate at development time, for instance to catch bugs, or at run-time, for example to adapt the program to changing workloads
Techniques in metacomputation draw from a broad variety of different fields, such as: logic, automated theorem proving, compiler construction, program analysis and software engineering. The Centre for Metacomputation is a new research unit to unify work on automated verification, programming tools and foundations, capitalising on the synergies between these disciplines. It is led by Samson Abramsky, Tom Melham, Oege de Moor and Luke Ong.
Specifically, the Centre aims to explore the interconnections between research in the Theory and Automated Verification (incuding Foundations of Computation) and Program Development and Tools (in particular, Programming Tools) groups at Oxford.
The Centre for Metacomputation is part of Oxford University Computing Laboratory
News
- Seminar: Johan Åkesson (Department of Automatic Control, Lund University, Sweden). Dynamic Optimization, Modelica, and Compilers (Tuesday 20th May 2008, 11am in 051)
- Seminar: Wei-Ngan Chin (National University of Singapore). Wei-Ngan Chin, National University of Singapore (Thursday 15th May 2008, 2pm in 478)