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://profs.scienze.univr.it/~sala/

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

The research activity of Pietro Sala  mainly focuses on the following topics:

* Temporal Data Mining: 
theoretical study and realization of algorithms for extracting synthesis information from large quantities of data;

* Biomedical Decision Support Systems: 
modeling and implementation of systems for collecting, managing and analyzing data in the medical/clinical domain, the analysis phase is enriched with temporal data-mining techniques studied in  the previous point and applied here on data coming from real-world medical applications;

* Synthesis and analysis of Processes: 

Modeling, analysis, and synthesis of processes through formal techniques based on first-order/modal  logics formalisms;

* Process Management in the Biomedical Domain: 
implementation of clinical guidelines through formalisms like BPMN and application of formal analysis techniques studied at the previous point in order to improve efficiency in the management of hospital resources;

* Temporal Logics: 
study of the classical decision problems for temporal logics (i.e., decidability, model checking, and synthesis);

Peer-reviewed publications authored by Pietro Sala may be found in international journals and conferences of Theoretical Computer Science (LICS, ICALP, LMCS, JLC), Artificial Intelligence (ECAI, IJCAI, KR, IJCAR) and healthcare informatics (ICHI, CBM).

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: 7.
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