Pietro Sala

foto personale,  April 29, 2013
Position
Temporary Assistant Professor
Role
RTD A
Academic sector
INF/01 - INFORMATICS
Telephone
0458027045
E-mail
pietro|sala*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
http://profs.scienze.univr.it/~sala/

Office Hours

Friday, Hours 5:00 PM - 7:00 PM,  
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).

Modules

Modules running in the period selected: 6.
Click on the module to see the timetable and course details.

 

Research groups

Databases and Information Systems
People of this group are involved in research areas regarding informations systems theory and applications
Logica
Logica in matematica ed informatica.
Skills
Topic Description Research area
Models for spatio-temporal granularities Sistemi informativi
Information systems - Data management systems
Temporal Workflow Models Representing and managing temporal constraints in workflow specifications. Sistemi informativi
Information systems - Data management systems
Workflow Systems in Medicine Using and extending open-source workflow systems to manage healthcare processes. Sistemi informativi
Information systems - Information systems applications
Projects
Title Starting date
A new bioinformatics platform for temporal knowledge discovery:application toa model of cardiomyocyte differentiation for understanding the role of dioxin in cardiovascular diseases 7/1/11
DW-SAN: Data warehousing, OLAP, data mining e analisi what-if su dati clinico-sanitari con sistemi open source 10/8/09