Bernhard Reus

The same information in English.

Ehemaliger Wissenschaftlicher Assistent

Institut:

LFE Programmierung und Softwaretechnik
Institut für Informatik
Ludwig-Maximilians-Universität München

Ehemaliges Büro:

Oettingenstraße 67
Raum E05

Forschungsgebiete:

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

Leider habe ich München verlassen (siehe Fotos). Fachstudienberatung macht neben Prof. Kröger nun Herr Dr. Rolf Hennicker.

Meine neue Anschrift lautet:

Neue Adresse

Department of Informatics

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

Email: bernhard@sussex.ac.uk

Alles weitere auf meiner neuen Website:
URL: http://www.cogs.susx.ac.uk/users/bernhard