Marco Montali

Full Professor, Free University of Bozen
Joined
July 2019

Names

Marco Montali

Emails

****@inf.unibz.it (Confirmed)

Personal Links

Career & Education History

Full Professor
Free University of Bozen (unibz.it)
2021 – Present
Associate Professor
Free University of Bozen (unibz.it)
2017 – 2021
Assistant Professor
Free University of Bozen (unibz.it)
2011 – 2017
Postdoc
University of Bologna (unibo.it)
2009 – 2011
PhD student
University of Bologna (unibo.it)
2006 – 2009
MS student
University of Bologna (unibo.it)
2003 – 2005
Undergrad student
University of Bologna (unibo.it)
2000 – 2003

Advisors, Relations & Conflicts

Coworker
Diego Calvanese
2011 – Present
PhD Advisor
Paola Mello
2006 – 2009

Expertise

data-aware processes
, 
infinite-state systems
, 
formal verification
2011 – Present
logic programming
, 
event calculus
2006 – Present
artificial intelligence
, 
reasoning about actions
, 
knowledge representation and reasoning
, 
computational logic
2006 – Present
business process management
, 
process mining
, 
operational support
, 
process monitoring
2006 – Present
temporal logics over finite traces
, 
runtime verification
, 
declarative process mining
2006 – Present

Publications

Co-Authors