Pietro Sala

  1. Home
  2. Dipartimento
  3. Persone
  4. Pietro Sala
foto personale, 29 aprile 2013
Qualifica
Ricercatore a tempo determinato
Settore disciplinare
INF/01 - INFORMATICA
Settore di Ricerca (ERC)
PE6_10 - Web and information systems, database systems, information retrieval and digital libraries, data fusion

Telefono
0458027850
E-mail
pietro|sala*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.scienze.univr.it/~sala/

Orario di ricevimento

venerdì, Ore 17.00 - 19.00,  
presso ufficio del docente Stanza 1.61 Ca' Vignal 2
teacher office Room 1.61 Ca' Vignal 2

Curriculum

I principali ambiti di ricerca di Pietro Sala sono:

* Data Mining Temporale : 
studio teorico e realizzazione di algoritmi per l'estrazione di informazioni di sintesi da grosse quantità di dati;

* Sistemi di Supporto alle Decisioni in ambito Biomedico:
modellazione e realizzazione di sistemi per il raccoglimento, la gestione e l'analisi dei dati in ambito medico/clinico, la fase di analisi comprende l'applicazione delle tecniche di data mining temporale, studiate in maniera generale nel punto precedente, a basi di dati provenienti da reali applicazioni mediche;
 
* Sintesi e analisi di processi:
modellazione, analisi e sintesi di processi attraverso tecniche formali basate sul logiche al prim'ordine o modali;

* Processi in ambito Biomedico:
implementazione di linee guida cliniche attraverso formalismi quali BPMN con applicazione delle tecniche di analisi studiate, in maniera generale, al punto precedente allo scopo di migliorare l'efficenza nella gestione delle risorse nelle procedure ospedaliere;

* Logiche temporali:
studio della decidibilità dei più comuni problemi inerenti le logiche temporali (decidibilità, model checking, sintesi).

Le sue pubblicazioni spaziano dalle conferenze e i giornali di informatica teorica (LICS, ICALP, LMCS, JLC) passando per l'intelligenza artificiale (ECAI, IJCAI, KR, IJCAR) per finire nell'informatica medica (ICHI, CBM).

Insegnamenti

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

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Dottorato in Informatica Games, Automata and Logic at the Edge of Decidability (2021/2022)   3    3 
Laurea magistrale in Medical bioinformatics Biomedical decision support systems (2020/2021)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Estrazione e integrazione di conoscenza dei dati (2020/2021)   6  eLearning 6 
Dottorato in Informatica Game Theory for Computer Science: Synthesis and Graph-based games (2020/2021)   5  eLearning 5 
Laurea magistrale in Medical bioinformatics Healthcare information systems (2020/2021)   6  eLearning 3 
Laurea in Matematica Applicata Linguaggio Programmazione C (2020/2021)   1  eLearning 1 
Dottorato in Informatica Attività didattica dottorato (2019/2020)   50  eLearning 1 
Laurea magistrale in Medical bioinformatics Biomedical decision support systems (2019/2020)   6  eLearning 6 
Laurea in Lingue e letterature per l'editoria e i media digitali Laboratorio di progettazione web (2019/2020)   3  eLearning 3 
Laurea magistrale in Medical bioinformatics Biomedical decision support systems (2018/2019)   6  eLearning 6 
Laurea magistrale in Medical bioinformatics Biomedical decision support systems (2017/2018)   6  eLearning 6 
Laurea magistrale in Medical bioinformatics Biomedical decision support systems (2016/2017)   6  eLearning 6 
Laurea in Bioinformatica Basi di dati per bioinformatica (2014/2015)   12  eLearning 3  (Laboratorio)
TFA A042 - Informatica (II grado) Sistemi informativi e sicurezza (2014/2015)   6  eLearning 1  FONDAMENTI
Laurea in Bioinformatica Ingegneria del software (2013/2014)   6  eLearning 2 
Laurea magistrale in Bioinformatica e biotecnologie mediche Algoritmi e linguaggi per bioinformatica (2011/2012)   12    2  LINGUAGGI PER BIOINFORMATICA (Laboratorio)

 

Gruppi di ricerca

Basi di dati e Sistemi Informativi
Questo gruppo di ricercatori si occupa di varie tematiche nell'ambito dei sistemi informativi
Logica
Logica in matematica ed informatica.
Competenze
Argomento Descrizione Area di ricerca
Modelli per granularità spazio-temporali Questo argomento di ricerca riguarda la definizione di nuovi modelli per la rappresentazione di granularità spazio-temporali e la loro applicazione in contesti reali. Sistemi informativi
Data management systems
Modelli Temporali basati su Workflow Rappresentazione e gestione di vincoli temporali nel contesto dei workflow. Sistemi informativi
Data management systems
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
Machine Learning Techniques for Customer Behaviour Predictions 20/03/19
Metodi formali per la verifica e la sintesi di sistemi discreti e ibridi 05/02/18
Modelli computazionali ad alte prestazioni per l'estrazione l ‘integrazione di informazioni biomediche 01/01/17
Una piattaforma bioinformatica per l'estrazione di conoscenza temporale: applicazione ad un modello di differenziamento in cardiomiociti per investigare il ruolo della diossina in patologie cardiovascolari (FIRB 2010) 01/07/11
DW-SAN: Data warehousing, OLAP, data mining e analisi what-if su dati clinico-sanitari con sistemi open source 08/10/09



Organizzazione

Strutture del dipartimento