Residente a Alessandria (AL) in via Plana 51 C.A.P....

Curriculum Vitae

Dati Personali:

Nome Alessio

Cognome Bottrighi

Nato a Piacenza Prov. PC il 16 giugno 1977

Residente a Alessandria (AL) in via Plana 51 C.A.P. 15121

Telefono 340/6656595 e-mail: [email protected]

Formazione e studi:

1995-96 Liceo Scientifico “Alessandro Volta” Castel S. Giovanni (PC)

Maturità Scientifica Sperimentale in Informatica

1996-2002 Università degli studi del Piemonte Orientale “Amedeo Avogadro”

Laurea in Informatica

Votazione: 110/110 con lode

Argomento della tesi di laurea: GLARE: una architettura a tre livelli per

la gestione di linee guida.

Relatore: Prof. Paolo Terenziani

Contro-relatore: Prof. Luigi Portinale

2003-2006 Dottorato di ricerca in Informatica presso l’Università degli studi di Torino

(XIX ciclo)

Argomento della tesi di dottorato: Extending computer guideline system

with advanced AI and DB techniques.

Advisor: Prof. Paolo Terenziani (Università del Piemonte Orientale, Italy).

Reviewers: Prof. Carlo Combi (Università di Verona, Italy), Prof. Mor

Peleg (University of Haifa, Israel).

2004 Scuola per dottorati di informatica BISS 2004 (Bertinoro International

Spring School) frequentato i corsi: Models and algorithms for complex

information networks, A Semantic Theory of Distributed Mobile

Computation, Intelligent agents: modelling and reasoning techniques.

2004 International Doctoral School “Chambéry - Torino” scuola “In Theoretical

Computer Science and in Semantic Web” frequentato il corso Semantic

Web

Esperienze professionali:

Posizione attuale: da marzo 2009 assegnista di ricerca presso il Dipartimento di

Informatica dell’Università del Piemonte Orientale “Amedeo Avogadro” responsabile

scientifico prof. P. Terenziani

Prima del dottorato

2000 Borsa di studio presso l’Università del Piemonte Orientale “Amedeo

Avogadro” come studente part-time nel ruolo di web-administrator dei siti

dista.unipmn.it e mfn.unipmn.it.

2001 Contatto di prestazione d’opera (febbraio-aprile) per “l’ingegnerizzazione e lo

sviluppo dell’interfaccia grafica per il sistema UNICORE (UNIfied

COmputational REasoning)” per il Dipartimento di Statistica e Tecnologie

Avanzate dell’Università del Piemonte Orientale “Amedeo Avogadro”

responsabile scientifico prof. V. Lombardo

2003 Contratto di collaborazione coordinata e continuativa (marzo-agosto) con

l’Azienda Ospedaliera “San Giovanni Battista” di Torino per la ricerca e per

lo sviluppo di “strumenti informatici per l’iterazione fra linee guida e cartella

clinica” responsabile scientifico prof. G. Molino

Durante il dottorato

2003 Contratto di prestazione d'opera (novembre) presso il Dipartimento di

Informatica dell'Università del Piemonte Orientale “Amedeo Avogadro”

nell'ambito del progetto di ricerca e sviluppo sulle metodologie informatiche

innovative per la gestione computerizzata del paziente ed il controllo di

qualità, la cui attività consiste nella “revisione ed estensione del modulo di

iterazione di GLARE con il database, al fine di permettere la memorizzazione

e l'esecuzione di linee guida acquisite” responsabile scientifico prof.

P.Terenziani

2004 Membro commissione del concorso di Progressione verticale dalla Categoria

C alla D - Area Tecnica, Tecnico-Scientifica ed Elaborazione Dati, Università

del Piemonte Orientale “Amedeo Avogadro” in qualità di esperto informatico.

2004-05 Contratto a progetto (novembre 2004 – aprile 2005) con l’Azienda

Ospedaliera San Giovanni Battista di Torino per la ricerca e per lo sviluppo di

“strumenti informatici per l’iterazione fra linee guida e cartella clinica”

responsabile scientifico prof. G. Molino

2004-05 Assegno di ricerca (novembre 2004 – ottobre 2005) presso il Dipartimento di

Informatica dell’Università del Piemonte Orientale “Amedeo Avogadro”.

2005 Contratto a progetto (giugno – novembre 2005) con l’Azienda Ospedaliera

San Giovanni Battista di Torino per la ricerca e per lo sviluppo di “strumenti

informatici per l’iterazione fra linee guida e cartella clinica”.

2006 Contratto a progetto (gennaio – novembre 2006) con il Dipartimento di

Informatica dell’Università del Piemonte Orientale “Amedeo Avogadro” per

lo studio e lo sviluppo di tecnologie nell'ambito del progetto PRIN 2004

“Analisi Intelligente di Dati di Monitoraggio di Emodialisi per il

miglioramento dei processi di cura” responsabile scientifico prof. L. Portinale

2006 Contratto a progetto (marzo – luglio 2006) con InfoLearning S.r.l. per

sviluppare esercitazione in e-learning per il corso di Basi di Dati e Sistemi

informativi I: Sperimentazioni del corso di Laurea in Informatica, Università

del Piemonte Orientale “Amedeo Avogadro”

Dopo il dottorato

2007 Borsa di avviamento alla ricerca (marzo – luglio 2007) presso il Dipartimento

di Informatica dell’Università del Piemonte Orientale “Amedeo Avogadro”

responsabile scientifico prof.sa L.Giordano

2007-08 Assegno di ricerca (settembre 2007 – agosto 2008) presso il Dipartimento di

