Pietro Sala

Pietro Sala is an Associate Professor at the University of Verona, Department of Computer Science. His research intersects Temporal Data Mining, Biomedical Decision Support Systems, and Formal Verification of temporal logic specifications.

• Key Research Areas:
  • Interval Temporal Logic and Model Checking
  • Temporal BPMN for healthcare processes
  • Data fusion in clinical environments
  • Algorithm design for repetitive task automation
• Notable Projects:
  • Dioxin impact analysis on cardiovascular development
  • Open-source clinical data warehousing (DW-SAN)
  • Real-time system verification frameworks
• Teaching:
  • Lecturer for Biomedical Decision Support Systems (Master's)
  • Instructor for Data Mining and Software Engineering courses

The articles highlight his work in temporal logic verification (2025), clinical process modeling (2024-2025), and data integration for NLP pipelines (2023). His publications span theoretical computer science conferences (LICS, ICALP) and healthcare informatics journals (ICHI, CBM).