Professor Matthew Hague

  1. String Constraint Solving with Real-World Regular Expressions

    Hague, M.

    Eng & Phys Sci Res Council EPSRC: £393,618

    1/07/1930/06/22

    Project: Research

  2. Verification of Concurrent and Higher-Order Recursive Programs

    Hague, M.

    Eng & Phys Sci Res Council EPSRC: £469,677

    1/05/1330/04/18

    Project: Research