Pietro Sala

Curriculum

•   Curriculum Vitae (English)   (pdf, en, 538 KB, 29/08/20)
•   Curriculum Vitae (Italiano)   (pdf, it, 539 KB, 29/08/20)

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

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA.

MyUnivr

 

Progetti

Titolo	Data inizio
Integrazione di dati eterogenei per l'elaborazione di linguaggio naturale strutturato	09/03/22
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

---

Pietro Sala

Carica	Organo collegiale
	Collegio dei Docenti del Dottorato in Informatica A.A 2022/2023 - Dipartimento Informatica
componente	Collegio Didattico di Informatica - Dipartimento Informatica
componente	Commissione AQ Laurea magistrale in Medical Bioinformatics - LM18 - Collegio Didattico di Informatica - Dipartimento Informatica
componente	Consiglio del Dipartimento di Informatica - Dipartimento Informatica