Informatica dell’Università del Piemonte Orientale “Amedeo Avogadro”

responsabile scientifico prof. P.Terenziani

2008-09 Contratto a progetto (ottobre 2008– marzo 2009) con l’Azienda Ospedaliera


informatici per la gestione di linee guida cliniche” responsabile scientifico

prof. M.Torchio

2009 Contratto a progetto (maggio 2009– ottobre 2009) con l’Azienda Ospedaliera


informatici per la gestione di linee guida cliniche diffuse sul territorio”

responsabile scientifico prof. M.Torchio

2009 assegnista di ricerca (marzo 2009- marzo 2011) presso il Dipartimento di

Informatica dell’Università del Piemonte Orientale “Amedeo Avogadro”

responsabile scientifico prof. P. Terenziani

Attività Didattica:

Dal 2006 è stato titolare di corsi per l’Università del Piemonte Orientale “Amedeo

Avogadro” e in particolare dal 2007 è titolare di corsi nell’ambito del corso di

Laurea in Informatica

2004 Titolare del corso Teoria dei sistemi operativi e delle reti per concorso di

Progressione verticale dalla Categoria C alla D - Area Tecnica, Tecnico-

Scientifica ed Elaborazione Dati, presso l'Università del Piemonte Orientale

“Amedeo Avogadro” (20 ore).

2006/07 Titolare del corso di Programmazione presso l'Università del Piemonte

Orientale “Amedeo Avogadro”, corso di Laurea in Informatica Giuridica,

Facoltà di Giurisprudenza (40 ore)

2007/08 Titolare del corso di Basi di Dati e Sistemi Informativi I: Sperimentazioni

presso l'Università del Piemonte Orientale “Amedeo Avogadro”, corso di

Laurea in Informatica, Facoltà di Scienze Matematiche, Fisiche e Naturali (40

ore)




ore)




ore)

E' stato inoltre relatore o co-relatore di numerose tesi di laurea magistrale presso il corso

di laurea in “Informatica avanzata e dei sistemi” dell’Università del Piemonte

Orientale “Amedeo Avogadro”

Seminari:

● Giugno 2007 seminario su Linee guida clinica e verifica di proprietà mediante

l'uso della metodologia model checking presso l’Università del Piemonte

Orientale nell’ambito del corso di Intelligenza Artificiale 2 per il corso di laurea

in Informatica tenuto dalla Prof.ssa L. Giordano (2 ore).

● Aprile 2008 seminario su Strumenti semiautomatici per la progettazione e la

realizzazione di basi di dati e loro interazione con DBMS: DDS-pro e PostreSQL

presso l’Università del Piemonte Orientale nell’ambito del corso di Basi di dati e

sistemi informativi, per il corso di laurea di Informatica Giuridica tenuto dalla

Prof.ssa S. Montani (4 ore).

● Aprile 2009 seminario su Strumenti semiautomatici per la progettazione e la

realizzazione di basi di dati e loro interazione con DBMS: DDS-pro e PostreSQL

presso l’Università del Piemonte Orientale nell’ambito del corso di Basi di dati e

sistemi informativi, per il corso di laurea di Informatica Giuridica tenuto dalla

Prof.ssa S. Montani (4 ore).

● Novembre/dicembre 2010 ciclo di seminari su Strumenti semiautomatici per la

progettazione e la realizzazione di basi di dati e loro interazione con DBMS:

DDS-pro e PostreSQL presso l’Università del Piemonte Orientale nell’ambito del

corso di Basi di dati e sistemi informativi, per il corso di laurea di Informatica

Prof.ssa L. Giordano (8 ore).

Attività di Ricerca:

L'attività di ricerca di Alessio Bottrighi è iniziata nel 2002 con una tesi di laurea

magistrale nell'ambito del progetto GLARE (GuideLine Acquisition, Representation, and

Execution), un sistema di informatica medica per il trattamento di linee guida cliniche, e

si è col tempo estesa e generalizzata per coprire sia aspetti più teorici e\o algoritmici, sia

ambiti più ampi di ricerca. In particolare, oltre all'informatica medica, che ha costituito

spesso il settore in cui i risultati della ricerca sono stati applicati, Alessio Bottrighi si è

dedicato principalmente ai settori dell'Intelligenza Artificiale, nell'area del supporto

decisionale e del Case-based reasoning, e delle Basi di Dati.

Nella sua attività di ricerca, pur coprendo il suddetto spettro di settori e problematiche,

Alessio Bottrighi ha seguito un approccio metodologico omogeneo, cercando di (i)

fornire una analisi preliminare dei problemi, (ii) di sviluppare formalismi di

rappresentazione adeguati a rappresentarli, nonché (iii) algoritmi per il trattamento dei

dati\conoscenza rappresentati (quali ad esempio algoritmi tipici di temporal reasoning per

il trattamento di vincoli temporali in intelligenza artificiale, e algoritmi\specifiche per il

query answering su dati relazionali), (iv) analisi e dimostrazione delle proprietà di tali

formalismi e algoritmi, (v) verifica sperimentale, con sviluppo di prototipi, (vi)

applicazioni (con particolare attenzione all’ambito dell’informatica medica).

Nel seguito, verranno presentati i principali risultati di ricerca conseguiti da Alessio

Bottrighi nei settori sopra elencati.

Per quanto riguarda il campo dell'informatica medica l'attività di Alessio Bottrighi si

rivolata alla gestione computerizzata di linee guida cliniche, attività svolta nell'abito del

progetto GLARE [B1],[LN1], [B6]. Alessio Bottrighi partecipa dal 2002 insieme

all’Università del Piemonte Orientale e all’ospedale San Giovanni Battista di Torino al

