Marco Roveri
Marco Roveri
Associate Professor, University of Trento
- Joined July 2019
Names
Emails
****@unitn.it (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
Associate Professor
University of Trento (unitn.it)
2019 – Present
Researcher
Fondazione Bruno Kessler (fbk.eu)
2001 – 2019
Advisors, Relations & Conflicts
Expertise
Planning and Scheduling for Robotics
2010 – Present
Satisfiability Modulo Theory
2002 – Present
Model Checking
1998 – Present
Formal Methods
1998 – Present
Planning and Scheduling
1998 – Present
Formal Requirements Engineering
1998 – Present