Berndt Farwer

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

Diese Seite wird nicht mehr gepflegt. September 2006

Stellung:

ehemaliger Wissenschaftlicher Assistent

Aktuelle Projekte:

"Model Checking Agent Programming Languages"

Linear-Logische Petrinetze (nur auf englisch)

Nebenläufige Automatenmodelle

Logik und Petrinetze

Dynamische Petrinetzstrukturen

Model-Checking für Objekt-Petrinetze

Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze

Frühere Projekte:

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

Kategorientheoretische Darstellung nebenläufiger Systeme

Mitgliedschaft (international):

EATCS (European Association for Theoretical Computer Science)

ASL (Association for Symbolic Logic)

Mitgliedschaft (Universität):

Prüfungsausschuß

Bibliotheksausschuß (stellv.)

Fachbereichstrat (stellv.)

Kommission für englischsprachige Lehrveranstaltungen

Bibliographie

Meine Hotlinks

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