Group
THEORETICAL
FOUNDATIONS OF
COMPUTER
SCIENCE
Prof. Dr. Rüdiger Valk
-
Room:
- C-219
-
Phone:
- 040 / 42883-2408
-
Telefax:
- 040 / 42883-2246
- E-Mail:
- valk@informatik.uni-hamburg.de
-
Consulting time:
- see Aktuelle Informationen zu
TGI
-
Position:
- professor
-
Current projects:
-
Petri net tools as basis for model creation, evaluation and execution
-
Dynamical Objects in Petri Nets
-
Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze
(German only)
-
Concurrency Theory
-
Geschäftsprozessmodellierung und -management
(German only)
-
Petrinetze zur Modellierung in sozialen Kontexten
(German only)
- Projekt SISOL (German only)
- DFG-Projekt Sozionik (DISPO) (German only)
-
Former projects:
-
Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen
(German only)
-
Selbstverständnis der Informatik
(German only)
-
DFG-Project Sozionics (ASKO)
-
Membership (international):
-
Chairman of the Board of the GI Special Interest Group
0.0.1 'Petrinetze und verwandte Systemmodelle'
-
Co-Editor of the 'Petri Net Newsletter'
-
Referee for:
- Acta
Informatica
- Mathematical
Reviews
-
Membership (University):
-
Member of the faculty council (Faculty Council of Mathematics,
Informatics and Natural Sciences (MIN))
-
Standing committee of postdoctoral lecture qualification (Chair)
-
Bibliography
[Staff]
[TGI]
[Informatics]
Last Change: 13:57 06/26/2008
Imprint/Disclaimer
