Tel.: (+44) 1792 513380
Interests: Logic, proof theory and applications, domain theory, theorem provers, formal methods in computer science, in particular program synthesis, formal specification and verification.
A parser generater extracted from proofs contained in the draft paper Extracting Parsers from Interpreted Context-Free Grammars
I am a member of the British Logic Colloquium.
Regarding the question whether formal methods in computer science make sense, read E. W. Dijkstra's note EWD1054.
Recent papers and drafts (Haskell programs discussed in the draft paper From coinductive proofs to exact real arithmetic )
Some slides of recent talks
Research project Domain-theoretic methods for program synthesis funded by EPSRC.
Functional Programming 1
Logic for Computer Science
Modelling and Verification Techniques
Guidelines for the use of LaTeX for writing scientific documents
I am Head of Computer Science Postgraduate Research. Information about Postgraduate Research can be found here.