progetto GLARE, allo sviluppo di un prototipo di sistema software indipendente dallo

specifico dominio clinico per l'acquisizione, la rappresentazione e l'esecuzione di linee

guida cliniche. Tale attività, iniziata con la tesi di laurea, si è in un primo momento

rivolta (a) all'analisi e allo sviluppo di estensioni architetturali del sistema al fine di

estenderne le funzionalità e\o di affrontare nuove problematiche (quali ad esempio

l'adattamento al contesto e il supporto alla decisione), e più recentemente si è focalizzata

(b) sull'utilizzo di metodologie formali (tipiche delle aree di Intelligenza Artificiale, delle

Basi di Dati e delle Reti di Petri) per la modellizzazione della semantica del sistema e\o

dei dati rappresentati, e\o l'integrazione di modelli formali per estendere le capacita'

inferenziali del sistema stesso.

Per quanto riguarda il primo aspetto (ovvero aspetto (a)), occorre premettere che la

qualità scientifica del progetto GLARE e la sua posizione di assoluta rilevanza

nell'ambito della ricerca scientifica internazionale sono attestate dalle numerose

pubblicazioni scientifiche, ma anche dall’invito a partecipare al volume “Computer-

Based Medical Guidelines and Protocols: A Primer and Current Trends” [B9] che si

configura come il punto di riferimento sull’attuale stato dell’arte nel settore. Il progetto

GLARE è inoltre parte di Openclinical, un più vasto progetto internazionale per lo

sviluppo e la diffusione dell'informatica medica, ed in particolare delle linee guida

informatizzate. Inizialmente l'attività si è concentrata l'attività nella definizione di

meccanismi semi-automatici per l'adattamento di linee guida mediche allo specifico

contesto applicativo (considerando in particolare la disponibilità di risorse) [B2], su come

applicare le tecniche di supporto alle decisione allo specifico ambito.

Per quanto riguarda il primo aspetto (ovvero aspetto (b)) Alessio Bottrighi ha concentrato

la sua attenzione sull'uso di metodologie formali nell'abito delle linee guida mediche. Il

primo risultato ottenuto riguarda la definizione di un framework generale per applicare le

tecniche di model checking al dominio delle linee guida mediche, in quanto il model

checking fornisce metodologie di analisi indipendenti dal dominio applicativo e dalle

proprietà che si intendono verificare. Nella comunità dell'informatica medica la

possibilità di utilizzare strumenti formali generali per la verifica di proprietà è un

argomento molto sentito, in particolare altri gruppi di ricerca hanno studiato l'utilizzo di

theorem prover per raggiungere tale obiettivo scontrandosi con la difficoltà pratica di

un'esplosione computazionale e giungendo ad utilizzare tecniche di model checking per

una prima fase di preprocessing. L'approccio proposto a differenza degli altri presenti in

letteratura non fa assunzioni specifiche sullo specifico formalismo di rappresentazione

delle linee guida e inoltre presenta un primo studio sistematico delle tipologie di proprietà

che si possono testare su una linea guida durante le differenti fasi del suo ciclo di vita.

In particolare in questo ambito è stato proposto una metodologia generale e system-

indipendent (testata sperimentalmente sul prototipo GLARE e con il model-checker

SPIN), e all'identificazione e la tipizzazione delle differenti tipologie di proprietà e la loro

caratterizzazione in relazione alle differenti fasi del ciclo di vita di una linea guida

medica. I primi risultati di questo lavoro sono stati presentati al Workshop on AI

techniques in healthcare: evidence-based guidelines and protocols collegato all'ECAI

[P3] e all'AMIA 2006[P9], una versione completa del lavoro è stata accetta ed è in attesa

di pubblicazione sulla rivista internazionale Artificial Intelligence in Medicine,

Elsevier[J5]. Inoltre ha effettuato uno studio generale su come le le linee guida mediche

possano essere modellato utilizzando il formalismo delle Petri Net [LN6], ponendo

attenzione non solo al potere espressivo delle varie famiglie di Petri Net, ma anche il loro

potere computazionale in ottica di utilizzare le tecniche di analisi e di simulazione fornite

dalle Petri Net. Questo studio pone le basi per una possibile comparazione a livello

semantico dei differenti formalismi per le linee guida presenti in letteratura (dato che le

reti di Petri sono un formalismo ampiamente studiato e con solide fondamenta

matematiche), fornendo al tempo stesso la possibilità di eseguire analisi sui modelli

generati (ovvero le reti di Petri corrispondenti alle linee guida modellate) con tecniche

generali ed efficienti. Recentemente in collaborazione con l'Università di Bologna ha

iniziato a studiare come la conoscenza procedurale espressa nelle linee guida cliniche e la

conoscenza dichiarativa della conoscenza medica generale apparentemente in

contraddizione tra di loro interagiscano e come tale interazione sia importante in varie

fasi del ciclo di vita di una linea guida clinica[LN7].

Per quanto riguarda l'ambito del supporto alle decisioni nel campo delle linee guida

cliniche l'attività di Alessio Bottrighi si è sviluppata nello studio teorico e nella

realizzazione di strumenti per supportare le decisioni cliniche. Un primo risultato

riguarda lo sviluppo di un un sistema simulativo di ragionamento ipotetico [J1] adatto a

permettere di prendere decisioni non solo sulla basa della conoscenza locale (come

normalmente avviene durante l'esecuzione su uno specifico paziente di un linea guida

clinica), ma permettendo di ottenere una conoscenza “globale” relativamente a costi (es.

monetari, risorse necessarie etc.) sulla possibile esecuzione futura. Tale attività è

