Pietro Sala

foto personale,  April 29, 2013
Temporary Assistant Professor
Academic sector
pietro|sala*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page

Office Hours

Friday, Hours 5:00 PM - 7:00 PM,  


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


Modules running in the period selected: 7.
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 in matematica ed informatica.
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
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