Modele systemów współbieżnych, takie jak sieci Petriego, algebry procesów, struktury przyczyn i skutków.
Tematy badawcze to weryfikacja, modelowanie przepływu pracy, sprawdzanie równoważności systemów,
algebry procesów.
Teoria współbieżności (w szczególności algebry procesów), sieci Petriego, struktury przyczyn i skutków,
przesyłanie komunikatów, specyfikacja-konstrukcja-weryfikacja systemów współbieżnych