Roberto Posenato-Dep.Computer Science-University of Verona

Roberto Posenato

  1. Home
  2. Department
  3. People
  4. Roberto Posenato
ritratto2025, October 1, 2025
Position
Associate Professor
Academic sector
IINF-05/A - Information Processing Systems
Research sector (ERC-2024)
PE6_6 - Algorithms and complexity, distributed, parallel and network algorithms, algorithmic game theory

PE6_7 - Artificial intelligence, intelligent systems, natural language processing

Research sector (ERC)
PE6_6 - Algorithms, distributed, parallel and network algorithms, algorithmic game theory

PE6_7 - Artificial intelligence, intelligent systems, multi agent systems

PE6_10 - Web and information systems, database systems, information retrieval and digital libraries, data fusion

Office
Ca' Vignal 2,  Floor 1,  Room 1.84
E-mail
roberto|posenato*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

Please email me to arrange an appointment time.

Curriculum

My main research interest relates to temporal reasoning based on temporal constraint networks. In particular, I am interested in studying and evaluating algorithms for determining temporal properties in such models.
My publications are published in international journals related to artificial intelligence.

Modules

Modules running in the period selected: 62.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Bioinformatics Algorithms (2025/2026)   12    6  ALGORITMI PER BIOINFORMATICA
1  LABORATORIO DI PROGRAMMAZIONE II (Teoria)
Master's degree in Artificial intelligence Temporal Reasoning (2025/2026)   6  eLearning 3 
Bachelor's degree in Bioinformatics Algorithms (2024/2025)   12  eLearning 6  ALGORITMI PER BIOINFORMATICA
2  LABORATORIO DI PROGRAMMAZIONE II (Teoria)
4  LABORATORIO DI PROGRAMMAZIONE II (Laboratorio)
Master's degree in Computer Science and Engineering Web Applications (2024/2025)   6  eLearning 6 
Bachelor's degree in Bioinformatics Algorithms (2023/2024)   12  eLearning 6  ALGORITMI PER BIOINFORMATICA
2  LABORATORIO DI PROGRAMMAZIONE II (Teoria)
4  LABORATORIO DI PROGRAMMAZIONE II (Laboratorio)
Master's degree in Computer Science and Engineering Web Applications (2023/2024)   6  eLearning 6 
Bachelor's degree in Bioinformatics Algorithms (2022/2023)   12  eLearning 6  ALGORITMI PER BIOINFORMATICA
2  LABORATORIO DI PROGRAMMAZIONE II (Teoria)
4  LABORATORIO DI PROGRAMMAZIONE II (Laboratorio)
Master's degree in Computer Science and Engineering Web Applications (2022/2023)   6  eLearning 6 
Bachelor's degree in Bioinformatics Algorithms (2021/2022)   12  eLearning 6  ALGORITMI PER BIOINFORMATICA
2  LABORATORIO DI PROGRAMMAZIONE II (Teoria)
4  LABORATORIO DI PROGRAMMAZIONE II (Laboratorio)
Master's degree in Computer Science and Engineering Web Applications (2021/2022)   6  eLearning 6 
Bachelor's degree in Bioinformatics Algorithms (2020/2021)   12  eLearning 6  ALGORITMI PER BIOINFORMATICA
2  LABORATORIO DI PROGRAMMAZIONE II (Teoria)
4  LABORATORIO DI PROGRAMMAZIONE II (Laboratorio)
Master's degree in Computer Science and Engineering Web Applications (2020/2021)   6  eLearning 6 
Bachelor's degree in Computer Science Databases (2019/2020)   12  eLearning 3  (Laboratorio)
Bachelor's degree in Bioinformatics Databases and WEB (2019/2020)   6  eLearning 3  (Laboratorio)
3  (Teoria)
Bachelor's degree in Computer Science Databases (2018/2019)   12  eLearning 3  (Laboratorio)
Bachelor's degree in Bioinformatics Databases and WEB (2018/2019)   6  eLearning 3  (Laboratorio)
Bachelor's degree in Computer Science Programming II and Software Engineering (2018/2019)   12  eLearning 1  INGEGNERIA DEL SOFTWARE (Laboratorio)
Bachelor's degree in Computer Science Databases (2017/2018)   12  eLearning 3  (Laboratorio)
Bachelor's degree in Bioinformatics Databases and WEB (2017/2018)   6  eLearning 3  (Laboratorio)
Bachelor's degree in Computer Science Programming II and Software Engineering (2017/2018)   12  eLearning 1  INGEGNERIA DEL SOFTWARE (Laboratorio)
Bachelor's degree in Computer Science Databases (2016/2017)   12  eLearning 3  (Laboratorio)
Bachelor's degree in Computer Science Programming II and Software Engineering (2016/2017)   12  eLearning 1  INGEGNERIA DEL SOFTWARE (Laboratorio)
Bachelor's degree in Computer Science Software Engineering (2016/2017)   6  eLearning 1  (Laboratorio)
Bachelor's degree in Computer Science Databases (2015/2016)   12    3  (Laboratorio)
Bachelor's degree in Bioinformatics Database systems for bioinformatics (2015/2016)   12    3  (Laboratorio)
Master's degree in Computer Science and Engineering Algorithms (2013/2014)   12    6  COMPLESSITÀ
Master's degree in Computer Science and Engineering Algorithms (2012/2013)   12    6  COMPLESSITÀ
Master's degree in Computer Science and Engineering Algorithms (2011/2012)   12    6  COMPLESSITÀ
Master's degree in Computer Science and Engineering Algorithms (2009/2010)   12    4  COMPLESSITÀ
4  ALGORITMI AVANZATI
Masters in Computer Science Advanced algorithms (2008/2009)   5    5 
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2008/2009)   10    2  Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Algorithms and Data Structures (2008/2009)   10    2  Laboratorio
Masters in Computer Science Advanced algorithms (2007/2008)   5    5 
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Algorithms and Data Structures (2007/2008)   10    2  Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2007/2008)   10    2  Laboratorio
Masters in Computer Science Advanced algorithms (2006/2007)   5    5 
Level 1 Masters in Network Planning and Management Sistemi Operativi di Rete (2006/2007)   5     
Masters in Computer Science Computational Complexity (2005/2006)   5    5 
Level 1 Masters in Network Planning and Management Networking Operating Systems (2005/2006)   5     
Masters in Computer Science Computational Complexity (2004/2005)   5     
Level 1 Masters in Network Planning and Management Networking Operating Systems (2004/2005)   5     
Masters in Computer Science Computational Complexity (2003/2004)   5     
Masters in Computer Science Computational Complexity (2002/2003)   5     
Bachelor in Computer Science (old system) Algorithm and Data Structure workshop (2001/2002)   1     
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2001/2002)   10      Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Databases and WEB (2001/2002)   10      Laboratorio
Bachelor in Computer Science (old system) Foundations of Computing: Computational Complexity (2001/2002)   1     
Bachelor in Computer Science (old system) Algorithm and Data Structure workshop (2000/2001)   1     
Bachelor in Computer Science (old system) Foundations of Computing: Computational Complexity (2000/2001)   0     

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

