Matthew Hague
Has grant
Royal Holloway, University of London
Research Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
Recent Grants
Grant: Close
String Constraint Solving with Real-World Regular Expressions
Open Date: 2020-01-01
Close Date: 2022-12-31
Grant: Close
Verification of Concurrent and Higher-Order Recursive Programs
Open Date: 2013-04-30
Close Date: 2018-04-29
Articles (2)
Year:
2022
Year:
2021
Collaborators (3)
Andrzej Murawski
Professor
University of Oxford
UNITED KINGDOM
Anthony W. Lin
-
GERMANY
Taolue Chen
Lecturer
Birkbeck University of London
UNITED KINGDOM
Make your next move.
Prepare your application
Review drafts before you send them.