We use cookies on this site. By browsing our site you agree to our use of cookies. Close this message Find out more

Home > Computer Science home > News > Dr Matthew Hague Is awarded an EPSRC Fellowship
More in this section News articles

Dr Matthew Hague Is awarded an EPSRC Fellowship

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.


Comment on this page

Did you find the information you were looking for? Is there a broken link or content that needs updating? Let us know so we can improve the page.

Note: If you need further information or have a question that cannot be satisfied by this page, please call our switchboard on +44 (0)1784 434455.

This window will close when you submit your comment.

Add Your Feedback