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