Research groups

Algorithms
The group investigates structural aspects of fundamental problems in Computer Science and their mathematical models. This leads to the design of better algorithms protocols and systems as well as understanding of their implicit computational limits. Specific areas of interests include: algorithm design, data structures, string algorithms, computational complexity, combinatorial optimization, coding and information theory, machine learning. Most results obtained are in the intersection of algorithmics with several other areas in theory and applications, including bioinformatics, communication networks, operating research and artificial intelligence.
Databases and Information Systems
People of this group are involved in research areas regarding informations systems theory and applications
INdAM - Research Unit at the University of Verona
We collect here the scientific activities of the Research Unit of Istituto Nazionale di Alta Matematica INdAM at the University of Verona
Research interests
Topic Description Research area
BPMN Systems in Medicine Using and extending open-source BPMN-based (Business Process Model and Notation) systems to manage healthcare processes. Information Systems and Data Analytics
Information systems applications
Temporal BPMN Models Representing and managing temporal constraints in BPMN (Business Process Model and Notation) specifications. Information Systems and Data Analytics
Data management systems
Temporal reasoning Temporal constraint networks are a research area within temporal reasoning focused on modeling and solving problems where events, tasks, or resources are constrained by temporal dependencies. Temporal constraint networks are used to tackle complex problems in scheduling, planning, and coordination, especially in dynamic environments where constraints may evolve over time. Recent advancements incorporate game-theoretic models, spatio-temporal constraints, and probabilistic methods to address the challenges posed by time-varying, decentralized, and uncertain systems. Artificial Intelligence
Knowledge representation and reasoning
Temporal reasoning Temporal constraint networks are a research area within temporal reasoning focused on modeling and solving problems where events, tasks, or resources are constrained by temporal dependencies. Temporal constraint networks are used to tackle complex problems in scheduling, planning, and coordination, especially in dynamic environments where constraints may evolve over time. Recent advancements incorporate game-theoretic models, spatio-temporal constraints, and probabilistic methods to address the challenges posed by time-varying, decentralized, and uncertain systems. Software Engineering and Formal Verification
Knowledge representation and reasoning
Projects
Title Starting date
Securing Decentralized Finance and Remote Healthcare Systems - SHIELD 10/22/24
Evaluation of high-reliability solutions for DBMS clustering supporting virtual cash registers. 7/25/19
Distributed Optimization for Large-scale Statistical Modeling 2/26/19
Modellazione, gestione e analisi intelligente di processi clinici temporali (PRIN 2009) 7/15/11
Modellazione e gestione di aspetti temporali in workflow clinici (PRIN 2007) 9/22/08
Accesso integrato a informazione spazio-temporale 1/1/05
Supporting user-defined multiple granularities for the management and querying of temporal clinical information 11/30/04
Rappresentazione e interrogazione di dati spazio-temporali (continuazione, anno 2004) 1/1/04
Representation and retrieval on Web of heterogeneous geographical data in vector and raster format, having temporal dimensions 11/21/03



Organization

Department facilities

Share