Pietro Sala

foto personale,  29 aprile 2013
Qualifica
Ricercatore a tempo determinato
Ruolo
RTD A
Settore disciplinare
INF/01 - INFORMATICA
Telefono
0458027045
E-mail
pietro|sala*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://tuzze.herokuapp.com

Orario di ricevimento

venerdì, Ore 17.00 - 19.00,  
presso ufficio del docente Stanza 1.72 Ca' Vignal 2
teacher office Room 1.72 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: 6.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

 

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
Information systems - Data management systems
Modelli Temporali basati su Workflow Rappresentazione e gestione di vincoli temporali nel contesto dei workflow. Sistemi informativi
Information systems - 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 - Information systems applications
Progetti
Titolo Data inizio
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