Pietro Sala

foto personale,  April 29, 2013
Position
Associate Professor
Academic sector
INFO-01/A - Informatics
Research sector (ERC-2024)
PE6_10 - Web and information systems, data management systems, information retrieval and digital libraries, data fusion

Research sector (ERC)
PE6_10 - Web and information systems, database systems, information retrieval and digital libraries, data fusion

Telephone
+39 045 802 7850
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,  

Curriculum

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

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

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Medical Bioinformatics Biomedical decision support systems (2024/2025)   6   
Bachelor's degree in Bioinformatics Data-intensive software systems (2024/2025)   12  eLearning INGEGNERIA DEL SOFTWARE (Laboratorio)
Master's degree in Computer Science and Engineering Data Mining and Knowledge Discovery (2024/2025)   6  eLearning (Teoria)
(Laboratorio)
Master's degree in Medical Bioinformatics Healthcare Information Systems (2024/2025)   6  eLearning
Bachelor's degree in Computer Science Programming II and Software Engineering (2024/2025)   12  eLearning INGEGNERIA DEL SOFTWARE (Laboratorio)
Master's degree in Medical Bioinformatics Biomedical decision support systems (2023/2024)   6  eLearning
Bachelor's degree in Bioinformatics Data-intensive software systems (2023/2024)   12  eLearning INGEGNERIA DEL SOFTWARE (Laboratorio)
Master's degree in Computer Science and Engineering Data Mining and Knowledge Discovery (2023/2024)   6  eLearning (Teoria)
(Laboratorio)
Master's degree in Medical Bioinformatics Healthcare Information Systems (2023/2024)   6  eLearning
Bachelor's degree in Computer Science Programming II and Software Engineering (2023/2024)   12  eLearning INGEGNERIA DEL SOFTWARE (Laboratorio)
Bachelor's degree in Applied Mathematics Scientific Programming (2023/2024)   2  eLearning
Master's degree in Medical Bioinformatics Biomedical decision support systems (2022/2023)   6  eLearning
Master's degree in Computer Science and Engineering Data Mining and Knowledge Discovery (2022/2023)   6  eLearning (Teoria)
(Laboratorio)
Master's degree in Medical Bioinformatics Healthcare Information Systems (2022/2023)   6  eLearning
Bachelor's degree in Computer Science Programming II and Software Engineering (2022/2023)   12  eLearning INGEGNERIA DEL SOFTWARE (Laboratorio)
Master's degree in Medical Bioinformatics Biomedical decision support systems (2021/2022)   6  eLearning
Master's degree in Computer Science and Engineering Data Mining and Knowledge Discovery (2021/2022)   6  eLearning (Laboratorio)
(Teoria)
Master's degree in Medical Bioinformatics Healthcare Information Systems (2021/2022)   6  eLearning
Bachelor's degree in Computer Science Programming II and Software Engineering (2021/2022)   12  eLearning INGEGNERIA DEL SOFTWARE (Laboratorio)
Master's degree in Medical Bioinformatics Biomedical decision support systems (2020/2021)   6  eLearning
Bachelor's degree in Applied Mathematics C Programming Language (2020/2021)   1  eLearning
Master's degree in Computer Science and Engineering Data Mining and Knowledge Discovery (2020/2021)   6  eLearning
Master's degree in Medical Bioinformatics Healthcare Information Systems (2020/2021)   6  eLearning
Master's degree in Medical Bioinformatics Biomedical decision support systems (2019/2020)   6  eLearning
Bachelor's degree in Languages and literatures for publishing and digital media Web Design Laboratory (2019/2020)   3  eLearning
Master's degree in Medical Bioinformatics Biomedical decision support systems (2018/2019)   6  eLearning
Master's degree in Medical Bioinformatics Biomedical decision support systems (2017/2018)   6  eLearning
Master's degree in Medical Bioinformatics Biomedical decision support systems (2016/2017)   6  eLearning
Bachelor's degree in Bioinformatics Database systems for bioinformatics (2014/2015)   12    (Laboratorio)
TFA A042 Computer science (secondary school) Sistemi informativi e sicurezza (2014/2015)   6    FONDAMENTI
Bachelor's degree in Bioinformatics Software Engineering (2013/2014)   6   
Master's degree in Bioinformatics and Medical Biotechnology Algorithms and programming languages for bioinformatics (2011/2012)   12    LINGUAGGI PER BIOINFORMATICA (Laboratorio)

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.

MyUnivr

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.

Research groups

Databases and Information Systems
People of this group are involved in research areas regarding informations systems theory and applications
Big Data, Data Science and Process Mining
Logica
Logica in matematica ed informatica.
Research interests
Topic Description Research area
Models for temporal granularities and their application to real contexts Information Systems and Data Analytics
Data management systems
Temporal Workflow Models Representing and managing temporal constraints in workflow specifications. Information Systems and Data Analytics
Data management systems
Workflow Systems in Medicine Using and extending open-source workflow systems to manage healthcare processes. Information Systems and Data Analytics
Information systems applications
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




Organization

Department facilities

Share