Pietro Sala

Curriculum

•   Curriculum Vitae (Inglese)   (pdf, en, 754 KB, 13/12/24)
•   Curriculum Vitae (Italiano)   (pdf, it, 754 KB, 13/12/24)

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

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

• Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
• Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

• Eventi
• Insegnamenti

Projects

Title	Starting date
Sviluppo di algoritmi che permettano di velocizzare l’esecuzione di task di processo digitali (BPMN) tramite l’automazione di singoli task considerati ripetitivi e/o di poco valore aggiunto in termini dell’intervento degli operatori per l’attuazione del progetto a valere sulla Misura Tecnonidi della regione Puglia	7/10/23
Sviluppo di un algoritmo per l'integrazione dati OCR con pipeline NLP per l'attuazione del progetto a valere sulla Misura Tecnonidi della Regione Puglia	3/22/23
Heterogeneous Data Integration for Structured Natural Language Processing	3/9/22
SPACE13 INNOVATION-LAB	1/11/22
Machine Learning Techniques for Customer Behaviour Predictions	3/20/19
Formal methods for the verification and synthesis of discrete event and hybrid systems	2/5/18
High performing computational models for biomedical information extraction and integration	1/1/17
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

---

Istitutional duties

• associated prof. Representative - Academic Senate

Pietro Sala

Office	Collegial Body
member	Faculty Board of PhD in Computer Science - Department Computer Science
member	Computer Science Teaching Committee - Department Computer Science
member	Information Engineering Teaching Committee - Department Department of Engineering for Innovation Medicine
member	Computer Science Department Council - Department Computer Science
Rappresentante dei professori associati in SAA	Computer Science Department Board - Department Computer Science
associated prof. Representative	Academic Senate