Arbeitsbereich
THEORETISCHE
GRUNDLAGEN DER
INFORMATIK
Prof. Dr. Rüdiger Valk
- Raum:
- C-219
- Telefon:
- 040 / 42883-2408
- Telefax:
- 040 / 42883-2246
- E-Mail:
- valk@informatik.uni-hamburg.de
- Sprechstunde:
- siehe Aktuelle Informationen zu
TGI
- Stellung:
- Professor
- Aktuelle Projekte:
-
Petrinetz-Werkzeuge als Grundlage der Modellbildung, -bewertung und -ausführung
-
Dynamische Objekte in Petrinetzen
-
Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze
-
Concurrency-Theorie
-
Geschäftsprozessmodellierung und -management
-
Petrinetze zur Modellierung in sozialen Kontexten
- Projekt SISOL
- DFG-Projekt Sozionik (DISPO)
- Frühere Projekte:
-
Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen
-
Selbstverständnis der Informatik
- DFG-Projekt Sozionik (ASKO)
- Mitgliedschaft (international):
- Sprecher des Leitungsgremiums der GI-Fachgruppe
0.0.1 'Petrinetze und verwandte Systemmodelle'
- Mitherausgeber dessen Fachorgans 'Petri Net Newsletter'
- Gutachter für:
- Acta
Informatica
- Mathematical
Reviews
- Mitgliedschaft (Universität):
- Mitglied des Fakultätsrates (Fakultät für Mathematik,
Informatik und Naturwissenschaften (MIN))
- Ständiger Habilitationsausschuß (Vorsitz)
-
Bibliographie
[MitarbeiterInnen]
[TGI]
[Informatik]
Letzte Änderung: 13:57 26.06.2008
Impressum
