Photo of Bernhard Reus

Bernhard Reus
Senior Lecturer in Computer Science & Artificial Intelligence (Informatics)
E:
T: +44 (0)1273 877477


Research

Semantics of programming languages with a particular focus on Domain Theory and Type Theory; programming logics; specification and verification of object-oriented programs.

Applied: verification of network controllers; tools for supporting immunologists with data processing and visualisation.