About me

Senior Lecturer
Head of the Foundations of Software Systems (FoSS) research group
University profile


My research interests lie in the following areas:

I am happy to supervise any talented PhD student at the University of Sussex (Brighton is also an excellent place to live). We sometimes offer scholarships to exceptional students. Appropriate candidates are invited to contact me but need to officially apply here.

PC chair and organiser of the British Logic Colloquium 2017

Publications
Public research profiles: Sussex Repository, DBLP

Research Students

Projects

  • at Sussex (PI)
  • at LMU (member)
    • SENSORIA (EU IST project, Software Engineering for Service-Oented Overlay Computers), Associated member 2008.
    • HCM project MeDiCiS (Methodologies for the Development of Computer System Specifications)
    • DAAD-project Vigoni, with the University of Genoa (Italy) about Synthetic Domain Theory
    • DAAD-project Vigoni, with the University of Rome (Italy) about Denotational Semantics of Object-Oriented Languages
  • Events organised
    • Domains IX Int. Conference, 22-24 September 2008, Sussex University
    • Spring School Categorical Methods in Logic and Comp.Sci., Munich '99
    • Types Working Group Meeting 1998, Kloster Irsee
    • Workshop Domains III-97, LMU Munich
    • Type-Club with Thorsten Altenkirch in Munich

Teaching

Roles

Contact

Location: CHICHESTER 2 2R307
Email: bernhard@sussex.ac.uk
University Profile: http://www.sussex.ac.uk/profiles/115097
Telephone numbers
Internal: 7477
UK: 01273 877477
International: +44 1273 877477