Dr. Ulrich Berger
Tel.: (+44) 1792 513380 |
Research
Interests: Logic, proof theory and applications,
domain theory, theorem provers, formal methods in computer science,
in particular program synthesis,
formal specification and verification.
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.
Publications
Reviews
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.
Teaching
Functional Programming 1
Logic for Computer Science
Modelling and Verification Techniques
Guidelines for the use of LaTeX for writing scientific
documents
Logic Programming
-->
Logic Programming
-->
Computability Theory
-->
Programming with Abstract Data Types
-->
Functional Programming and
Interactive Theorem Proving -->
I am Head of Computer Science Postgraduate Research.
Information about Postgraduate Research can be found
here.
Information for Undergraduate Students
-->
Currently, I'm also Head of Year One. Here are the slides of
the Year One Induction Lecture
ordered by students,
ordered by tutors.
-->
[Some links]