continuata focalizzandosi sugli aspetti temporali della linee guida cliniche. Tali aspetti

sono fondamentali, data l'importanza che il tempo ha per l'esecuzione della pratica

medica, ma al contempo la loro gestione risulta essere problematica, dato che bisogna

coniugare le potenzialità espressive del linguaggio di rappresentazione con le potenzialità

computazionali di ragionamento a loro associate. L'attività svolta ha riguardato lo studio

del trattamento di vincoli temporali espressi nelle linee guida cliniche sia per quanto

riguarda la loro rappresentazione sia per quello che riguarda gli aspetti computazionali

dei meccanismi di ragionamento associati al linguaggio di rappresentazione. Si è quindi

definito un formalismo sufficientemente espressivo per la rappresentazione di un ampio

spettro di situazioni reali adatto all'espressione dei vincoli temporali presenti sulle linee

guida come estensione del formalismo STP (Simple Temporal Problem) e si sono definiti

una serie di algoritmi di ragionamento temporale basati sulla propagazione di vincoli;

questi algoritmi sono stati definiti in modo da essere computazionalmente efficienti ed è

stata dimostrata la loro completezza e la loro correttezza [J2]. In questo ambito si è inotre

studiato come poter applicare la decision theroy al dominio delle linee guida cliniche.

Questo approccio permette di poter supportare la decisione in tutti quei casi, in particolar

modo riguardo alle decisioni teraputiche, in cui non è possibili identificare a priori tra i

possibili trattamenti alternativi uno migliore. Sì è quindi studiato come mapapre i concetti

fondamentali di decision theory sulle linee guida e su come poter utilizzare gli algoritmi

classici in questo dominio relativamente a situazioni di orizzonte temporale finito e a

situazioni di orizzonte temporale infinito. Tale approccio è stato definito in modo

generale e indipendente da qualunque formalismo di linee guida o sistema per la loro

gestione; è poi stato testato sul sistema GLARE[LN3],[B3], [J6].

Nell'ambito del Case-Base Reasoning il lavoro effettuato ha riguardato in modo

particolare il trattamento di dati espressi come serie temporali, in quanto queste tipologie

di dati sollevano problematiche dovute alla loro grande dimensione: infatti non solo

necessitano di grosse dimensioni per essere memorizzate, ma il loro processamento

risulta difficile e molto dispendioso. La prima parte del lavoro svolto ha portato a studiare

e definire un'architettura CBR generale in grado di gestire la configurazione e il

processamento sia di astrazioni temporale semplici (ovvero basate sull'analisi di trend o

stati) sia di astrazioni temporale complesse (ovvero basate sull'analisi congiunta e

contemporanea di trend e stati) [P5], [J4]. L'architettura proposta è stata inoltre

implementata all'interno del sistema RHENE e testata sui dati reali rilevati durante

sessioni di emodialisi. Successivamente si è inoltre studiato una metodologia basata

sull'uso di astrazioni temporali per supportare in modo efficiente e maggiormente use-

friendly il retrieval di serie temporali sfruttando la possibilità di raffinare (o rilassare) le

astrazioni temporali rispetto alle loro due dimensioni quella del tempo e quella

dell'alfabeto delle astrazioni [LN8]. Inoltre ha collaborato nell'ambito dell'estensione del

sistema Jcolibri, un sistema CBR open-source sviluppato e mantenuto dall'università di

Madrid; tale estensione ha riguardato l'aggiunta di metodologie per il trattamento

efficiente di grosse case bases, e il supporto e la gestione di dati rappresentati come serie

temporali [P14].

Per quanto riguarda il campo delle basi di dati l'attività di Alessio Bottrighi si è

focalizzata sulla semantica delle basi di dati temporali. In particolare, ha studiato come la

semantica “point-based” normalmente assunta in modo esplicito o implicito come

fondamento dalla totalità dei database temporali ponga molte limitazioni sulla

rappresentazioni degli eventi telici. La distinzione dei fatti ed eventi in telici (ovvero fatti

con un obiettivo o culminazione – in greco telos; ad esempio: “’Marco ha costruito una

casa”) ed atelici (ovvero senza telos) risale alle categorie Aristoteliche. Tuttavia, gli

approcci relazionali alle basi di dati finora sviluppati permettono un trattamento corretto

(dal punto di vista sia teorico sia pratico) solamente di eventi atelici. Ciò, ovviamente,

pone forti limitazioni sia dal punto di vista teorico sia applicativo. É stato quindi studiato

e proposto un data model e un estensione del linguaggio TSQL2 in grado di gestire sia

fatti telici sia fatti atelici [LN4], [J3]. Tale ricerca è stata svolta in collaborazione con R.T.

Snodgrass, Department of Computer Science, University of Arizona, uno dei padri

fondatori del settore delle basi di dati temporali.

Un ulteriore aspetto su cui si è focalizzata l'attività di ricerca è stato lo sviluppo di

semantica per la gestione nell'ambito dei database temporale di lavoro cooperativo. Nello

specifico si sviluppata una estensione del modello semantico sottostante TSQL2 (ovvero

BCDM) per trattare possibili update incrementali e cooperativi. L'estensione proposta ha

riguardato sia il modello dei dati sia le operazioni di algebriche e di manipolazione dati;

inoltre su tale estensione sono state dimostrate le le proprietà di riducibilità e “upward

compatibility” rispetto al modello BCDM, che garantiscono che l’approccio proposto sia

utilizzabile come estensione della maggior parte degli approcci alle basi di dati

relazionali temporali attualmente esistenti. I risultati di questa attività svolta, descritti in

