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
- Bibliotheksausschuß (stellv.)
- Bibliographie
