U Berger (PhD Munich, Reader)

Dr. Ulrich Berger Department of Computer Science Swansea University Singleton Park Swansea SA2 8PP UK Tel.: (+44) 1792 513380 Fax: +44 1792 295708 E-mail: u dot berger at swansea dot ac dot uk

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 PC chair of MFPS XVIII, 6-9 June 2012, Bath. A preliminary programme can be found here.

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
I am Head of Computer Science Postgraduate Research. Information about Postgraduate Research can be found here.
Currently, I'm also Head of Year One. Here are the slides of the Year One Induction Lecture
Here is the allocation of Level 1 Tutorial Groups: ordered by students, ordered by tutors.

[Some links]