Berndt Farwer

seit Oktober 2010: University of Glamorgan, U.K.
PRIVATE HOMEPAGE

This page is no longer maintained. September 2006

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