Posted on 04/05/2013
Dr Matthew Hague
Matthew Hague, lecturer in Computer Science, has been awarded a prestigious 5-year EPSRC Fellowship on Verification of Concurrent and Higher-Order Recursive Programs, starting May 1st, 2013.
During his fellowship, Matthew will construct a state-of-the-art verification framework, unifying several prototypical tools and requiring novel model-checking techniques, and permitting new ideas to be experimented with quickly. The framework will be tested on real-world software to ensure its usability and reliability. It will accurately model difficult programming paradigms, such as modern concurrent behaviours and "higher-order" constructs (increasingly embraced by state-of-the-art programming languages).
The research will bring together researchers at Oxford University, Université Paris-Est, and Université Paris-Diderot as well as the CARP project, based across several universities and companies world-wide, and researchers at Microsoft Research, Cambridge.