Pietro Sala

Curriculum

•   Curriculum Vitae (Inglese)   (pdf, en, 750 KB, 11/09/26)
•   Curriculum Vitae (Italiano)   (pdf, it, 755 KB, 11/09/26)

I principali ambiti di ricerca di Pietro Sala sono:

- Logiche temporali degli intervalli:
  studio della decidibilità, della complessità computazionale e dell'espressività delle logiche temporali degli intervalli (logica di Halpern-Shoham e suoi frammenti, logiche di vicinato, di prefissi/infissi/suffissi), con procedure di decisione basate su tableaux, model checking di strutture di Kripke e connessioni con i linguaggi omega-regolari e le loro estensioni quantitative;
- Sintesi reattiva e pianificazione:
  sintesi automatica di strategie da specifiche in logiche temporali, pianificazione basata su timeline con tecniche automa-teoriche, e sintesi di strategie per processi con scelte, probabilità e impatti (BPMN+CPI);
- Modellazione e verifica di processi:
  estensioni temporali di BPMN per la modellazione di processi time-critical con risorse, verifica formale e conformità di processi di business rispetto a vincoli temporali e di impatto, con applicazione alle linee guida cliniche e alla gestione delle risorse nelle procedure ospedaliere;
- Data mining temporale:
  specifica, verifica ed estrazione di dipendenze funzionali temporali (anche approssimate, a granularità multiple e predittive) e di regole di associazione evolutive da grandi basi di dati, con validazione su dati clinici reali;
- Intelligenza artificiale e machine learning per la sanità:
  metodi interpretabili per serie temporali e dati clinici multivariati (Sequence-Walking Decision Tree, Time Series Step Tree, distanze TSRF-Dist e libreria GPU tsdistances), rilevazione di reazioni avverse da farmaci (TEDAR), predizione precoce della sepsi, neuromonitoraggio intraoperatorio;
- Sistemi di supporto alle decisioni in ambito biomedico:
  progettazione e realizzazione di sistemi per la raccolta, l'integrazione e l'analisi di dati clinici e farmacologici, in collaborazione con strutture sanitarie e aziende.

Le sue pubblicazioni spaziano dalle conferenze e riviste di informatica teorica (LICS, ICALP, STACS, MFCS, CSL, Logical Methods in Computer Science, Information and Computation, Theoretical Computer Science, ACM TOCL) all'intelligenza artificiale (IJCAI, ECAI, KR, IJCAR, Artificial Intelligence), ai metodi formali per i processi (PETRI NETS, BPM, TIME, GandALF, Information Systems), fino all'informatica medica e al data mining (ICHI, DIS, Artificial Intelligence in Medicine, Computers in Biology and Medicine, Data Mining and Knowledge Discovery, Journal of Healthcare Informatics Research, ACM Transactions on Mathematical Software).

Pietro Sala's main research areas are:

- Interval temporal logics:
  decidability, computational complexity and expressiveness of interval temporal logics (Halpern-Shoham logic and its fragments, neighborhood logics, logics of prefixes/infixes/suffixes), tableau-based decision procedures, model checking of Kripke structures, and connections with omega-regular languages and their quantitative extensions;
- Reactive synthesis and planning:
  automatic synthesis of strategies from temporal-logic specifications, timeline-based planning via automata-theoretic techniques, and strategy synthesis for processes with choices, probabilities and impacts (BPMN+CPI);
- Process modelling and verification:
  temporal extensions of BPMN for time-critical processes with resources, formal verification and compliance of business processes with temporal and impact constraints, applied to clinical guidelines and hospital resource management;
- Temporal data mining:
  specification, checking and mining of temporal functional dependencies (approximate, multi-granular, predictive) and evolving association rules from large databases, validated on real clinical data;
- AI and machine learning for healthcare:
  interpretable methods for time series and multivariate clinical data (Sequence-Walking Decision Tree, Time Series Step Tree, TSRF-Dist distance and the GPU library tsdistances), adverse drug reaction detection (TEDAR), early sepsis prediction, intraoperative neuromonitoring;
- Biomedical decision support systems:
  design and implementation of systems for collecting, integrating and analysing clinical and pharmacological data, in cooperation with healthcare institutions and companies.

His publications range from theoretical computer science venues (LICS, ICALP, STACS, MFCS, CSL, Logical Methods in Computer Science, Information and Computation, Theoretical Computer Science, ACM TOCL) to artificial intelligence (IJCAI, ECAI, KR, IJCAR, Artificial Intelligence), formal methods for processes (PETRI NETS, BPM, TIME, GandALF, Information Systems), and medical informatics and data mining (ICHI, DIS, Artificial Intelligence in Medicine, Computers in Biology and Medicine, Data Mining and Knowledge Discovery, Journal of Healthcare Informatics Research, ACM Transactions on Mathematical Software).

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

Incarichi Istituzionali

• Rappresentante associati - Senato Accademico