Heerko Groefsema

Heerko Groefsema is an Assistant Professor at the Department of Distributed Systems, Bernoulli Institute, University of Groningen. He holds a PhD in Computer Science (2016) and has academic degrees from the same university and Hanzehogeschool Groningen. His research focuses on regulatory compliance verification, business process variability, and formal methods for business process models. He collaborates with CSIRO Data61 as a visiting researcher and serves as Interim Chair of the Board of Admissions for the MSc Computing Science program.

Research interests include: business process compliance, formal verification techniques, process variability, service composition, and declarative specifications. His work addresses challenges in automated compliance checking, process model analysis, and variability management across industries.

Recent articles emphasize online compliance monitoring for event streams, declarative process families, and cross-instance compliance evaluation. He has contributed to software tools like ProVariant and BPM Verification.

He has supervised numerous master's and bachelor's projects, focusing on process modeling tools and compliance verification. His work has been published in top venues including CAiSE, TSE, and IEEE Transactions on Services Computing.