Roberto Posenato

ritratto2016,  30 marzo 2020
Qualifica
Professore associato
Settore disciplinare
INF/01 - INFORMATICA
Settore di Ricerca (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

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 1.84
Telefono
+39 045 802 7967
Fax
+39 045 802 7068
E-mail
roberto|posenato*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~posenato

Orario di ricevimento

Si prega di inviare un'email per concordare data e ora per un appuntamento. Il mercoledì dalle 14:30 alle 16:30 è il periodo più probabile per un ricevimento, ma che deve comunque essere concordato prima via email.

Curriculum

Mi occupo di:
  • modelli e algoritmi per rete di vincoli: progettazione e sperimentazione di algoritmi per risolvere rete di vincoli. In particolare, il mio interesse principale è lo studio di come rappresentare vincoli temporali mediante reti di vincoli e di proporre algoritmi per la loro risoluzione. 
  • sviluppo di applicazioni web basate su framework Java e Python: attività soprattutto didattica in cui cerco di insegnare le tecniche più avanzate per lo sviluppo di applicazioni web basate du basi di dati usando framework in Java o Python.
Le mie pubblicazioni si collocano prevalentemente sulle riviste internazionali dell'area di artificial intelligence.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 39.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Informatica Basi di dati (2019/2020)   12  eLearning (Laboratorio)
Laurea in Bioinformatica Basi di dati e web (2019/2020)   6  eLearning (Laboratorio)
(Teoria)
Laurea in Informatica Basi di dati (2018/2019)   12  eLearning (Laboratorio)
Laurea in Bioinformatica Basi di dati e web (2018/2019)   6  eLearning (Laboratorio)
Laurea in Informatica Programmazione II e ingegneria del software (2018/2019)   12  eLearning INGEGNERIA DEL SOFTWARE (Laboratorio)
Laurea in Informatica Basi di dati (2017/2018)   12  eLearning (Laboratorio)
Laurea in Bioinformatica Basi di dati e web (2017/2018)   6  eLearning (Laboratorio)
Laurea in Informatica Programmazione II e ingegneria del software (2017/2018)   12  eLearning INGEGNERIA DEL SOFTWARE (Laboratorio)
Laurea in Informatica Basi di dati (2016/2017)   12  eLearning (Laboratorio)
Laurea in Informatica Ingegneria del software (2016/2017)   6  eLearning (Laboratorio)
Laurea in Informatica Programmazione II e ingegneria del software (2016/2017)   12  eLearning INGEGNERIA DEL SOFTWARE (Laboratorio)
Laurea in Informatica Basi di dati (2015/2016)   12  eLearning (Laboratorio)
Laurea in Bioinformatica Basi di dati per bioinformatica (2015/2016)   12  eLearning (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Algoritmi (2013/2014)   12  eLearning COMPLESSITÀ
Laurea magistrale in Ingegneria e scienze informatiche Algoritmi (2012/2013)   12  eLearning COMPLESSITÀ
Laurea magistrale in Ingegneria e scienze informatiche Algoritmi (2011/2012)   12  eLearning COMPLESSITÀ
Laurea magistrale in Ingegneria e scienze informatiche Algoritmi (2009/2010)   12    ALGORITMI AVANZATI
COMPLESSITÀ
Laurea specialistica in Informatica Algoritmi avanzati (2008/2009)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2008/2009)   10    Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2008/2009)   10    Laboratorio
Laurea specialistica in Informatica Algoritmi avanzati (2007/2008)   5   
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2007/2008)   10    Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2007/2008)   10    Laboratorio
Laurea specialistica in Informatica Algoritmi avanzati (2006/2007)   5   
Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) Sistemi Operativi di Rete (2006/2007)   5     
Laurea specialistica in Informatica Complessità (2005/2006)   5   
Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) Networking Operating Systems (2005/2006)   5     
Laurea specialistica in Informatica Complessità (2004/2005)   5     
Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) Networking Operating Systems (2004/2005)   5     
Laurea specialistica in Informatica Complessità (2003/2004)   5     
Laurea specialistica in Informatica Complessità (2002/2003)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2001/2002)   10      Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Basi di dati e web (2001/2002)   10      Laboratorio
Laurea in Informatica (vecchio ordinamento) Fondamenti dell'informatica: complessità (2001/2002)   1     
Laurea in Informatica (vecchio ordinamento) Laboratorio di algoritmi e strutture dati (2001/2002)   1     
Laurea in Informatica (vecchio ordinamento) Fondamenti dell'informatica: complessità (2000/2001)   0     
Laurea in Informatica (vecchio ordinamento) Laboratorio di algoritmi e strutture dati (2000/2001)   1     

Attività didattiche avanzate
Nome Online
PhD Course on “Temporal constraint networks" (35° ciclo - Dottorato in Informatica)
PhD Course on “Temporal constraint networks" (34° ciclo - Dottorato in Informatica)
PhD Course on “Temporal constraint networks" (33° ciclo - Dottorato in Informatica)
 

Gruppi di ricerca

Basi di dati e Sistemi Informativi
Questo gruppo di ricercatori si occupa di varie tematiche nell'ambito dei sistemi informativi
INdAM - Unità di Ricerca dell'Università di Verona
Questa pagina è dedicata all'unità di ricerca INdAM dell'Università di Verona.
Competenze
Argomento Descrizione Area di ricerca
Modelli Temporali basati su Workflow Rappresentazione e gestione di vincoli temporali nel contesto dei workflow. Sistemi informativi
Data management systems
Progettazione e analisi algoritmi per grafi Studio di algoritmi per analisi di vincoli su grafi. Informatica teorica
Design and analysis of algorithms
Workflow per la sanità Estensione e adozione di sistemi di workflow open source per la gestione di processi medici. Sistemi informativi
Information systems applications
Progetti
Titolo Data inizio
Impatto di soluzioni ad alta affidabilità per clustering di DBMS per supportare registratori di cassa virtuali 25/07/19
Distributed Optimization for Large-scale Statistical Modeling 26/02/19
Modellazione, gestione e analisi intelligente di processi clinici temporali (PRIN 2009) 15/07/11
Modellazione e gestione di aspetti temporali in workflow clinici (PRIN 2007) 22/09/08
Accesso integrato a informazione spazio-temporale 01/01/05
Supporto di granularità multiple e definite dall'utente nella gestione ed interrogazione di informazioni cliniche caratterizzate temporalmente (PRIN 2004) 30/11/04
Rappresentazione e interrogazione di dati spazio-temporali (continuazione, anno 2004) 01/01/04
Rappresentazione e interrogazione via Web di informazione geografica eterogenea in formato vettoriale e raster caratterizzata da aspetti temporali 21/11/03




Organizzazione

Strutture del dipartimento