Bernhard Reus

Die gleiche Information in Deutsch.

Former Research Assistant

Former Department:

Chair of Programming and Software Engineering
Dept. of Computer Science
Ludwig-Maximilians-Universität Munich

Former Office:

Oettingenstraße 67
Room E05

Still my Research area:

Semantics of programming languages, especially Java; formal verification of functional programs in type theory; Synthetic Domain Theory; Logics

Unfortunately I left Munich (look at the fotos). Fachstudienberatung is now due to Dr. Rolf Hennicker. My new address is

New Address:

Department of Informatics

School of Science and Technology
University of Sussex
Falmer, Brighton, BN1 9QH
UK

Email: bernhard@sussex.ac.uk

Please consult my new webpages
URL: http://www.cogs.susx.ac.uk/users/bernhard