versione preliminare nella tesi di dottorato del candidato, sono attualmente sottomessi la

IEEE Transactions on Knowledge and Data Engineering, ottenento un primo giudizio di

Major Revision. Su tale approccio è stata tuttavia già è stata espressa una valutazione

positiva dal prof. Richard T. Snodgrass, Department of Computer Science, University of

Arizona uno dei padri fondatori dell'area delle basi di dati temporali; tale valutazione è

riportata in Appendice 1. Recentemente ha iniziato a studiare in collaborazione con la

Griffith University, Brisbane, Australia metodi per la gestione dei dati periodici nelle basi

di dati temporali sia da un punto di vista teorico sia da un punto di vista applicativo; i

risultati di questo studio sono sottomessi a VLDB Journal

Su queste tematiche Alessio Bottrighi ha pubblicato 5 lavori su riviste internazionali, 9

lavori su lecture notes, 9 lavori su libri con peer-review, 1 lavoro su rivista nazionale, 14

lavori su congressi e workshop internazionali con peer-review.

Partecipazione a Comitati di Programma:

● 20th IEEE International Conference on Tools with Artificial Intelligent (ICTAI)

2008, Dayton, Ohio, USA

Attività di Revisione:

For journals:

● Intelligenza Artificiale, national journal, special issue: "Il Milione. Viaggio nella

logica computazionale in Italia.", M. Baldoni and C. Baroglio(Eds).

● Journal of Healthcare Engineering , publisher Multi Science Publishing

● Artificial Intelligence in Medicine, publisher Elsevier

● Data & Knowledge Engineering, publisher Elsevier

For books:

● Computer-based medical guidelines and protocols: A primer and current trends, A.

ten Teije, S. Miksch and P. Lucas (Eds), IOS Press, 2008

For conferences:

● 10th Conference on Artificial Intelligence in Medicine (AIME 05) 23-27 July

2005 Aberdeen, Scotland

● 6th Industrial Conference on Data Mining (ICDM) 2006, Leipzig, July 2006

● 11th Conference on Artificial Intelligence in Medicine (AIME 07) July 2007

Amsterdam, Holland


● 7th IEEE International Conference on Tools with Artificial Intelligent (ICTAI)

2007, Patras, Grecia

● Computer-based medical guidelines and protocols: A primer and current trends, A

ten Teije, S Miksch and P Lucas (Eds), IOS Press ,2008


● 12th Conference on Artificial Intelligence in Medicine (AIME 09), Verona, Italy

July 2009


● 21th International Conference on Case-Based Reasoning (ICCBR) 2009, Seattle,

July 2009

● 3d International Workshop on Process-oriented information systems in healthcare

(ProHealth ’09), Ulm, Germany, September 2009.

● 8th International Conference on Case-Based Reasoning (ICCBR 2009) July 2009,

Seattle, U.S.A.

● 6th FIP Conference on Artificial Intelligence Applications & Innovations (AIAI

2010), October 2010, Ayia Napa, Ciprus

● 18th Annual Meeting of the IEEE/ACM International Symposium on Modeling,

Analysis and Simulation of Computer and Telecommunication Systems

(MASCOTS 2010), August 2010, Miami, U.S.A.

● 22th International Conference on Tools with Artificial Intelligence (ICTAI) 2010,

October 2010, Arres, France

Partecipazione a Progetti di Rilevanza Nazionale:

● MIUR-PRIN 2003 “Sviluppo e verifica di sistemi multiagente basati sulla

logica”

● MIUR-PRIN 2004 “Analisi intelligente dei dati di monitoraggio di emodialisi per

il miglioramento dei processi di cura.”.

● MIUR-PRIN 2005 “Specifica e verifica di protocolli di interazione fra agenti”.

Partecipazione a Congressi e Presentazioni:

● European Conference on Artificial Intelligence in Medicine (AIME) 2005,

Aberdeen, July 2005, presentazione di: “Clinical guidelines adaptation: managing

authoring and versioning issues” [LN4]

● Congresso Nazionale dell'Associazione Italiana per l'Intelligenza Artificiale

(AI*IA) 2005, Milano, September 2005 presentazione di: “Managing clinical

guidelines contextualization in the GLARE system” [LN5]

● 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda,

August 2006.

● Workshop on AI techniques in healthcare: evidence-based guidelines and

protocols, ECAI 2006, Riva del Garda, August 2006, presentazione dei lavori:

“Spin Model Checking for the verification of Clinical Guidelines”[P3], e

“Applying artificial intelligence to clinical guidelines: the GLARE approach”

[P4]; presentazione del progretto GLARE durante la demo session

● Workshop on Clinical Computerized Guidelines, 9-11 January 2008, Leinden

Holland

● European Conference on Artificial Intelligence in Medicine (AIME) 2009,

Verona, July 2009, presentazione del lavoro: “Modeling clinical guidelines

through Petri Nets” [LN6]

● Workshop Knowledge Representation 4 Health Care (KR4HC), Verona, 19 July

2009, presentazione del lavoro: “ Analysis of the GLARE and GPROVE

approaches to Clinical Guidelines” [P13]

● 8th International Conference on Case-Based Reasoning (ICCBR) 2010,

Alessandria, 19-22 July.

Pubblicazioni:

International Journals:

[J1] P. Terenziani, S. Montani, A. Bottrighi, M. Torchio, G. Molino, Supporting

physicians in taking decisions in clinical guidelines: the GLARE "what-if" facility,

JAMIA Symposium supplement 2002, 772-776

[J2] L. Anselma, P. Terenziani, S. Montani, A. Bottrighi, Towards a comprehensive

treatment of repetitions, periodicity and temporal constraints in clinical guidelines,

