I am the project leader of
My
research interests include:
-
Workflow
management systems,
- Process
modelling and verification,
-
Verification
of
open reactive systems,
-
Verification
of
timed systems,
-
Data
abstractions,
-
Petri
nets,
-
Conformance testing.
Back to the home page