Matthew Hague
professor
computer science
Engineering and Physical Sciences Research Council
United Kingdom
Biography
I completed my DPhil studying formal software verification and was a student a St. John's College, Oxford, where I was subsequently employed as a research assistant until 2011. Then I moved to Paris and was employed at IGM, Université Paris-Est. In 2013, I arrived at Royal Holloway as a lecturer in computer science, and obtained an EPSRC Early Career Fellowship.
Research Interest
Computer Science
Publications
-
Generating Concurrency Checks Automatically Hague, M. & Hoyland, J. 17 Jul 2016 Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs . ACM, p. 1-15 4
-
Unboundedness and Downward Closures of Higher-Order Pushdown Automata Hague, M., Ong, C-H. L. & Kochems, J. 22 Jan 2016 POPL: Principles of Programming Languages. New York, NY: ACM, p. 151-163 Conference contribution
-
Decidable models of integer-manipulating programs with recursive parallelism Hague, M. & Lin, A. 13 Sep 2016 Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Springer International Publishing, Vol. 9899, p. 148-162 (Lecture Notes in Computer Science; vol. 9899)
