Arbeitsbereich
THEORETISCHE GRUNDLAGEN DER INFORMATIK

Berndt Farwer

seit September 2006 in Durham, U.K.: NEUE HOMEPAGE

: Diese Seite wird nicht mehr gepflegt.
Raum:: E-3.30 (Science Site, Durham University, UK)
Telefon:: +44 191 334 2527
Telefax:: +44 191 334 1701
E-Mail:: farwer@informatik.uni-hamburg.de
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

Letzte Änderung: 15:01 20.06.2008