EPSRC logo
Researcher Details
Name: Dr M Hague
Organisation: Royal Holloway, Univ of London
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
EP/T00021X/1 String Constraint Solving with Real-World Regular Expressions(P)
Previous EPSRC Support
EP/K009907/1 Verification of Concurrent and Higher-Order Recursive Programs(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator