Roberto Posenato

ritratto2016,  March 30, 2020
Position
Associate Professor
Academic sector
INF/01 - INFORMATICS
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
Telephone
+39 045 802 7967
E-mail
roberto|posenato*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

Write me an email to arrange an appointment.

Curriculum


My main research interests are:
  • models and algorithms for constraint networks: study and evaluation of algorithms for solving constraint networks. In particular, I study how to represent temporal constraints as constraint networks and how to solve them.
  • development of web-based application using Java and Python framework: it is a didactical activity in which I try to teach the most advanced techniques for the development of web applications based on databases using Java or Python frameworks.
My publications are present in international journals related to the artificial intelligence area.
 

Modules

Modules running in the period selected: 57.
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 (2023/2024)   12  eLearning ALGORITMI PER BIOINFORMATICA
LABORATORIO DI PROGRAMMAZIONE II (Teoria)
LABORATORIO DI PROGRAMMAZIONE II (Laboratorio)
Master's degree in Computer Science and Engineering Web Applications (2023/2024)   6  eLearning
Bachelor's degree in Bioinformatics Algorithms (2022/2023)   12  eLearning ALGORITMI PER BIOINFORMATICA
LABORATORIO DI PROGRAMMAZIONE II (Teoria)
LABORATORIO DI PROGRAMMAZIONE II (Laboratorio)
Master's degree in Computer Science and Engineering Web Applications (2022/2023)   6  eLearning
Bachelor's degree in Bioinformatics Algorithms (2021/2022)   12  eLearning ALGORITMI PER BIOINFORMATICA
LABORATORIO DI PROGRAMMAZIONE II (Teoria)
LABORATORIO DI PROGRAMMAZIONE II (Laboratorio)
Master's degree in Computer Science and Engineering Web Applications (2021/2022)   6  eLearning
Bachelor's degree in Bioinformatics Algorithms (2020/2021)   12  eLearning LABORATORIO DI PROGRAMMAZIONE II (Laboratorio)
ALGORITMI PER BIOINFORMATICA
LABORATORIO DI PROGRAMMAZIONE II (Teoria)
PhD in Computer Science Constraint Networks (2020/2021)   6   
Master's degree in Computer Science and Engineering Web Applications (2020/2021)   6  eLearning
Bachelor's degree in Computer Science Databases (2019/2020)   12  eLearning (Laboratorio)
Bachelor's degree in Bioinformatics Databases and WEB (2019/2020)   6  eLearning (Laboratorio)
(Teoria)
PhD in Computer Science Lezioni Dottorandi (2019/2020)   50  eLearning
Bachelor's degree in Computer Science Databases (2018/2019)   12  eLearning (Laboratorio)
Bachelor's degree in Bioinformatics Databases and WEB (2018/2019)   6  eLearning (Laboratorio)
Bachelor's degree in Computer Science Programming II and Software Engineering (2018/2019)   12  eLearning INGEGNERIA DEL SOFTWARE (Laboratorio)
Bachelor's degree in Computer Science Databases (2017/2018)   12  eLearning (Laboratorio)
Bachelor's degree in Bioinformatics Databases and WEB (2017/2018)   6  eLearning (Laboratorio)
Bachelor's degree in Computer Science Programming II and Software Engineering (2017/2018)   12  eLearning INGEGNERIA DEL SOFTWARE (Laboratorio)
Bachelor's degree in Computer Science Databases (2016/2017)   12  eLearning (Laboratorio)
Bachelor's degree in Computer Science Programming II and Software Engineering (2016/2017)   12  eLearning INGEGNERIA DEL SOFTWARE (Laboratorio)
Bachelor's degree in Computer Science Software Engineering (2016/2017)   6  eLearning (Laboratorio)
Bachelor's degree in Computer Science Databases (2015/2016)   12    (Laboratorio)
Bachelor's degree in Bioinformatics Database systems for bioinformatics (2015/2016)   12    (Laboratorio)
Master's degree in Computer Science and Engineering Algorithms (2013/2014)   12    COMPLESSITÀ
Master's degree in Computer Science and Engineering Algorithms (2012/2013)   12    COMPLESSITÀ
Master's degree in Computer Science and Engineering Algorithms (2011/2012)   12    COMPLESSITÀ
Master's degree in Computer Science and Engineering Algorithms (2009/2010)   12    COMPLESSITÀ
ALGORITMI AVANZATI
Masters in Computer Science Advanced algorithms (2008/2009)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2008/2009)   10    Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Algorithms and Data Structures (2008/2009)   10    Laboratorio
Masters in Computer Science Advanced algorithms (2007/2008)   5   
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Algorithms and Data Structures (2007/2008)   10    Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2007/2008)   10    Laboratorio
Masters in Computer Science Advanced algorithms (2006/2007)   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   
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     

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.

MyUnivr
 

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
Temporal Workflow Models Representing and managing temporal constraints in workflow specifications. Information Systems
Data management systems
Design and analysis of algorithms for graphs Design and analysis of algorithms for constraint analysis in graphs. Theory of computation
Design and analysis of algorithms
Workflow Systems in Medicine Using and extending open-source workflow systems to manage healthcare processes. Information Systems
Information systems applications
Projects
Title Starting date
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