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
San Giovanni Battista di Torino per la ricerca e per lo sviluppo di “strumenti
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
San Giovanni Battista di Torino per la ricerca e per lo sviluppo di “strumenti
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)
2008/09 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)
2009/10 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)
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 Industrial Conference on Data Mining (ICDM) 2007, Leipzig, July 2007
● 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
● 8th Industrial Conference on Data Mining (ICDM) 2008, Leipzig, July 2008
● 12th Conference on Artificial Intelligence in Medicine (AIME 09), Verona, Italy
July 2009
● 9th Industrial Conference on Data Mining (ICDM) 2009, Leipzig, 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.,
IOS Press, Amsterdam, 935-940
[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.,
IOS Press, Amsterdam, 855-860
[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
Top Related