Berndt Farwer

This page is no longer maintained.

Room:

E-3.30 (Science Site, Durham University, UK)

Phone:

+44 191 334 2527

Telefax:

+44 191 334 1701

E-Mail:

farwer@informatik.uni-hamburg.de

Position:

former assistant professor

Current projects:

"Model Checking Agent Programming Languages"

Linear Logic Petri nets

Concurrent Automata Models

Logik und Petrinetze (German only)

Dynamische Petrinetzstrukturen (German only)

Model-Checking für Objekt-Petrinetze (German only)

Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze (German only)

Former projects:

Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)

Toward a unifying framework for concurrency

Membership (international):

EATCS (European Association for Theoretical Computer Science)

ASL (Association for Symbolic Logic)

Membership (University):

Prüfungsausschuß

Bibliotheksausschuß (stellv.)

Fachbereichstrat (stellv.)

Kommission für englischsprachige Lehrveranstaltungen

Bibliography

Meine Hotlinks

• Durham University, UK
• Electronics and Computer Science at Southampton, UK

[Staff] [TGI] [Informatics]