Dr. Ulrich Berger
Department of Computer Science
University of Wales Swansea
Singleton Park
Swansea SA2 8PP
UK
Tel.: (+44) 1792 513380
Fax: +44 1792 295708
E-mail: u.berger@swan.ac.uk
|
|
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.
Concerning 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.
For Computer Science Level 2 and Level 3 Students:
Computer Science 2008: student research conference,
University College London, 15-17 December.
Teaching
I am degree scheme coordinator of the
MRes in
Logic and Computation
and Head of Year Three for the Academic year 2008/2009.
The slides of my Induction Lecture can be found
here .
Functional Programming 1
Programming with Abstract Data Types
Functional Programming and Interactive Theorem Proving
More information for students