Artificial Intelligence in Medicine, Elsevier, 38(2) 171-195, 2006. Impact Factor:

1.634

[J3] P. Terenziani, R.T. Snodgrass, A. Bottrighi, G. Molino, M. Torchio, Extending

Temporal Databases to Deal with Telic/Atelic Medical Data, Artificial Intelligence in

Medicine, Elsevier, 39(2), 113-126, 2007 Impact Factor: 1.825

[J4] S. Montani, A. Bottrighi, G. Leonardi, L. Portinale, A CBR-based, closed loop

architecture for Temporal Abstractions configuration, Computationl Intelligence,

Blackwell Publishing, 25(3), 235-249, 2009. Impact Factor: 5.378

[J5] A.Bottrighi, L.Giordano, G.Molino, S.Montani. P.Terenziani, M.Torchio,

Adopting model checking techniques for clinical guidelines verification, Artificial

Intelligence in Medicine, Elsevier, 48(1) 1-19, 2010.

[J6] L. Anselma, A. Bottrighi, G. Molino, S. Montani, P. Terenziani, M. Torchio

Supporting Knowledge-Based Decision Making in the Medical Context: the GLARE

Approach, International Journal of Knowledge-Based Organizations, (accepted for

publication, to appear 2011)

National Journals:

[NJ1] M. Baldoni, C. Baroglio, G. Berio, A. Martelli, V. Patti, M.L. Sapino, C.

Schifanella, M. Alberti, M. Gavanelli, E. Lamma, F. Riguzzi, S. Storari, F. Chesani,

A. Ciampolini, P. Mello, M. Montali, P. Torroni, A. Bottrighi, L. Giordano, V.

Gliozzi, G.L. Pozzato, D. Theseider Dupré, P. Terenziani, G. Casella, V. Mascardi.

Modeling, verifying and reasoning about web services. Intelligenza Artificiale

(accepted for publication, to appear)

Lecture Notes:

[LN1] P. Terenziani, S. Montani, A. Bottrighi, M. Torchio, G. Molino, L. Anselma, G.

Correndo, Applying artificial intelligence to clinical guidelines: the GLARE

approach, Congresso Nazionale AI*IA 2003, Pisa, September 2003, in: Lecture Notes

in Artificial Intelligence 2829, A. Cappelli, F. Turini eds., 536-547

[LN2] P. Terenziani, S. Montani, A. Bottrighi, G. Molino, M. Torchio, Clinical

guidelines adaptation: managing authoring and versioning issues, Proc. European

Conference on Artificial Intelligence in Medicine (AIME) 2005, Aberdeen, July 2005,

in: Lecture Notes in Artificial Intelligence 3581, S. Miksch, J. Hunter, E. Keravnou

eds., Springer-Verlag, Berlin, 151-155

[LN3] S. Montani, P. Terenziani, A. Bottrighi, Exploiting decision theory for supporting

therapy selection in computerized clinical guidelines, Proc. European Conference on

Artificial Intelligence in Medicine (AIME) 2005, Aberdeen, July 2005, in: Lecture

Notes in Artificial Intelligence 3581, S. Miksch, J. Hunter, E. Keravnou eds.,

Springer-Verlag, Berlin, 136-140

[LN4] P. Terenziani, R.T. Snodgrass, A. Bottrighi, G. Molino, M. Torchio, Extending

Temporal Databases to Deal with Telic/Atelic Medical Data, Proc. European

Conference on Artificial Intelligence in Medicine (AIME) 2005, Aberdeen, July 2005,

in: Lecture Notes in Artificial Intelligence 3581, S. Miksch, J. Hunter, E. Keravnou

eds., Springer-Verlag, Berlin, 58-66

[LN5] P. Terenziani, S. Montani, A. Bottrighi, M. Torchio, G. Molino, G. Correndo,

Managing clinical guidelines contextualization in the GLARE system, Proc.

Congresso Nazionale dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA)

2005, Milano, September 2005, in: Lecture Notes in Artificial Intelligence 3673, S.

Bandini, S. Manzoni eds., Springer-Verlag, Berlin, 454-465

[LN6] M. Beccuti, A. Bottrighi, G. Franceschinis, S. Montani, P. Terenziani,

Modeling clinical guidelines through Petri Nets, Proc. European Conference on

Artificial Intelligence in Medicine (AIME) 2009, Verona, July 2009, in: Lecture

Notes in Artificial Intelligence 5651, C. Combi, Y. Shahar, A. Abu-Hanna eds.,

Springer-Verlag, Berlin, 61-70

[LN7] A. Bottrighi, F. Chesani, P. Mello, G. Molino, M. Montali, S. Montani, P.

Terenziani, S. Storari, M. Torchio, An hybrid approach to Clinical Guideline and to

Basic Medical Knowledge conformance, Proc. European Conference on Artificial

Intelligence in Medicine (AIME) 2009, Verona, July 2009, in: Lecture Notes in

Artificial Intelligence 5651, C. Combi, Y. Shahar, A. Abu-Hanna eds., Springer-

Verlag, Berlin, 91-95

[LN8] S. Montani, A. Bottrighi, G.Leonardi, L.Portinale, P.Terenziani, Multi-level

abstractions and multi-dimensional retrieval of cases with time series features, Proc.

of 8th International Conference on Case-Based Reasoning (ICCBR) 2009 in Lecture

Notes in Artificial Intelligence 5650, L. McGinty, D.C. Wilson eds, Springer-Verlag,

Berlin, 225-239

[LN9] A. Bottrighi, F.Chesani, P. Mello, M. Montali, S. Montani, S. Storari, P.

