---
title: Fabrizio Maria Maggi
type: entity
tags: [researcher, ppm, bpm, declarative, hub]
affiliation: Free University of Bozen-Bolzano (formerly University of Tartu)
sources: ["[[sources/2015-leontjeva-complex-symbolic-encodings]]", "[[sources/2016-teinemaa-structured-unstructured-ppm]]", "[[sources/2016-verenich-general-framework-ppm]]", "[[sources/2017-difrancescomarino-a-priori-ppm]]", "[[sources/2017-senderovich-intra-inter-case]]", "[[sources/2018-difrancescomarino-genetic-hpo-ppm]]", "[[sources/2018-verenich-apromore-ppm]]", "[[sources/2019-verenich-survey-ppm]]", "[[sources/difrancescomarino-clustering-based-ppm]]"]
created: 2026-04-13
updated: 2026-04-13
---

# Fabrizio Maria Maggi

Professor, currently at Bozen-Bolzano (formerly Tartu). Major contributor to **declarative process specification** ([[frameworks/declare|DECLARE]], Declare Miner, MP-Declare) and to the PPM literature — frequent co-author with Di Francescomarino, Dumas, Verenich. Hub node across both the declarative-BPM and PPM corpora.

## Declarative BPM
Extends the original [[sources/2008-pesic-declare-manual|DECLARE (2008)]] line with automated discovery of declarative models from logs and with data-aware constraints. See [[concepts/declarative-process-modelling]].