venerdì,
Ore 17.00
- 19.00,
presso ufficio del docente Stanza 1.61 Ca' Vignal 2
teacher office Room 1.61 Ca' Vignal 2
I principali ambiti di ricerca di Pietro Sala sono:
* Data Mining Temporale :
studio teorico e realizzazione di algoritmi per l'estrazione di informazioni di sintesi da grosse quantità di dati;
* Sistemi di Supporto alle Decisioni in ambito Biomedico:
modellazione e realizzazione di sistemi per il raccoglimento, la gestione e l'analisi dei dati in ambito medico/clinico, la fase di analisi comprende l'applicazione delle tecniche di data mining temporale, studiate in maniera generale nel punto precedente, a basi di dati provenienti da reali applicazioni mediche;
* Sintesi e analisi di processi:
modellazione, analisi e sintesi di processi attraverso tecniche formali basate sul logiche al prim'ordine o modali;
* Processi in ambito Biomedico:
implementazione di linee guida cliniche attraverso formalismi quali BPMN con applicazione delle tecniche di analisi studiate, in maniera generale, al punto precedente allo scopo di migliorare l'efficenza nella gestione delle risorse nelle procedure ospedaliere;
* Logiche temporali:
studio della decidibilità dei più comuni problemi inerenti le logiche temporali (decidibilità, model checking, sintesi).
Le sue pubblicazioni spaziano dalle conferenze e i giornali di informatica teorica (LICS, ICALP, LMCS, JLC) passando per l'intelligenza artificiale (ECAI, IJCAI, KR, IJCAR) per finire nell'informatica medica (ICHI, CBM).
Insegnamenti attivi nel periodo selezionato: 36.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
Argomento | Descrizione | Area di ricerca |
---|---|---|
Modelli per granularità temporali | Questo argomento di ricerca riguarda la definizione di nuovi modelli per la rappresentazione di granularità temporali e la loro applicazione in contesti reali. |
Sistemi informativi ed analisi dei dati
Data management systems |
Modelli Temporali basati su Workflow | Rappresentazione e gestione di vincoli temporali nel contesto dei workflow. |
Sistemi informativi ed analisi dei dati
Data management systems |
Workflow per la sanità | Estensione e adozione di sistemi di workflow open source per la gestione di processi medici. |
Sistemi informativi ed analisi dei dati
Information systems applications |
Carica | Organo collegiale |
---|---|
componente | Collegio dei Docenti del Dottorato in Informatica - Dipartimento Informatica |
componente | Collegio Didattico di Informatica - Dipartimento Informatica |
componente | Collegio didattico Interateneo di Ingegneria dell’Informazione - Dipartimento Ingegneria per la medicina di innovazione |
componente | Commissione AQ Laurea magistrale in Medical Bioinformatics - LM18 - Collegio Didattico di Informatica - Dipartimento Informatica |
componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |
Rappresentante dei professori associati in SAA | Giunta del Dipartimento di Informatica - Dipartimento Informatica |
rappresentante associati | Senato Accademico |