Terenziani, Analysis of the GLARE and GPROVE approaches to Clinical Guidelines,

in Lecture Notes in Artificial Intelligence 5650, D. Riaño, A. ten Teije, M.Peleg, S.

Miksch. (in press 2010)

[LN10] A.Bottrighi, G. Leonardi, S. Montani, L. Portinale, P. Terenziani,

Intelligent data interpretation and case base exploration through Temporal

Abstractions, Proc. of 9th International Conference on Case-Based Reasoning

(ICCBR) 2010 in Lecture Notes in Artificial Intelligence

Book:

[B1] P. Terenziani, S. Montani, A. Bottrighi, M. Torchio, G. Molino, G. Correndo, The

GLARE approach to Clinical Guidelines: main features, Symposium on

Computerized Guidelines and Protocols (CGP) 2004, Prague, April 2004, in: Studies

in Health Technology and Informatics, 101, K. Kaiser, S. Miksch, S.W. Tu, eds., IOS

Press, 162-166

[B2] P. Terenziani, S. Montani, A. Bottrighi, M. Torchio, G. Molino, G. Correndo, A

context-adaptable approach to clinical guidelines, Proc. Medinfo (World Congress for

Health Informatics) 2004, San Francisco, September 2004, , in: Studies in Health

Technology and Informatics, 107 , M. Fieschi et al. eds., IOS Press, Amsterdam, 169-

173

[B3] S. Montani, P. Terenziani, A. Bottrighi, Supporting therapy selection in

computerized clinical guidelines by means of Decision Theory, Proc. Medinfo (World

Congress for Health Informatics) 2007, Brisbane, August 2007, A. McCray et al. eds.,

IOS Press, Amsterdam, 807-811

[B4] L. Anselma, P. Terenziani, S. Montani, A. Bottrighi, Automatic treatment of

temporal issues in clinical guidelines in the GLARE system, Medinfo (World

Congress for Health Informatics) 2007, Brisbane, August 2007,A. McCray et al. eds.,


[B5] P.Terenziani, L.Anselma, A.Bottrighi, L.Giordano, S.Montani, Automatic

checking of the correctness of clinical guidelines in GLARE, Proc. Medinfo (World

Congress for Health Informatics) 2007, Brisbane, August 2007, A. McCray et al. eds.,


[B6] A Bottrighi, L Anselma, S Montani, P Terenziani, G Molino, M Torchio,

Supporting cooperative updates of clinical guidelines, Medinfo (World Congress for

Health Informatics) 2007, Brisbane, August 2007

[B7] G. Molino, P. Terenziani, L. Anselma, A. Bottrighi, M. Torchio, S. Montani,

Advantages of computer-based approaches to clinical guidelines: the case of the

GLARE approach , Proc. Medinfo (World Congress for Health Informatics) 2007,

Brisbane, August 2007

[B8] L. Giordano, A. Bottrighi, S. Montani, P. Terenziani, Applying AI model-

checking techniques to clinical guidelines, Proc. Medinfo (World Congress for Health

Informatics) 2007, Brisbane, August 2007

[B9] Paolo Terenziani, Stefania Montani, Alessio Bottrighi, Gianpaolo Molino, Mauro

Torchio, Applying Artificial Intelligence to Clinical Guidelines: the GLARE

Approach, in Computer-based medical guidelines and protocols: A primer and

current trends, A ten Teije, S Miksch and P Lucas (Eds.), IOS Press, 2008

[B10] P.Terenziani, M. Torchio, S. Femiano, A. Bottrighi, G. Molino, S. Montani

Towards an integration of workflows and clinical guidelines: a case study, Proc.

Medinfo (World Congress for Health Informatics) 2010

[B11] A. Bottrighi, M. Torchio, S. Montani, G. Molino, P. Terenziani Supporting Human

Interaction and Human Resources Coordination in Distributed Clinical Guidelines,

Proc. Medinfo (World Congress for Health Informatics) 2010, 319-323

[B12] B. Stantic, P. Terenziani, A. Sattar, A. Bottrighi, G. Governatori Towards an

implicit treatment of periodically-repeated medical data Proc. Medinfo (World

Congress for Health Informatics) 2010 , 1131-1135

Proceedings (international refereed conferences):

[P1] L. Giordano, A. Martelli, P. Terenziani, A. Bottrighi, S. Montani, A temporal

approach to the specification and verification of Interaction Protocols. In Proceedings

of WOA 2005, F. Corradini, F. De Paoli, E. Merelli e A. Omicini eds. Pitagora

Editrice Bologna

[P2] A. Martelli, M. Baldoni, C. Baroglio, V. Patti, C. Schifanella, M. Alberti, M.

Gavanelli, E. Lamma, F. Riguzzi, S. Storari , F. Chesani, A. Ciampolini, P. Mello, M.

Montali, P. Torroni, A. Bottrighi, L. Giordano, V. Gliozzi, D. Theseider Dupré, P.

Terenziani, G. Casella, V. Mascardi, Modeling, verifying and reasoning about web

services, Proceedings of the ICLP'06 Workshop Workshop on Applications of Logic

Programming in the Semantic Web and Semantic Web Services (ALPSWS2006)

Seattle, WA, August 2006, 150-152

[P3] P. Terenziani, L.Giordano, A. Bottrighi, S. Montani, L.Donzella, Spin Model

Ckecking for the verification of Clinical Guidelines, Workshop on AI techniques in

healthcare: evidence-baded guidelines and protocols, ECAI 2006, Riva del Garda,

August 2006

[P4] P. Terenziani, S. Montani, A. Bottrighi, G. Molino, M. Torchio, Applying

