Marco Montali

Papers

Total Citations

H-Index

About

Marco Montali is a leading figure in the fields of process mining, formal methods in information systems, and declarative process modeling. His foundational work on the ConDec language revolutionized how flexible business processes are specified and enacted, moving beyond rigid, imperative models to constraint-based representations. Montali’s research has profoundly shaped the understanding of temporal logics for finite and infinite traces, directly impacting areas like robotic planning and runtime verification. With over 10,000 citations, his contributions are widely recognized, particularly for bridging the gap between theoretical computer science and practical business process management. He is also a key developer of the MINERful process mining algorithm and has made significant advances in the verification of data-aware processes. Montali’s recent work on cataloging misconceptions in linear temporal logic provides essential guidance for practitioners and educators, ensuring that complex specifications are correctly understood and applied.