Germany · Petri Nets · Reviewed 2026-10-15

Dr. Jörg Desel

Dr. Desel is a leading German computer scientist specializing in Petri net theory, process mining, and formal verification of concurrent and asynchronous distributed software systems.

Official faculty profile ↗Research checked, not sponsored

Documented research interests and leadership

Research areas: Petri Nets, Business Process Modeling, Formal Verification, Concurrency Theory
Academic position: Professor of Applied Computer Science & Formal Methods
Primary university source: Official directory entry ↗
Recruitment status: Not verified. Leadership profile does not imply active vacancies or assistantship availability.

Supervision and contact

Students interested in graduate or doctoral research supervision in Petri Nets, Business Process Modeling, Formal Verification are advised to consult formal department application channels.

FernUni Hagen guide ↗Computer-science subject guide ↗Mentorship ↗

Important verification note

Facts reflect official university directory records reviewed 2026-10-15. Faculty recruitment and admissions require formal application.

Reviewed 2026-10-15 · Editorial standards · Report an issue