Personal information

Websites & social links

Home Page
Linkedin

Other IDs

Scopus Author ID: 56880472700
ResearcherID: U-7164-2019

Keywords

Symbolic Model Checking, Planning in Non Deterministic Domains, Planning as Model Checking, Scheduling, Plan Languages, Formal Methods, Formal Requirements Analysis, Autonomy Architecture

Countries

Italy

Activities

Collapse all

Employment (4)

Università di Trento: Trento, TN, IT

2023-04-01 to present | Associate Professot (Department of Computer Science Engineering )
Employment
Source: Self-asserted source
Marco Roveri

University of Trento: Trento, IT

2020-04-01 to 2023-03-31 | Assistant Professor (Department of Information Engineering and Computer Science)
Employment
Source: Self-asserted source
Marco Roveri

Fondazione Bruno Kessler: Trento, Trentino-Alto Adige, IT

2009-03-01 to 2020-02-29 | Researcher (Embedded Systems)
Employment
Source: Self-asserted source
Marco Roveri

Istituto Trentino Cultura - Istituto Ricerca Scientifica e Tecnologica: Trento, Trentino Alto Adige, IT

2001-12-01 to 2009-02-28 (Automated Reasoning Systems)
Employment
Source: Self-asserted source
Marco Roveri

Education and qualifications (2)

Università degli Studi di Milano: Milano, Lombardia, IT

1998-11-01 to 2002-01-13 | PhD (Computer Science)
Education
Source: Self-asserted source
Marco Roveri

Università degli Studi di Genova: Genova, Liguria, IT

1991 to 1997 | Laurea (DIST)
Education
Source: Self-asserted source
Marco Roveri

Peer review (1 review for 1 publication/grant)

Review activity for Journal of automated reasoning. (1)
How many people are using ORCID?