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 joins us as a Lecturer
More in this section News articles

Dr Matthew Hague joins us as a Lecturer

Posted on 25/02/2013

Dr Matthew Hague

Dr. Matthew Hague began a lectureship at RHUL in February 2013.  He obtained a PhD in Computer Science in 2009 from Oxford University, where he was subsequently employed as a post-doctoral research assistant until 2011.  He was then employed as an Ingénieur de Recherche at Université de Paris-Est before arriving at RHUL.

Matthew studies both theoretical and practical aspects of software model-checking, with a particular focus on higher-order programs and concurrency.  With the ubiquity of multi-core machines and communicating mobile devices, software must make increasing use of concurrency.  This is a notoriously difficult programming environment in which both higher-order programming and verification have a crucial role to play. 

He regularly publishes his work on these topics in top-ranked conferences in the fields, and has developed the verification tools C-SHORe, ReCount and PDSolver.  He is also currently founding a new workshop HOPA to bring together researchers interested in different aspects of higher-order program analysis.


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