artificial intelligence to clinical guidelines: the GLARE approach, Workshop on AI

techniques in healthcare: evidence-baded guidelines and protocols, ECAI 2006, Riva

del Garda, August 2006

[P5] L. Portinale, S. Montani, A. Bottrighi, G. Leonardi, J. Juarez, A case-based

architecture for temporal abstraction configuration and processing, IEEE International

Conference on Tools with Artificial Intelligent (ICTAI) 2006, Washington, November

2006, 667-674

[P6] P. Terenziani, L.Anselma, A.Bottrighi, S. Montani, Advanced treatment of

temporal phenomena in clinical guidelines, Journal of the American Medical

Informatics Association (JAMIA) Symposium supplement 2006

[P7] G. Molino, P. Terenziani, S. Montani, A.Bottrighi, M. Torchio, GLARE: a

domain-independent system for acquiring, representing and executing clinical

guidelines, Journal of the American Medical Informatics Association (JAMIA)

Symposium supplement 2006

[P8] A.Bottrighi, P. Terenziani, S. Montani, M. Torchio, G. Molino, Clinical

guidelines contextualization in GLARE, Journal of the American Medical Informatics

Association (JAMIA) Symposium supplement 2006

[P9] L. Giordano, P. Terenziani, A. Bottrighi, S. Montani, L. Donzella, Model

checking for clinical guidelines: an agent-based approach, Journal of the American

Medical Informatics Association (JAMIA) Symposium supplement 2006

[P10] L. Anselma, P. Terenziani, S. Montani, A. Bottrighi, Applying AI temporal

reasoning techniques to clinical guidelines, Workshop on Spatial and Temporal

Reasoning, International Joint Conference on Artificial Intelligence (IJCAI) 2007,

Hyderabad, January 2007

[P11] G.Leonardi, A.Bottrighi, S.Montani, L.Portinale, CBR for Temporal Abstractions

Configuration in Haemodyalisis, Proc. 5th Workshop on CBR in the Health

Sciences, International Conference on Case-Based Reasoning (ICCBR-07)

[P12] G.Leonardi, A.Bottrighi, S.Montani, L.Portinale, Semi-automatic Configuration

of Temporal Abstractions of Time Series Data using CBR, International Workshop on

Case-Based Reasoning for Multimedia Data, 8th Industrial Conference on Data

Mining (ICDM) 2008, Leipzig, July 2008

[P13] A. Bottrighi, F.Chesani, P. Mello, M. Montali, S. Montani, S. Storari, P.

Terenziani Analysis of the GLARE and GPROVE approaches to Clinical Guidelines,

workshop KR4HC, Conference on Artificial Intelligence in Medicine (AIME) 2009,

Verona, July 2009

[P14] A. Bottrighi, G. Leonardi, S. Montani, L. Portinale Extending the JColibri open

source architecture for managing high-dimensional data and large case bases, IEEE

International Conference on Tools with Artificial Intelligent (ICTAI) 2009

Technical Reports

[TR1] L. Portinale, S. Montani, A. Bottrighi, G. Leonardi, J. Juarez A Case-Based

Architecture for Temporal Abstraction Configuration and Processing, TR-INF-2006-

05-02-UNIPMN, Dipartimento di Informatica, Università del Piemonte Orientale,

May 2006

[TR2] P. Terenziani, R. T. Snodgrass, A. Bottrighi, M. Torchio, and G. Molino,

Extending Temporal Databases to Deal with Telic/Atelic Medical Data, TR-85,

TimeCenter, May 2006

Dichiaro che le informazioni riportate nel presente Curriculum Vitae sono esatte e

veritiere.

Autorizzo il trattamento dei dati personali, ivi compresi quelli sensibili, ai sensi e per gli

effetti della legge 31.12.96, n. 675 per le finalità di cui al presente avviso di candidatura.

10 novembre 2010

Appendice 1

Date: Fri, 10 Nov 2006 14:22:46 -0700

From: Richard Snodgrass <[email protected]>

Subject: Bottrighi's dissertation work

To: Pietro Torasso <[email protected]>

Dear Professor Pietro Torasso:

Today Paolo Terenziani, who is visiting Tucson to attend the 2006 Entity-Relationship

conference, presented in a departmental colloquium the work he has done with Alessio

Bottrighi on cooperative BCDM.

This talk, and the underlying work, address an interesting problem that no one else that I

am aware of has tackled, that of database support for the development of clinical

guidelines (though this work also has broader applicability to the development of

standards such as the SQL standard and the WWW standards). He emphasized that the

fundamental problem was that of representing "disjunctive information": competing

proposals, only one of which would eventually be adopted.

I found their solution, utilizing a consistent semantic layer over the Bitemporal

Conceptual Data Model, to be appropriate and compelling. I also appreciated the

mathematical rigor in which this layer was defined and the necessary properties ensured.

Finally, I was pleased to see that this deep work was inspired by the collaborations that

Paolo has developed with medical doctors, who have difficult challenges for which

computer science can offer solutions.

We here at Arizona now know of the fine work that the students and faculty are doing at

the Department of Computer Science in Alessandria.

Sincerely,

Richard Snodgrass

-- Richard Snodgrass [email protected] Professor PH: (520) 621-6370 Department of Computer Science FAX: (520) 621-4246 University of Arizona P.O. Box 210077, 1040 E. Fourth St. 917 Gould Simpson Tucson, AZ 85721-0077 http://www.cs.arizona.edu/people/rts

Residente a Alessandria (AL) in via Plana 51 C.A.P....

Documents

Transcript of Residente a Alessandria (AL) in via Plana 51 C.A.P....