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.