Relazione DISCo 2006 - Dipartimento di Informatica Sistemistica e

Transcript

UNIVERSITA’ DEGLI STUDI DI MILANO - BICOCCA
Dipartimento di Informatica,
Sistemistica Comunicazione
Relazione sull’attività svolta
2006
Dipartimento di Informatica, Sistemistica e Comunicazione
Via Bicocca degli Arcimboldi, 8
20126 Milano
Tel. 02 6448 7801• Fax 02 6448 7839
http://www.disco.unimib.it
Dal 1 Settembre 2007
Dipartimento di Informatica, Sistemistica e Comunicazione
Viale Sarca 336
Edificio U14
20126 Milano
Tel. 02 6448 7801• Fax 02 6448 7839
http://www.disco.unimib.it
Indice
1.
Il Dipartimento in breve
Pag.
2
2.
Organi dipartimentali
Pag.
4
3.
Il Personale
Pag.
4
4.
Struttura organizzativa ed amministrativa
Pag.
7
5.
Tariffari conto terzi
Pag.
8
6.
Attività di ricerca del Dipartimento
Pag.
9
7.
I numeri della ricerca
Pag.
27
8.
Pubblicazioni
Pag.
28
9.
Competenze didattiche
Pag
45
10.
Alta Formazione
Pag.
52
11.
Altre attività
Pag.
54
12.
Eventi – seminari, congressi e giornate di studio
Pag.
56
13.
Profili dei docenti e dei ricercatori
Pag.
62
i
1
IL DIPARTIMENTO IN BREVE
Il Dipartimento di Informatica, Sistemistica e Comunicazione (DISCo) è stato costituito
e attivato il 1 gennaio 1999 come aggregazione del personale docente e tecnico - amministrativo
del Dipartimento di Scienze dell’Informazione dell’Università degli Studi di Milano che aveva
scelto di trasferirsi alla costituenda Università degli Studi di Milano - Bicocca. Da allora il
Dipartimento è cresciuto raggiungendo alla fine del 2006, un organico di quarantacinque docenti
e circa altrettanti tra dottorandi e assegnisti di ricerca ma è ancora sotto-organico (anche per
quanto riguarda il personale tecnico-amministrativo). Ulteriori crescite sono quindi previste nei
prossimi anni, per attrezzare il Dipartimento agli ambiziosi obiettivi che si è dato sul piano della
didattica e della ricerca.
Il DISCo infatti segue con attenzione preoccupata la crisi di vocazione che sta riducendo
le iscrizioni a Informatica in tutti i paesi occidentali che comincia a sentirsi anche in Italia. Questa
crisi non è giustificata da una restrizione dell’offerta di lavoro nel settore, che anzi si presenta per
tutti gli analisti come uno di quelli che ancora gioca un ruolo di punta nel mercato del lavoro per i
prossimi anni, per cui si deve pensare che essa dipende dal fatto che l’offerta di lavoro nelle
professioni informatiche è qualitativamente carente (così si esprimono peraltro alcune voci
autorevoli che seguono questa questione negli Stati Uniti). Resistere all’erosione delle iscrizioni ai
corsi di laurea in Informatica ed affini è quindi una necessità per il DISCo, in primis per non
subirne gli effetti negativi, ma anche per contribuire ad attivare una controtendenza capace di
richiamare buoni studenti verso i corsi di Informatica. Questo richiede, a nostro avviso, una
maggiore capacità di rendere visibile e valorizzare il ruolo propositivo e preminente che le
professioni informatiche possono giocare in questo inizio di millennio. Obiettivo primario del
DISCo è quindi sviluppare didattica e ricerca in modo da contribuire significativamente ai
processi innovativi del sistema produttivo Italiano ed Europeo e al rilancio della ricerca Europea
nel campo delle Tecnologie per la Società dell’Informazione. Noi vogliamo formare non semplici
programmatori, che nel chiuso dei laboratori e delle cantine codificano algoritmi e strutture dati,
ma progettisti della Società dell’Informazione, capaci di dare forma, collaborando con architetti,
designer, antropologi, sociologi e psicologi, alla Società dell’Informazione secondo le indicazioni
della Comunità Europea che vuole che l’Europa diventi nei prossimi anni la più avanzata società
della conoscenza per apertura e dinamicità.
Come è scritto sopra, è un obiettivo ambizioso che richiede una stretta integrazione tra
ricerca e didattica, per far sì che l’insegnamento sia costantemente aggiornato alle più nuove
tendenze tecnologiche, una ampia apertura culturale per dare a ricerca e didattica respiro, e
qualità.
Rispetto al nuovo ordinamento degli studi, i docenti del DISCo hanno fatto la scelta di
non proporre fino ad ora una varietà di nuovi corsi di laurea e/o di laurea magistrale attivando un
solo corso di laurea ed un solo corso di laurea magistrale in Informatica e limitandosi a definire al
loro interno diversi indirizzi, che consentono di approfondire temi e problematiche di rilievo.
Stiamo comunque lavorando, sulla base della esperienza fatta fin qui, alla articolazione della
nostra offerta formativa in più corsi di laurea e di laurea Magistrale in modo da aderire meglio alle
differenziazioni che riscontriamo nel mercato del lavoro e nelle professioni emergenti. Questo
sarà ancora svolto in collaborazione con le altre discipline caratterizzanti l’offerta formativa
dell’Ateneo, come in passato. E' già ampia, infatti, la collaborazione che il DISCo offre alle altre
discipline nei corsi di Informatica previsti dai piani di studio dei loro corsi di laurea e laurea
magistrale. Oltre a ciò, i docenti del DISCo sono anche impegnati in due corsi di Laurea
Magistrale multi-disciplinari; uno in cooperazione con il Dipartimento di Biotecnologie e
Bioscienze (corso di Laurea Magistrale in Bioinformatica) ed uno in cooperazione con la Facoltà
di Psicologia (corso di Laurea Magistrale in Teoria e Tecnologia della Comunicazione).
2
Le attività di ricerca del Dipartimento sono fortemente integrate con le attività
didattiche: tutti i responsabili di laboratorio fanno attività didattica direttamente collegata con le
attività di ricerca svolta nei loro laboratori; stages e tesi interne (che si svolgono nei Laboratori
del DISCo) sono inserite nei numerosi progetti che ivi si svolgono e danno luogo a ricerche
innovative e originali. Anche la grande parte dei dottorandi collabora con i Laboratori e svolge al
loro interno la tesi di dottorato.
L’attività di ricerca è prevalentemente esercitata in sede anche se vi sono numerose
collaborazioni industriali ed accademiche a livello italiano e internazionale. Come si evince dalla
presentazione dell’attività di ricerca che occorre nel Capitolo 6, è ormai completata una prima
fase di consolidamento e accorpamento delle attività in quattro aree di ricerca cui fanno
riferimento numerosi Laboratori. Molte delle attuali attività di ricerca potranno utilmente
espandersi con l’arrivo di nuovi docenti e giovani ricercatori; alcune sono già fortemente
competitive a livello internazionale, altre sono in fase di espansione. Anche il livello di
collaborazione internazionale del DISCo è in forte espansione: già oggi il DISCo è partner di tre
Reti di Eccellenza Europea e collabora in progetti Europei con alcune decine di istituzioni di
ricerca e/o imprese. Stiamo perciò preparandoci ad una seconda fase, in cui a fianco dei
Laboratori interni, possibilmente resi più forti e visibili da accorpamenti che amplino finalità e
risorse, si creeranno laboratori e centri e di ricerca in collaborazione con partner esterni che
consolideranno alcune delle collaborazioni che già sono attive. Siamo già presenti con un ruolo
di guida nel Centro interdipartimentale NOMADIS, sorto nell’ambito del Dottorato multidisciplinare QUA-SI (Qualità della Vita nella Società dell’Informazione), nel corso del 2007
diventerà operativo il Centro Studi e Ricerche CSAI (Complex Systems and Artificial
Intelligence), sono in corso di gestazione altri centri in collaborazione con imprese esterne ed altri
dipartimenti dell’Ateneo.
I laboratori didattici sono un punto di “forza” del Dipartimento: sono gestiti con
tecniche industriali ed offrono agli studenti un ambiente uguale o migliore di quello che
potrebbero trovare in laboratori informatici aziendali. L’intenso uso didattico effettuato dai corsi
di studio in Informatica ha saturato ampiamente le risorse attualmente disponibili, per cui stiamo
progettando una loro estensione ed articolazione.
Infine, vogliamo ricordare che nel corso del 2005 è stato deciso dall’Ateneo di assegnare
al DISCo una nuova sede autonoma e più grande, capace di ospitarlo al meglio e di renderlo un
punto di riferimento per la comunità scientifica e professionale dell’informatica. Il trasferimento
nella nuova sede (U14 – Viale Sarca 336, U14, 20126 Milano) avverrà nell’estate 2007.
3
2
ORGANI DIPARTIMENTALI
Direttore:
Giorgio De Michelis
Vice Direttore:
Stefania Bandini
Segretario Amministrativo:
Elena Ippolito
3
IL PERSONALE
Professori I fascia
Archetti Francesco
Bandini Stefania
Batini Carlo
Bisiani Roberto
Bonizzoni Paola
Cattaneo Gianpiero
De Michelis Giorgio
Mauri Giancarlo
Melen Riccardo
Pezzè Mauro
Simone Carla
Tisato Francesco
Professori II fascia
Antoniotti Marco
Arcelli Fontana Francesca
Cardone Felice
De Paoli Flavio
Fagiuoli Enrico
Ferretti Claudio
Messina Vincenzina
Pasi Gabriella
Polillo Roberto
Pomello Lucia
Schettini Raimondo
Sorrenti Domenico Giorgio
Stella Fabio
Zandron Claudio
Ricercatori
Bernardinello Luca
Ciucci Davide
Denaro Giovanni
Dennunzio Alberto
Dominoni Matteo
Gasparini Francesca
Le Van Huu
Leporati Alberto
Lulli Guglielmo
Manzoni Sara
Marchese Fabio
s.s.d.
MAT/09
INF/01
ING-INF/05
INF/01
INF/01
INF/01
INF/01
INF/01
ING-INF/03
ING-INF/05
INF/01
INF/01
INF/01
ING-INF/05
INF/01
INF/01
MAT/09
INF/01
MAT/09
INF/01
INF/01
INF/01
INF/01
ING-INF/05
MAT/09
INF/01
INF/01
INF/01
INF/01
INF/01
ING-INF/05
INF/01
Dal 01/09/06
INF/01
INF/01
MAT/09
INF/01
INF/01
4
Mariani Leonardo
Maurino Andrea
Micucci Daniela
Raibulet Claudia
Vanneschi Leonardo
Vizzari Giuseppe
ING-INF/05
ING-INF/05
INF/01
INF/01
INF/01
INF/01
Dal 01/09/06
INF/01
Zoppis Italo
Personale tecnico amministrativo a tempo indeterminato
Personale
Bonetti Mario
Area
Qualifica Servizio
Amministrativa
C
Segreteria Amministrativa
Vice Segretario Amministrativo
Amministrativa
C
Fornari Fabio
(dal 20/03/06)
Ippolito Elena
Amministrativa
D
Segretario Amministrativo
Pellegrini Fabrizia
Amministrativa
D
Perrotta Francesco
Amministrativa
C
Segreteria di Dipartimento Segreteria dei Corsi di Studio in
Informatica
Servizi Generali
Reguzzoni Fabio
Tecnica
D
Servizi Informatici
Robaldo Silvia
Amministrativa
C
Segreteria di Dipartimento
Rocca Luca
Tecnica
D
Servizi Informatici
Serenelli Giancarlo
Amministrativa
C
Segreteria Didattica
Vanola Maria Grazia
Amministrativa
C
Personale tecnico amministrativo a tempo determinato
Personale
Arosio Eleonora
(dal 13/03/06 )
Drusetta Doris
(fino al 11/12/06)
Proietto Andrea
(fino al 18/12/06)
Shahin Tamer
(dal 13/11/06)
Spiga Filippo
(dal 13/11/06)
Area
Qualifica Servizio
Amministrativa
C
Amministrativa
C
Tecnica
C
Servizi Informatici
Amministrativa
D
Tecnica
D
Segreteria Didattica (su fondi del
Dipartimento)
Servizi Informatici - progetto
cluster SCILX (su fondi del
Dipartimento)
5
Dottorandi
Dottorando
Adorni Marzia
Bianucci Daniela
Brandizi Marco
Cabitza Federico
Radaelli Paolo
Stefani Marco
Tosi Davide
Calegari Silvia
Campanelli Pietro
Colombo Alessandro
Farina Fabio
Gallini Alberto
Locatelli Marco Paolo
Orciari Stefano
Pescini Dario
Rombolà Stefania
Toscani Daniele
Barone Daniele
Felloni Sara
Fersini Elisabetta
Lanzeni Stefano
Marzorati Daniele
Merelli Ivan
Molteni Davide
Oldani Marco
Redaelli Stefano
Bianco Simone
Bonomi Andrea
Cazzaniga Paolo
Comerio Marco
Cristina Luca
Giordani Ilaria
Maggioni Stefano
Mancuso Francesco Mattia
Manfredotti Cristina Elena
Merico Davide
Pastore Fabrizio
Pirola Yuri
Dottorato di Ricerca in
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
Informatica
ciclo
XIX
XIX
XIX
XIX
XIX
XIX
XIX
XX
XX
XX
XX
XX
XX
XX
XX
XX
XX
XXI
XXI
XXI
XXI
XXI
XXI
XXI
XXI
XXI
XXII
XXII
XXII
XXII
XXII
XXII
XXII
XXII
XXII
XXII
XXII
XXII
Titolari di assegni di ricerca
Assegnista
Ciocca Gianluigi
Titolo della ricerca
Database multimediale
Colombo Gianluca
Cusano Claudio
Bioinformatica e modelli di calcolo bioispirati
Sviluppo di un sistema integrato di
elaborazione delle immagini 3D, modulare ed
adattabile a diverse applicazioni metodologie
6
Responsabile
Raimondo
Schettini
Giancarlo Mauri
Raimondo
Schettini
innovative per il riconoscimento di volti 3D
Sviluppo di modelli di architetture Giancarlo Mauri
computazionali basati sui dispositivi a livello
nanometrico
Gasparini Francesca Elaborazione delle immagini
Raimondo
(fino al 01/09/ 06)
Schettini
Manfredotti
Sviluppo di un sistema integrato di
Enza Messina
Cristina Elena
elaborazione delle immagini 3D, modulare ed
(fino al 31/08/ 06)
adattabile a diverse applicazioni
Mantegari Glauco
Studio di architetture mobili riconfigurabili in Mauro Pezzè
(dal 01/07/06 al diversi ambiti applicativi
01.11.06)
Mosca Alessandro
Rappresentazione della conoscenza
Stefania Bandini
Oldani Marco
Modelli di ragionamento per sistemi di
Francesco Tisato
(fino al 16/11/ 06)
videosorveglianza
Sartori Fabio
Rappresentazione della conoscenza
Stefania Bandini
Vitale Antonio
Modelli formali per la simulazione di processi Claudio Zandron
(dal 01/05/06)
biologici
Gallini Alberto
(fino al 31/03/ 06)
4
STRUTTURA ORGANIZZATIVA ED AMMINISTRATIVA
Personale addetto: Elena Ippolito (Responsabile, Segretario amministrativo), Eleonora Arosio
(dal 13/03/06), Mario Bonetti (Vice Segretario Amministrativo), Doris Drusetta (fino al
11/12/06), Fabio Fornari (dal 20/03/06).
Segreteria di Dipartimento - Segreteria dei corsi di studio in Informatica
Personale addetto: Fabrizia Pellegrini (Responsabile), Silvia Robaldo.
Personale addetto: Giancarlo Serenelli, Shahin Tamer (dal 13/11/06), Maria Grazia Vanola.
Servizio Logistica e Servizi Informatici
Personale addetto: Fabio Reguzzoni (Responsabile), Andrea Proietto (fino al 18/12/06), Luca
Rocca, Filippo Spiga (dal 13/11/06).
Servizi Generali:
Personale addetto: Francesco Perrotta.
7
Tabella sintetica dell’attività amministrativo-contabile
N°
Importo
Mandati
828
1.423.637,69
Impegni
792
1.996.622,23
Reversali
56
1.076.221,16
Accertamenti
74
3.242.714,37
261
161.027,50
10
12.130,49
158
124.946,91
73
3.614.375,66
Missioni
Pagamenti verso l’estero
Registrazioni materiali
inventariati
Variazioni bilancio
5
TARIFFARI CONTO TERZI
Il Dipartimento adotta il tariffario dell’Ateneo.
8
6
ATTIVITA’ DI RICERCA
AREE
ARCHITETTURE E ANALISI DEL SOFTWARE, SISTEMI DISTRIBUITI,
IMAGING E VISIONE ARTIFICIALE, ROBOTICA.
Metodologie di progettazione e paradigmi di programmazione orientati agli oggetti. Analisi, test e
collaudo del software. Modelli e infrastrutture per la costruzione e la gestione di sistemi software
distribuiti, basati su componenti e loro composizioni. Architetture software per sistemi in tempo
reale con applicazioni ai sistemi di videosorveglianza e di monitoraggio e controllo dell'ambiente
e del traffico. Riflessione computazionale con applicazioni alla qualità del servizio nei sistemi
distribuiti. Sistemi informativi decentrati basati su flussi documentali. Architetture software
cooperative per sistemi G2C. Architetture software, streaming video e acquisizione automatica di
lezioni per l'istruzione a distanza e per la gestione di strutture accademiche. Sistemi di ELearning. Trasmissione multimediale con terminali mobili. Strumenti per la catalogazione di
documenti in Internet. Elaborazione delle immagini e visione artificiale per robotica mobile e
controllo del traffico. Pianificazione e controllo di traiettoria di robot mobili. Modelli, metodi, e
sistemi per l’imaging e la visione. Colorimetria; Modelli, metodi, e sistemi per la gestione e
riproduzione del colore. imaging multispettrale; riconoscimento di volti 2D e 3D; video sorveglianza; classificazione d’immagini; Modelli, metodi, e sistemi per l’archiviazione e la
gestione di immagini, video ed oggetti tridimensionali. Usabilità dei sistemi interattivi, con
particolare riguardo alle applicazioni web. Modelli di qualità e valutazioni di qualità delle
applicazioni web. Sistemi informativi decentrati basati sui flussi documentali con applicazioni
nella Pubblica Amministrazione e nel SCM. Analisi di tecniche e tool per le Reverse Engineering
e la ricostruzione di Architetture Software.
A questa area fanno riferimento i seguenti Laboratori di Ricerca:
Architetture Software, Evoluzione dei Sistemi Software e Reverse Engineering (ESSeRE),
Imaging and Vision, Informatica e Robotica per l’Automazione, Ingegneria del Software
Distribuito, Multimedia and Communication Technologies – Mlab, OpenIt – Strumenti Open
Source.
BASI DI DATI E SISTEMI INFORMATIVI, INTELLIGENZA ARTIFICIALE,
INGEGNERIA E GESTIONE DELLA CONOSCENZA E TECNOLOGIE PER
LA COOPERAZIONE.
Metodi, strumenti e tecnologie dell’Intelligenza Artificiale e delle scienze della cognizione per il
trattamento della conoscenza, per la progettazione e lo sviluppo di sistemi basati sulla conoscenza
e per attività di Knowledge Management (Case-Based Reasoning, Qualitative Reasoning).
Modelli, tecniche e strumenti di ingegneria della conoscenza: supporto knowledge-based per la
formulazione chimica. Modellazione e simulazione di sistemi dinamici discreti mediante modelli
computazionali basati su estensioni di automi cellulari e su comunità di agenti reattivi. Sistemi
multi-interfacce di supporto alla gestione della conoscenza e al coordinamento. Modelli di
awareness nel lavoro cooperativo. Sviluppo di sistemi a supporto della comunicazione e la
cooperazione tra gruppi di persone nelle comunità di pratiche, sociali e virtuali. Applicazioni
basate su agenti intelligenti per la realizzazione di reti di supporto al lavoro cooperativo. Qualita’
dei dati nei sistemi informativi: metodologie per l’assessment e il miglioramento, modellistica per
le dimensioni di qualita’. Repositories di schemi concettuali di basi di dati: metodologie e
9
strumenti per il progetto, il riuso, l’analisi. Service oriented computing: metodologie e strumenti
per il progetto di servizi contex aware, con profilo utente e qualita’ del servizio. Modelli e
metodologie per la pianificazione strategica e la e-readerness nell’eGoverment.
Elaborazione Testi, Intelligenza Artificiale – L.INT.AR , Modelli e Architetture per il
Coordinamento, Qualita’ del Software e dei Sistemi Informativi, Tecnologie per la Cooperazione.
BIOINFORMATICA, SISTEMI COMPLESSI E MODELLI FORMALI DI
SISTEMI DISTRIBUITI.
Modelli e algoritmi di calcolo molecolare e calcolo quantistico. Sperimentazione di
algoritmi di approssimazione per l'analisi di sequenze biologiche e predizione struttura di
proteine. Sviluppo di algoritmi per la soluzione di problemi di ottimizzazione combinatoria in
biologia computazionale. Studio di metodi teorici e computazionali basati su automi cellulari per
la descrizione e la simulazione di sistemi dinamici complessi in contesto massicciamente parallelo
(dinamica di fluidi, dinamica delle popolazioni e dei sistemi preda-predatore, fenomeni di
aggregazione); studio della nozione di caos in sistemi dinamici, in particolare quelli generati da
Automi Cellulari e quelli simbolici, con analisi dei linguaggi formali associati. Generazione di
porte conservative e reversibili di tipo quantistiche per logiche a multi valori fuzzy modaliintuizionistiche. Studio di strutture algebriche che assiomatizzano logiche non standard, in
particolare di quelle strutture che hanno come modelli i fuzzy sets e i rough sets. Studio dei
fondamenti della teoria della concorrenza e dei sistemi distribuiti. Sviluppo e studio di modelli e
tecniche formali per processi e per la specifica e la sintesi di sistemi distribuiti.
Bioinformatica e Calcolo Naturale, Fisica Computazionale per Sistemi Complessi,
Modelli Formali di Sistemi Distribuiti.
INFORMAZIONE, FINANZA E AMBIENTE, RETI COMPUTAZIONALI E
SCIENZE DELLA DECISIONE.
Sviluppo di metodologie di valutazione e modelli di ottimizzazione per l'analisi e la
gestione del rischio. Sviluppo di sistemi integrati di modellizzazione soluzione ed analisi di
problemi di ottimizzazione in ottica ASP. I principali settori di applicazione sono quello
finanziario, quello ambientale e quello manifatturiero (Supply Chain Management).
Applicazioni di interesse più recente riguardano problemi di systems biology con
particolare riguardo all’analisi e ottimizzazione di reti biologiche attraverso l’ultilizzo si tecniche di
ottimizzazione di flusso su reti e lo sviluppo di modelli di simulazione basati su Reti di Petri.
Data Mining, Reti Neurali e Reti Bayesiane (Aspetti teorici inerenti all’apprendimento
automatico delle componenti qualitativa e quantitativa; sviluppo di libreria di data WEB e text
mining in ambito produttivo, finanziario, biotecnologico e della new economy); Computational
Finance (tecniche di Ricerca Operativa per problemi di allocazione ottimale del capitale, tecniche
computazionali basate su reti neurali per la stima di probabilità di default di soggetti industriali;
metodi informatici per investimenti e trading on-line).
Informazione, Finanza e Ambiente; Reti Computazionali e Scienze della Decisione.
10
LABORATORI
Architetture Software
(Responsabile F. Tisato)
Attrezzature ospitate: 8 PC
Numero di posti disponibili: 20
Integrazione tra interessi di ricerca e docenza svolta: Programmazione, Ingegneria del
Software, Laboratorio di Progettazione.
Temi di ricerca: Metodologie di progettazione e paradigmi di programmazione orientati agli
oggetti. Architetture software per sistemi in tempo reale “self-aware” con applicazioni ai sistemi
di monitoraggio e controllo dell'ambiente e del traffico. Riflessione computazionale con
applicazioni alla qualità del servizio nei sistemi distribuiti.
Sistemi informativi decentrati basati su flussi documentali.
Analisi di tecniche e tools per la reverse engineering, visualizzazione di codice e riconoscimento
dei design patterns. Sviluppo di plug-in di Eclipse per il riconoscimento dei design pattern.
Bioinformatica e Calcolo Naturale
(Responsabile G. Mauri)
Attrezzature ospitate: 5 Workstation Unix/Linux
Integrazione tra interessi di ricerca e docenza svolta: Bioinformatica, Algoritmi e Strutture
Dati (elementi e complementi), Soft Computing, Teoria dell’Informazione.
Sottosezione del laboratorio: Algoritmica Sperimentale, Responsabile P. Bonizzoni. Temi di
ricerca: Disegno e sperimentazione di algoritmi di approssimazione per problemi combinatori in
Biologia Computazionale (haplotyping, confronto e ricostruzione di alberi filogenetici,
clusterizzazione di dati di espressione genica da microarray, allineamento multiplo di DNA).
Disegno di algoritmi su grafi. Complessita' computazionale (non approssimibilita' di problemi di
ottimizzazione).
Temi di ricerca: Modelli per il calcolo molecolare: splicing systems, P-systems; Algoritmi per il
pattern discovery in biosequenze; Individuazione di siti di splicing alternativo.
Elaborazione Testi
(Responsabile H. Le Van)
Attrezzature ospitate: 5 PC, 1 Workstation Unix/Linux, 1 Workstation Unix
Integrazione tra interessi di ricerca e docenza svolta: Metodi per il trattamento dei testi,
Sistemi per l'elaborazione delle informazioni, Tecnologie per la comunicazione tramite Web.
Parole-chiave: Linguaggi di markup, Web, prossimità semantica.
Temi di ricerca: Riguardano i problemi di analisi e manipolazione di testi, gli strumenti per la
preparazione e analisi di documenti strutturati in ambiente Web, in base ai linguaggi standard di
markup (SGML, HTML, XML,...), le architetture di ipertesti. Altri temi sono i metodi di accesso
ai documenti, sistemi di information retrival ed algoritmi di prossimità semantica fra frasi di
linguaggio naturale.
Evoluzione dei Sistemi Software e Reverse Engineering (ESSeRE)
(Responsabile F. Arcelli Fontana)
Attrezzature ospitate: presso laboratorio SAL e LTA
Integrazione tra interessi di ricerca e docenza svolta: Ingegneria del Software I, Ingegnaria
del Software (Progettazione OO), Evoluzione dei sistemi software e reverse engineering.
Temi di ricerca: Analisi di tecniche e tools per la reverse engineering, in particolare per la
ricostruzione dell’architettura software e per il riconoscimento dei design patterns da codice Java
11
e C++. Analisi di strumenti per l’Application Portfolio Management, per la visualizzazione di codice e
per la migrazione di componenti legazy verso architetture orientate ai servizi. Utilizzo di tecniche
di classificazione supervisionata per il riconoscimento di design patterns.
(http://essere.disco.unimib.it/)
Fisica Computazionale e Sistemi Complessi
(Responsabile G. Cattaneo)
Attrezzature ospitate: 9 PC + Server
Numero posti disponibili: 8/10
Integrazione tra interessi di ricerca e docenza svolta: Cibernetica (Elementi e Complementi
di Teoria dei Sistemi). Informatica Applicata (Logiche Fuzzy e rough)
Temi di ricerca: Automi Cellulari (C.A.) per la simulazione di sistemi dinamici complessi.
Approccio Lattice Boltzmann C.A. per la fluidodinamica. Dinamiche Caotiche, subshift e
linguaggi formali associati. Classificazione dinamica di C.A. Algebre per logiche fuzzy e rough
nella gestione delle informazioni vaghe e imprecise. Computazione quantistica: porte
conservative e reversibili per logiche multi valore.
Imaging and Vision
(Responsabile R. Schettini)
Attrezzature ospitate: 14 PC, vari dispositivi per l’acquisizione, misura, visualizzazione e
riproduzione delle immagini.
Integrazione tra interessi di ricerca e docenza svolta: Elaborazione delle immagini (elementi
e complementi). Basi di dati.
Persone coinvolte: R. Schettini, A. Colombo, G. Ciocca, C. Cusano, F. Gasparini, C. Gatta,; G.
Novati, P. Pellegri, C. Brambilla, I. Gagliardi, S. Zuffi; D. Rizzini, Cristian Lucania; Emanule
Bonomi; Mirko Beccaria.
Temi di ricerca: Elaborazione, analisi e classificazione di immagini, video ed oggetti
tridimensionali. Indicizzazione automatica di oggetti, immagini e video, in funzione delle loro
caratteristiche pittoriche. Gestione e riproduzione del colore. Imaging spettrale; imaging di
oggetti tridimensionali. Video-sorveglianza. Riconoscimento volti 2D e 3D.
Informatica e Robotica per l’Automazione
(Responsabile D.G. Sorrenti)
Attrezzature ospitate: Telecamere, sistemi di acquisizione immagini, vari sensori di visione
omnidirezionale autocostruiti, qualche PC, robot mobile commerciale Robuter (Robosoft), robot
mobile autocostruito per competizioni RoboCup f2000.
Integrazione tra interessi di ricerca e docenza svolta: Robotica (elementi): progetti d'esame,
stages e tesi; Robotica (complementi): laboratorio, progetti d'esame, stages e tesi; Visione
artificiale: laboratorio, progetti d'esame, stages e tesi; Elaborazione delle Immagini
(complementi): progetti d'esame; Elaborazione Numerica dei Segnali: progetti d'esame;
Laboratorio di informatica (progettazione): progetti d'esame; Informatica industriale: progetti
d'esame e stages.
Temi di ricerca: Elaborazione dei segnali, delle immagini e visione artificiale per la robotica
mobile ed il controllo del traffico; modellizzazione 2D/3D di ambienti; pianificazione di
traiettoria di robot mobili; (auto)localizzazione di robot mobili; tracking di agenti robotici mobili;
architetture di controllo e governo di robot.
Informazione, Finanza e Ambiente
(Responsabili F. Archetti, E. Messina)
Attrezzature ospitate: 8 PC/server
12
Integrazione tra interessi di ricerca e docenza svolta: Ricerca Operativa, Probabilità e
Statistica, Analisi dei Sistemi Finanziari, Modelli decisionali per l’e-commerce
Temi di ricerca: Modelli e metodi di ottimizzazione in condizioni di incertezza in diverse aree
applicative (supply chain, retail, finance, pharma, systems biology), modelli probabilistici per il
clustering e la modellizzazione di utenti web. Applicazioni di interesse più recente riguardano
problemi di systems biology con particolare riguardo all’analisi e ottimizzazione di reti biologiche
attraverso l’ultilizzo si tecniche di ottimizzazione di flusso su reti e lo sviluppo di modelli di
simulazione basati su Reti di Petri.
Un risultato particolarmente significativo delle attività nel settore Systems biology è il deposito a
livello Europeo e la successiva estensione negli USA del Brevetto DELOS - Discovery and Lead
Optimitazion System. Si tratta di un metodo di costruzione e selezione di librerie virtuali di
chimica combinatoriale che consente la progettazione di una piattaforma sw bioinformatica per il
drug discovery.
Uteriori temi di ricerca riguardano:
- Tecniche di preprocessamento di immagini finalizzate al tracking di oggetti in movimento
- Metodi statistici per information Retrieval e Information Extraction
- Metodi di apprendimento automatico per ambient intelligence e in particolare anomaly
detection in sistemi di videosorveglianza
- Data e information fusion per sistemi multisensoriali e in particolare Wireless mobile Sensor
Networks
Ingegneria del Software Distribuito
(Responsabile F. De Paoli)
Attrezzature ospitate: 2 Workstation/Server Linux/Unix, 2 Mac/server Apple, 5 PC/server
Numero posti disponibili: 8
Temi di ricerca: Sistemi collaborativi per la gestione e la condivisione della conoscenza, sistemi
di classificazione (semi)automatica mediante ontologie e del tracciamento del comportamento,
interazione e interfacce uomo-macchina per sistemi collaborativi, modelli e tecnologie
multiagente e peer-to-peer per il supporto alla comunicazione, linguaggi di descrizione e
composizione per web-services con caratterizzazioni di qualità del servizio.
Integrazione tra interessi di ricerca e docenza svolta: Sistemi Distribuiti (laurea Specialistica
in Informatica), Paradigmi di Programmazione Concorrente e Distribuita (laurea in Informatica),
Internet e Nuove Tecnologie (Laurea in Teoria e Tecnica della Comunicazione)
Intelligenza Artificiale - L.INT.AR
(Responsabile S. Bandini)
Attrezzature ospitate: 12 PC/server, 2 Server Linux
Integrazione tra interessi di ricerca e docenza svolta: Intelligenza Artificiale (Elementi e
Complementi), Rappresentazione della Conoscenza, Ingegneria della Conoscenza e Sistemi
Esperti. Aspetti epistemologici dell’Informatica.
Temi di ricerca: Knowledge Based Systems, Case-Based Reasoning, Knowledge Management,
Pervasive Computing, Multi-Agent Systems, Automi Cellulari, Multi-Agent Based Simulation,
Metodi, strumenti e tecnologie dell’Intelligenza Artificiale, di Ingegneria della Conoscenza, e di
Semantic Web.
Modelli e Architetture per il Coordinamento
(Responsabile C. Simone)
Parole chiave: Modelli e delle architetture per il coordinamento, Computer Supported
Cooperative Work, Knowledge Management, Interfacce 3D.
13
Persone coinvolte: F. Cabitza, M. Locatelli, F. Nunnari, , M. Sarini, C. Simone.
Integrazione tra interessi di ricerca e docenza svolta: Linguaggi di Programmazione
(elementi), Linguaggi per il coordinamento e la cooperazione, Gestione e condivisione della
conoscenza; Modelli Ccmputazionali per la Comunicazione, Tecnologie per la Comunicazione
Aziendale (Corso di Laurea in Scienze della Comunicazione-indirizzo psicologico).
Temi di ricerca: L’attività di ricerca si svolge principalmente nell’area dei modelli e delle
architetture per il coordinamento e nella loro applicazione alla progettazione di sistemi di
supporto al coordinamento, alla gestione della conoscenza e della comunicazione in strutture
organizzative e allo sviluppo di interfacce innovative in ambiente 3D.
Modelli Formali di Sistemi Distribuiti
(Responsabili L. Pomello, F. Cardone)
Attrezzature ospitate: 3 PC; 1 Workstation
Integrazione tra interessi di ricerca e docenza svolta: Fondamenti Logico-Matematici
dell’Informatica, Metodi Formali dell’Informatica.
Temi di Ricerca: Teoria dei sistemi concorrenti, teoria delle reti di Petri, logiche quantistiche;
teoria dei tipi ricorsivi, semantica denotazionale dei linguaggi di programmazione.
Multimedia and Communication Technologies - Mlab
(Responsabile R. Bisiani)
Attrezzature ospitate:18 PC/server
Integrazione tra interessi di ricerca e docenza svolta: Tecnologie per la Comunicazione,
Architettura degli elaboratori, Architettura delle Reti, Sistemi operativi
Temi di ricerca: Tecnologie per la comunicazione: applicazioni ed apparati mobili, trattamento
di dati multimediali. Architettura di calcolatori e parallelismo: cluster e grid.
OpenIt – Strumenti Open Source
(Responsabile C. Ferretti)
Attrezzature ospitate: 1 PC/Linux server, 4 PC/Linux workstation
Integrazione tra interessi di ricerca e docenza svolta: Sistemi Operativi e Reti, Sicurezza e
Crittografia.
Temi di ricerca: Analisi del codice sorgente, sviluppo cooperativo, sicurezza.
Qualita’ del Software e dei Sistemi Informativi
(Responsabili C. Batini e M. Pezzè)
Temi di ricerca generali : Qualità del software, Test e analisi del software, Test di software
orientato agli oggetti, Test di software basato su componenti, Tecniche di progetto per la
testabilità, Test di applicazioni web complesse. Qualità dei dati. Tecniche e strumenti per la
qualita’ dei dati. Qualità dei servizi.
Reti Computazionali e Scienze della Decisione
(Responsabili E. Fagiuoli, F. Stella)
14
Integrazione tra interessi di ricerca e docenza svolta: Ricerca Operativa, Probabilità e
Statistica, Laboratorio di Ricerca Operativa, Probabilità e Statistica, Data Mining, Business
Intelligence.
Temi di Ricerca: Modelli, algoritmi e sistemi software per il Data Mining, Text Mining e WEB
Mining. Customer Relationship Management (CRM) e Business Intelligence (BI). Algoritmi per
l’investimento di portafoglio on-line. Sistemi software per la misurazione ed il controllo integrato
del rischio finanziario.
Tecnologie per la Cooperazione
(Responsabile G. De Michelis)
Attrezzature ospitate: 2 Workstation Unix/Linux, 2 Macintosh, 5 PC/server
Integrazione tra interessi di ricerca e docenza svolta: Basi di dati e sistemi informativi Supporto alla cooperazione
15
PROGETTI DI RICERCA
PROGETTI NAZIONALI
Titolo:
Algoritmi biomolecolari per problemi NP-completi.
Responsabile: Vincenzo Manca (Univ. di Verona)
Tipo:
Programma strategico tecnologie abilitanti per la società della conoscenza (FIRB)
Durata:
Marzo 2003 – Marzo 2006
Partecipanti: G. Mauri, C. Zandron
Descrizione: Il progetto riguarda lo studio dei modelli di calcolo teorici ispirati ai processi di
tipo biologico.
Sono stati definiti sistemi a membrane probabilistici dinamici, modelli di tipo discreto e stocastico
in cui i valori di probabilita' associati alle regole cambiano durante l'evoluzione del sistema. Tali
modelli sono stati poi utilizzati come nuovi strumenti per l'analisi di vari processi di tipo
biochimico quali, ad esempio, il funzionamento della pompa transmembranica Sodio-Potassio
presente nelle cellule eucariote.
Titolo:
Responsabile:
Durata:
Partecipanti:
Algoritmi di prossimità semantica fra frasi in linguaggio naturale
Le Van Huu
2005-2006
L. Vitari, R. Fermi
Descrizione: Il progetto riguarda l’implementazione di un sistema di classificazione di
documenti, basato sugli algoritmi di prossimità semantica fra testi. Una struttura dati utile a
questo fine è il thesaurus che contiene, fra l’altro, il grado di prossimità semantica fra coppie di
parole. Il progetto consiste nell’analisi, definizione ed implementazione di algoritmi per la
costruzione di un thesaurus e di algoritmi di prossimità semantica fra frasi in linguaggio naturale.
Titolo:
Animazione economica delle aziende lombarde
Responsabile: M. Pezzè
Tipo:
Progetto regione lombardia
Partecipanti: M. Pezzè, G. Denaro, L. Mariani
Descrizione:
Studio di sistemi tecnologie IT di supporto al miglioramento delle
interconnessioni fra aziende lombarde e clienti.
Titolo:
ASPIC (Alternative Splicing Prediction)
Responsabile: Cecilia Saccone
Tipo:
Progetto FIRB Bioinformatica
Partecipanti: P. Bonizzoni
Descrizione: Il progetto ASPIC (Alternative Splicing Prediction) riguarda la realizzazione di
algoritmi per la predizione di siti di splicing alternativo e la ricostruzione di isoforme di geni.
Titolo:
Automi e linguaggi formali: aspetti matematici e applicativi
Responsabile: G. Cattaneo
Tipo:
Cofinanziamento PRIN MURST
Durata:
2005 - 2007
Partecipanti: D. Ciucci, A. Dennunzio, R. Leporini.
Collaborazioni: Univ. Milano 1, Univ. Bergamo, Univ. Palermo, Univ. Salerno, Univ. Siena,
Politecnico di Milano
Descrizione: - Quantum Computing. Porte logiche a multi valore e loro realizzazioni
quantistiche reversibili.
Collaborazioni: Milano 1, Bergamo, Cagliari, Firenze (Logica), Firenze (Laboratorio di Ottica
Non Lineare), Parigi (Univ. Pierre et Marie Curie), CNR Catania.
16
Generazione di porte conservative e reversibili di tipo quantistiche per logiche a multi valori
fuzzy modali-intuizionistiche. Studio di una possibile realizzazione di circuiti logici quantistici,
automi cellulari e reti neuronali attraverso dispositivi ottici con l’impiego di microtecnologie.
Modellizzazione del sistema, comprendente le sorgenti di rumore e trattazione delle fluttuazioni
quantistiche e termiche.
- Approccio algebrico alle logiche fuzzy e rough.
Collaborazioni: Salerno, Siena.
Studio di strutture algebriche che assiomatizzano logiche non standard, in particolare di quelle
strutture che hanno come modelli i fuzzy sets e i rough sets. Sviluppo di algoritmi per data
mining basati su rough sets, con particolare attenzione al calcolo di regole approssimate tramite
rough entropy, sia nel caso standard di partizioni che nella generalizzazione verso ricoprimenti.
- Automi Cellulari, dinamiche simboliche, caos e linguaggi formali associati.
Collaborazioni: Milano Politecnico, Palermo, INFN Milano, CERN Ginevra.
Studio di metodi teorici e computazionali basati su automi cellulari per la descrizione e la
simulazione di sistemi dinamici complessi in contesto massicciamente parallelo (dinamica di
fluidi, dinamica delle popolazioni e dei sistemi preda-predatore, fenomeni di aggregazione).
Studio della nozione di caos in sistemi dinamici, in particolare quelli generati da Automi Cellulari
e quelli simbolici, con analisi dei linguaggi formali associati.
- Grid Computing.
Collaborazioni: INFN Milano, CERN Ginevra.
Studio e sviluppo delle metodologie di calcolo parallelo e distribuito su architetture Grid. Loro
applicazioni alle tecnologie di catalogo per la localizzazione dei dati in sistemi data-driven nel
contesto del progetto EGEE. Supporto delle griglie computazionali alle problematiche di
datamining rough e di simulazione di sistemi complessi
Titolo:
Certificazioni di sicurezza relative ad applicazioni e piattaforme per il gioco
telematico
Responsabile: R. Melen
Tipo:
Contratto Lottomatica SpA
Durata:
Giugno – Settembre 2006
Partecipanti: R. Melen, C. Ferretti
Descrizione:
La consulenza concerne la certificazione della sicurezza di applicazioni e
piattaforme server in cui queste sono ospitate.
Titolo:
COMMUTA
Tipo:
finanziamento PRIN (MIUR)
Partecipanti: M. Pezzè, G. Denaro, L. Mariani, F. Arcelli
Descrizione: Studio di sistemi adattativi HW/SW
Titolo:
Complessità e plausibilità biologica di alcuni modelli di dinamiche simboliche
Responsabile: C. Ferretti
Tipo:
Programmi di Ricerca Scientifica di Rilevante Interesse Nazionale (PRIN)
Durata:
Novembre 2004 - Novembre 2006
Partecipanti: C. Ferretti, A. Gallini (assegnista), D. Molteni (borsista)
Titolo:
Creazione di cataloghi informatizzati dei documenti audio-visuali
Responsabile: R. Schettini
Tipo:
Supportato da Fondazione Cariplo e Regione Lombardia
Durata
2004-2006
Partecipanti: R. Schettini, G. Ciocca, A. Colombo, D. Rizzini, Cristian Lucania; Emanule
Bonomi.
Descrizione: Creazione di cataloghi informatizzati dei documenti audio-visuali. Nell’ambito
del progetto Giochi d'archivio: Archivi del ‘900. Percorsi interattivi della ritualità e dello
spettacolo tradizionale.
17
Titolo:
Cluster di Ateneo
Responsabili: R. Bisiani, G. Cattaneo, M. Dominoni
Responsabile tecnico: F. Spiga
Tipo:
Grandi Attrezzature Scientifiche
Durata:
2001-2007
Descrizione:
Questo progetto consiste nella configurazione e nella gestione di un cluster
Linux di tipo beowulf costituito da 20 nodi biprocessore interconnessi tra loro da rete dedicata
SCI ad alte prestazioni. Utilizzatori del cluster sono principalmente i membri del Consorzio
Grandi Attrezzature a cui afferiscono il Dipartimento di Informatica, il Dipartimento di Scienze
dei Materiali e il Dipartimento di Biotecnologie. Viene utilizzato sia per la didattica che per
attivita' di ricerca.
Titolo:
Electronic Government for Mediterranean Countries
Responsabile: C. Batini
Tipo:
MURST Firb
Partecipanti: C. Batini, G. De Michelis, A. Maurino, F. De Paoli, F. Cabitza, M. Telaro
Descrizione: Scopo del progetto e’ definire, applicare e sperimentare metodologie per il
Governo elettronico nei paesi del mediterraneo che assumano in approccio interdisciplinare, negli
aspetti sociali, economici, organizizativi, normativi, tecnologici.
Titolo:
Estrazione di informazioni di tipo colorimetrico da tessuti biologici al fine di
classificazione.
Tipo:
Contratto per attività di ricerca nell’ambito del progetto ICT Regione Lombardia:
Nuovo sistema di riconoscimento e classificazione delle immagini in un ambito biologico
caratterizzato da ampia variabilità, coordinato da Microsystems.
Durata:
Gennaio 2006 – Gennaio 2008
Partecipanti: R.Schettini, G.Ciocca, F.Gasparini, A.Colombo, C.Cusano. P.Pellegri, G.Novati,
C.Gatta.
Descrizione: Il progetto è relativo all’elaborazione ed alla classificazione di immagini.
Titolo:
Metodi per la rimozione dell’effetto occhi rossi in foto digitali
Tipo:
Contratto per attività di ricerca commissionata da Olivetti Engineering
Durata:
Marzo 2006- Luglio 2006
Partecipanti: R.Schettini, F. Gasparini, C. Cusano, M. Beccarla
Descrizione: Nell’ambito del progetto verranno studiati diversi metodi e strategie finalizzate
alla localizzazione ed alla correzione dedd’effetto “occhi rossi” nelle foto digitali.
Titolo:
Responsabile:
Tipo:
Durata:
Partecipanti:
Descrizione:
fotografici.
Metodi per la gestione e visualizzazione di archivi di immagini
R. Schettini
Contratto per attività di ricerca commissionata da Olivetti Engineering
Ottobre 2006 – Luglio 2007
R. Schettini, G. Ciocca, F. Gasparini, A. Colombo, C. Cusano
Il progetto è relativo all’elaborazione, gestione e riproduzione di archivi
Titolo:
Oncology over the Internet: sviluppo ed implementazione di software per la
ricerca, il filtraggio ed il reperimento della rete Internet di informazioni formato
standardizzato in supporto alla ricerca oncologica e di interesse pubblico.
Responsabile: G. Mauri
Tipo:
Fondo rotativo per l'innovazione tecnologica
Partecipanti: F. De Paoli, C. Ferretti, H. Le Van
18
Descrizione: Obiettivo principale del progetto è quello di realizzare un portale dedicato alla
ricerca oncologica.
Titolo:
Progetto Pilota in e-learning
Responsabili: R. Bisiani, M. Dominoni
Tipo:
Finanziato dall’Ateneo
Descrizione: Il progetto proposto consiste nella prototipazione e sperimentazione di un sistema
volto a facilitare la produzione di materiale per corsi in E-Learning. La sperimentazione consiste
nel produrre ed erogare il materiale relativo alle esercitazioni di laboratorio dei corsi di
Architettura degli Eleboratori e delle Reti e nel valutarne l’impatto sugli studenti.
Titolo:
Systems Biology: modellazione, linguaggi e analisi (Sybilla)
Responsabile: C. Zandron
Tipo:
Programmi di Ricerca Scientifica di Rilevante Interesse Nazionale (PRIN)
Durata:
Novembre 2004 - Novembre 2006
Partecipanti: C. Zandron, A. Leporati
Descrizione: Il progetto riguarda l'applicazione di sistemi a membrane nell'analisi di processi
di tipo biochimico, quali:
- Brussellatore, schema semplificato per la reazione biochimica di Belousov-Zhabotinskii, un
noto esempio di oscillatore ottenuto da reazione chimica.
- Modello di Lotka-Volterra e dinamica di metapopolazioni, per descrivere i comportamenti locali
e globali di popolazioni che interagiscono con dinamiche tipo preda-predatore.
- Attivita' dei canali meccanosensibili di larga conduttanza nelle cellule procariote, sia per
descrivere esperimenti con interventi artificiali (esperimenti di patch clamping), che per
descrivere funzionamento in condizioni ambientali estreme (shock ipotonico).
Titolo:
Sviluppo di un robot mobile
Responsabile: D. G. Sorrenti
Tipo:
Contratto per attività di ricerca
Durata:
Novembre 06 – Settembre 07
Partecipanti: Politecnico di Milano – Polo Regionale di Como
Descrizione: Il progetto ha l’obiettivo di sviluppare un robot di piccole dimensioni, a due
ruote motrici, dotato di elaboratore e sistema di visione, in grado di affrontare anche percorsi su
semplici terreni outdoor.
Titolo:
T.R.A.D.E. (Tracking RFID-based Agents in Distributed Environments)
Responsabile: F. Tisato
Tipo:
Programma Metadistretti – Regione Lombardia
Durata:
2006 - 2007
Partecipanti: F. Arcelli Fontana, F. Archetti, D. Micucci,V. Messina, C. Raibulet, F. Tisato, L.
Vanneschi
Descrizione: Il progetto di ricerca ha come finalità l’esplorazione e l’approfondimento di
tecnologie e tematiche innovative, tese alla scoperta di modelli, algoritmi e soluzioni in grado di
gestire, automatizzare ed ottimizzare alcuni processi coinvolti nella Supply Chain. A tale fine
verranno presi in considerazione dispositivi sensoristici di vario genere per poter acquisire in
automatico informazioni dal flusso fisico del materiale. La sensoristica cui si fa riferimento è
basata su tecnologia RFID, Sensor Network ed Imaging. In particolare, una delle finalità del
progetto sarà costituita dalla modellazione di un framework per la realizzazione di complesse e
specifiche applicazioni di tracking e controlling.
Gli obiettivi previsti per l’attività dell’Università degli Studi di Milano-Bicocca riguardano aspetti
di ricerca fondamentale e sono riconducibili al problema generale di identificare modelli
architetturali e metodologie di analisi e progetto tali da consentire la realizzazione di sistemi che
soddisfino in modo efficace ed economico i requisiti posti da sistemi multisensore distribuiti e di
grandi dimensioni.
I temi di ricerca comprendono: 1)definizione di un adeguato paradigma architetturale; 2)
definizione di una metodologia generale di analisi del problema applicativo; 3) definizione di
19
modelli architetturali (“pattern”) da utilizzare come linee guida nella fase di progettazione del
sistema; 4) definizione di criteri per la costruzione di sistemi distribuiti fortemente scalabili; 5)
analisi di “modelli di ragionamento” caratterizzati da un alto grado di intelligenza
distribuita; 6) definizione di tecniche atte ad assicurare un alto livello di flessibilità e disponibilità
del sistema, anche in presenza di dispositivi eterogenei e di malfunzionamenti; 7) definizione di
modelli concettuali delle informazioni e delle attività tipiche dei domini applicativi nei quali si
preveda l’utilizzo delle tecnologie RFID e, più in generale, di tecnologie multisensore.
Titolo:
Valutazione dei modelli e delle specifiche dello strumento di analisi del rischio per
gli aspetti della qualità dei dati
Tipo:
Contratto per attività di ricerca
Durata:
Novembre 2006 - Luglio 2008
Partecipanti: PE Group S.r.l
Descrizione: Il progetto di ricerca riguarda le tematiche: partecipazione alla identificazione e
determinazione degli ambiti di sperimentazione delle soluzioni proposte nell’ambito del progetto
ORME in collaborazione con gli esperti individuati da PE Group; valutazione di modelli per la
qualità dei dati specifici per la gestione del rischio operativo; valutazione delle specifiche dello
strumento.
PROGETTI INTERNAZIONALI
Titolo:
Automi cellulario: proprietà topologiche, caos e linguaggi formali associati; uso di
architetture massicciamenteparallele per gli aspetti implementativi
Responsabile: G. Cattaneo
Tipo:
Interlink, collaborazioni interunivesitarie internazionali
Durata:
2006 - 2008
Partecipanti: Univ. Milano-Bicocca, Univ. Bologna, Univ. de Nice, Univ. Marseille, CNRS
Marseille, Ecole Normale Superieure de Lyon, Univ. de Marne la Valle’e
Collaborazioni: Univ. Praga, Univ. Tolouse.
Descrizione:
Studio delle proprieta' topologiche della dinamica indotta da automi cellulari
(con particolare attenzione alla nozione di caos topologico deterministico) nel caso unodimensionale. In particolare per quanto riguarda la transitivita' (o sue forme piu' forti), densita'
delle orbite periodiche dense e le loro relazioni con altre proprieta'. Vi e' poi l'estensione al caso
bidimensionale di molte indagini non ancora condotte.
Il concetto di entropia (misura della complessità della dinamica di un sistema) riveste particolare
importanza nell'ambito della complessità dei sistemi dinamici a tempo discreto. L'entropia
topologica non è calcolabile per automi cellulari uno-dimensionali generali e non è nemmeno
approssimabile. Essa diventa calcolabile nel caso di particolari classi ristrette di automi, come ad
esempio gli automi positivi espansivi e quelli lineari (anche nel caso multi dimensionale). Rimane
aperto, e di notevole interesse sia teorico che pratico, il problema di capire se per talune classi di
automi l'entropia sia almeno approssimabile. In questo ambito è di cruciale importanza lo studio
delle relazioni tra l'entropia degli automi cellulari e quella di alcuni loro fattori chiamati in
letteratura fattori canonici. Risultati su questo argomento potrebbero gettare luce sulla possibilità
di calcolare e/o approssimare l'entropia topologica per classi specifiche di CA. In questo
contesto, risulta rilevante lo studio per tali classi delle relazioni tra entropia e caos. Tutto cio' allo
scopo di avere nuove classificazioni dei CA in base ai risultati ottenuti. Al fine di condurre tali
indagini sara' necessario investigare talune dinamiche simboliche correlate ai CA, con l'analisi dei
linguaggi formali associati.
Infine, sono oggetto di studio le dinamiche simboliche bidimensionali con studio dei
corrispondenti linguaggi formali bidimensionali: definizione e caratterizzazione di proprieta' di
tali linguaggi in base al comportamento delle dinamiche corrispondenti.
20
Titolo:
CATNET
Responsabile: L. Pomello
Tipo:
Progetto finanziato nell'ambito dell'Accordo di Cooperazione Scientifica
CNR/PAN (Polonia).
Partecipanti: L. Bernardinello
Collaborazioni:Istituto IPI dell'Accademia Polacca delle Scienze a Gdansk.
Descrizione: Un primo obiettivo del progetto è il confronto tra un approccio basato sulla
teoria delle categorie alla sintesi di sistemi non sequenziali e un'approccio algebrico alla
composizione di reti di Petri, basato sulle regioni. Un secondo obiettivo è lo sviluppo di modelli
gerarchici per sistemi di agenti mobili, che estende i modelli classici di reti di Petri.
Titolo:
EURON
Responsabile: D. G. Sorrenti
Tipo:
Network of Excellence (EU 6th framework)
Durata:
Maggio 2004 - Aprile 2008
Partecipanti: All significant robotics research institutions in Europe participates to Euron.
Descrizione: Euron e' la rete di ricerca euopea di robotica.
Titolo:
Flexibly Beyond
Responsabile: S. Bandini
Tipo:
EU (FP6-ESF Article programme contract number VS/2006/0353)
Durata:
Novembre 2006 – Ottobre. 2008
Partecipanti: Fabio Sartori, Paolo Mereghetti, Stefano Redaelli.
Descrizione:
L'obiettivo prioritario dell'intervento proposto è quello di giungere ad ideare e
sperimentare innovativi modelli di organizzazione aziendale ed elementi operativi strutturati,
applicati al comparto manifatturiero, che permettano di attuare una concreta valorizzazione del
ruolo del lavoratore anziano, in migliori condizioni qualitative, oltre l’età potenzialmente
pensionabile. Si intende raggiungere questo obiettivo attraverso l'elaborazione di strategie per la
gestione dell'età stimolando una nuova cultura d'impresa che ripensi le politiche relative alle
risorse umane creando un miglior equilibrio fra le prospettive a breve termine e una forza lavoro
che invecchia. Il progetto sperimentale intende quindi forme alternative di organizzazione del
lavoro a livello di impresa manifatturiera (tessile e calzaturiero in particolare) per valorizzare le
competenze dei lavoratori anziani e promuoverne il ruolo di "leader"sulle competenze rispetto
alle nuove generazioni. Si tratta quindi di sperimentare all'interno di "aziende-laboratorio" nuovi
modelli flessibili di organizzazione del lavoro e nuovi servizi esterni alle aziende che facilitino la
permanenza e la valorizzazione del lavoratore anziano in azienda. L'obiettivo è, quindi, quello di
indurre un cambiamento culturale sia a livello di management che di forza lavoro per valorizzare
le capacità e competenze del lavoratore anziano anche nel trasferimento di conoscenze ed abilità
ai lavoratori più giovani, sperimentando una serie di strumenti e modelli innovativi, supportati
anche da specifici strumenti informatici , che ne favoriscano una maggior produttività e creino
"condizioni al contorno" ideali per la permanenza del lavoratore anziano in azienda. L'intervento
quindi, in linea con quanto indicato nel bando, intende:
- promuovere la realizzazione di azioni innovative attraverso le quali elaborare strategie per la
promozione dell'invecchiamento e investire sulle risorse umane
- sperimentare forme alternative di organizzazione del lavoro a livello di impresa, per giungere ad
anticipare e gestire situazioni di crisi nel comparto manifatturiero
- indurre cambiamenti culturali sia nel management e nelle proprietà aziendali che nella forza
lavoro "anziana" su quelle che posso essere le potenzialità e la valorizzazione delle competenze
rispetto a mansioni ed abilità che rischiano di venire meno soprattutto nel settore manifatturiero.
Titolo:
Integration and sharing of information and Knowledge in neurology and
neurosciences (NEUROWEB)
Responsabile: G. Mauri
Tipo:
VI PQ dell’Unione Europea
Partecipanti: Istituto Neurologico Nazionale "Carlo Besta"
21
Titolo:
PENG: a PErsonalized News content programminG
Responsabile: Gabriella Pasi (coordinatrice)
Tipo:
STREP del programma IST
Durata:
Settembre 2004 – Agosto 2006
Descrizione: Definizione di un sistema integrato di Information Filtering e Information
Retrieval per il reperimento e la composizione personalizzata di news.
Titolo:
RAWSEEDS, Robotics Advancement through Web-publishing of Sensorial and
Elaborated Extensive Data Sets
Responsabile: Domenico G. Sorrenti
Durata:
Novembre 2006 – Aprile 2009
Titolo:
SEEMP, Single European Employment Market Place.
Tipo:
EU Ist Programme
Partecipanti: C. Batini, A. Maurino, F. De Paoli, D. Barone, M. Comerio
Descrizione: Scopo del progetto e’ realizzare piattaforme cooperative tra siti e organzziazioni
nell’ambito di servizi di ePlacement, basate su ontologie, riconciliazione di tassonomie e risposta
alle interrogazioni guidata da qualita’.
Titolo:
SHADOWS (Progetto dell’Unione Europea)
Tipo:
STREP (EU 6th framework)
Durata:
Giugno 2006 – Maggio 2009
Partecipanti: M. Pezzè, G. Denaro, L. Mariani
Descrizione: Studio di sistemi software in grado di auto-correggere (self-healing) problemi
funzionali riscontrati in fase di funzionamento.
Titolo:
SEGRAVIS (Progetto dell’Unione Europea)
Tipo:
EU 5th framework
Durata:
Ottobre 2002 – Settembre 2006
Partecipanti: M. Pezzè, G. Denaro, L. Mariani, L. Baresi (Collaboratore esterno).
Descrizione: Obiettivo del progetto è lo studio di aspetti sintattici, semantici, applicativi e
relativi a linguaggi visuali. Il laboratorio si occupa di semantica e analisi dei linguaggi visuali,
definizione di linguaggi visuali “domain specific”, integrazione di linguaggi visuali informali e
formali.
Titolo:
Responsabile:
Tipo:
Durata:
Partecipanti:
Wales (Sydney).
Servizi basati su internet a supporto della ricerca e della pratica medica
G. Mauri
Accordo di cooperazione interuniversitaria.
Da Agosto 2004
Università degli Studi di Milano Bicocca e Università Australiana di New South
Titolo:
System for mobile maintenance accessible in real time (SMMART)
Responsabile: S. Bandini
Tipo:
EU (FP6-NMP programme contract number NMP-CT-2005-016726)
Durata:
Novembre 2005 – Ottobre 2008
Collaborazioni: Turbomeca (France), Volvo (Sweden, France), IAO (Germany), MIK (Spain)
Partecipanti: Fabio Sartori, Paolo Mereghetti, Giuseppe Frisoni, Ettore Colombo.
Descrizione: Scopo del progetto “System for Mobile Maintenance Accessible in Real Time”
(SMMART) è quello di rafforzare la leadership Europea nella realizzazione, ingegnerizzazione e
manutenzione di prodotti (per l’industria dei trasporti).
22
L’approccio innovativo che intende seguire il consorzio del progetto SMMART è l’utilizzo
combinato di nuove tecnologie “smart tag” che siano in grado di funzionare e comunicare in
modalità wireless in ambienti ostili (come ad esempio propulsori aerei, motori di autoveicoli per
trasporti pesanti, ecc.). La tecnologia “smart tag” verrà utilizzata in combinazione con
“Integrated Information & Communication Technologies” al fine di monitorare lo stato di usura
e di manutenzione delle componenti per tutto il ciclo di vita di parti considerate critiche al fine di
garantire la sicurezza nel settore dei trasporti aerospaziali e di terra.
CONVENZIONI QUADRO
in essere nel 2006.
Acer Italy S.r.l.
La collaborazione tra le parti riguarda l’area della ricerca, dell’aggiornamento, della
sperimentazione di nuove tecniche elettroniche di presentazione e nello svolgimento di
attività integrative della didattica universitaria anche al fine di completare la formazione
accademica di studenti di corsi di laurea, di master, specializzandi e dottorandi.
A.C. Nielsen Italia Spa
La convenzione prevede la promozione e lo svolgimento di programmi coordinati di
ricerche indirizzati verso settori metodologici e applicativi: Sistemi e metodi Knowledge
Acquisition e Knowledge Management; sistemi e metodi per Information Retrieval e
Data Mining, Stumenti di Content Management; progetti di Knowledge Management e
Business Process Engineering; progetti di Content Retrieval e Content Management.
AIS
La collaborazione tra le parti riguarda l’area della formazione, della ricerca e del
trasferimento tecnologico su nuovi modelli concettuali e nuove tecnologie a supporto dei
settori Banking, Medicale, Internet, Human Resources Management e alla valorizzazione
di competenze e professionalità nel settore IT.
La collaborazione consiste nella promozione e nello svolgimento di programmi
coordinati di ricerche indirizzati verso i seguenti settori metodologici e applicativi del
management dell’IT: problematiche di gestione della conoscenza e di valorizzazione delle
competenze nell’ambito IT; studio di metodi e tecniche per il supporto allo sviluppo di
competenze per la gestione di risorse umane dedicate al settore IT; sviluppo di
architetture di sistemi per la rappresentazione e la gestione di dati e conoscenze con
particolare riferimento alle tecnologie per l’e.business e l’e.commerce; implementazione
di modelli concettuali e integrazione con tecnologie abilitanti per il trattamento di core
competence; sistemi di CRM: architetture software e metodi statistico-computazionali.
Akhela S.r.l.
La collaborazione tra le parti riguarda l’area delle tecnologie a supporto del Knowledge
Management, dello sviluppo di applicazioni di sistemi per la valorizzazione, la
tesaurizzazione e la patrimonializzazione del capitale intellettuale aziendale, dello
sviluppo di sistemi basati sulla conoscenza per applicazioni ad alto impatto tecnologico e
della simulazione di sistemi dinamici discreti.
Aletheia
La collaborazione tra le parti riguarda la promozione e lo svolgimento di programmi di
ricerche indirizzati verso i settori metodologici e applicativi del knowledge management, delle
23
scienze della complessità e della cognizione: acquisizione, rappresentazione e gestione di core
competence in settori produttivi orientati all’innovazione, e relativa implementazione; sviluppo
di metodologie per l’acquisizione e la rappresentazione di dati e conoscenze inerenti sistemi
complessi nell’organizzazione, e sviluppo di modelli computazionali a supporto del change
management; studio di metodi e tecniche per il supporto allo sviluppo di competenze per la
gestione di risorse umane; sviluppo di modelli concettuali e relative implementazione e
integrazione con tecnologie abilitanti per il trattamento di sistemi per la simulazione e
l’animazione di virtual life.
ARC Seibersdorf research GmbH
La collaborazione tra le parti riguarda la promozione e lo sviluppo di programmi
coordinati di ricerca nell’ambito delle aree di simulazione basata su approcci multiagente, degli automi cellulari, e delle architetture software modelli per la simulazione di
sistemi dinamici complessi, con particolare riferimento alle aree applicative in campo
urbanistico e ambientale.
Associazione culturale Milug
La collaborazione tra le parti riguarda lo scambio di conoscenze ed interventi informativi
sulle tecnologie informatiche libere, riferite agli strumenti e alle metodologie per lo
sviluppo di software di base e applicativo (sistemi operativi liberi, con particolare
riferimento all’ambiente GNU/Linux; linguaggi di programmazione evoluti; interfacce
grafiche e multimediali).
BC software s.r.l.
I principali temi su cui verte la collaborazione sono: acquisizione, rappresentazione e
gestione di core competence in settori produttivi orientati all’innovazione, e relativa
implementazione; studio di modelli concettuali e realizzazione applicativa di sistemi di
ricerca con interfaccia in linguaggio naturale, orientati al dialogo e basati su tecnologie
fuzzy; studio di metodologie innovative e ciclo di vita per la progettazione, la produzione
e la manutenzione di sistemi software anche in presenza di possibili erogazioni di
servizio con metodologia ASP.
CNR – ITC Istituto per le Tecnologie della Costruzione
La collaborazione tra le parti riguarda principalmente l’area delle Tecnologie
dell’Informazione e della Comunicazione e delle loro applicazioni, con particolare
riferimento all’area delle metodologie , tecnologie ed architetture e applicazioni per il
trattamento di informazioni multimediali.
Comune di Desio
Questa convenzione è rivolta ad iniziative mirate alla formazione su temi di più diretto
rilievo industriale per le aziende del territorio e di iniziative finalizzate al trasferimento
tecnologico ed a progetti di innovazione.
Consiel SpA
La collaborazione tra le parti riguarda la promozione e lo svolgimento di programmi di
ricerche indirizzati all'area dello sviluppo di nuovi modelli concettuali e nuove tecnologie
abilitanti a supporto dei sistemi informativi per la Pubblica Amministrazione.
La convenzione si propone di contribuire alla conoscenza e diffusione dei più moderni
orientamenti nelle aree sopracitate, favorendo ogni attività di formazione ed
informazione anche attraverso la cooperazione con studiosi italiani e stranieri e con
istituzioni nazionali ed internazionali aventi fini analoghi.
Gate Tecnologie Informatiche
ricerche indirizzati verso i settori delle Tecnologie della Informazione e della
Comunicazione e delle loro Applicazioni (sistemi telematici di acquisizione e
24
certificazione di dati finanziari, Negoziazione, Trading, Pricing e Hedging per diverse
tipologie di strumenti finanziari; progetazzione e prototipazione di Architetture Object
Orientend di reti eterogenee e distribuite, Sistemi e Servizi Web; Progettazione e
Prototipazione di Mercati Telematici.
IBM Italia Spa
ricerche indirizzati verso settori metodologici delle Tecnologie dell’informazione e della
comunicazione: Tecnologie ed applicazioni Multimediali (Piattaforme Tecnologiche e
Applicazioni di e-business; Reti Internet/Intranet; Piattaforme object-oriented per lo
sviluppo di applicazioni in ambienti multimediali; Strumenti Web Information Minino e
Business Inteligence; Scienze e Tecnologie Informatiche per mercati Finanziari).
Intrasoft Spa
ricerche indirizzati verso settori metodologici e applicativi: Sistemi e metodi Knowledge
Acquisition e Knowledge Management; sistemi e metodi per Information Retrieval e
Text Mining, sistemi di Content Management; progetti di Knowledge Management e
Artificial Intelligence; progetti di Content Retrieval e Content Management.
IONA Technologies
ricerche nel campo delle Tecnologie della Informazione e della Comunicazione e delle
loro Applicazioni.
IRRSAE - Istituto Regionale di Ricerca Sperimentazione Aggiornamento Educativi
La collaborazione tra le parti riguarda l’area delle Tecnologie della Informazione e della
Comunicazione e della loro applicazione per la progettazione e la gestione di sistemi
complessi per il supporto e la valutazione delle attività formative.
ITIA
La collaborazione tra le parti riguarda l’area della formazione e della ricerca sui nuovi
modelli concettuali e sulle nuove tecnologie abilitanti a supporto della valorizzazione delle
conoscenze esperienzali.
La collaborazione consiste nella promozione e nello svolgimento di ricerche indirizzate a
verso i seguenti settori metodologici della gestione delle conoscenze esperienziali:
Knowledge management applicato al manifatturiero; Virtual Reality e interactive interface;
3d simulation and discrete event simulation; Workflow management system; Supply Chain
Management and Optimization.
Microsoft Italia
La convenzione prevede la promozione e lo svolgimento di attività di sperimentazione di
soluzioni innovative nell’area dell’ "Information Technology" per favorire la diffusione delle
tecnologie di "Network Computing".
Milano Ricerche
Convenzione relativa allo svolgimento di attività di Ricerca, Innovazione e Trasferimento
Tecnologico su temi quali: Modelli Computazionali Avanzati; Tecnologie Informatiche
per Produzione, Organizzazione e Finanza; Architetture e Metodologie di sviluppo del
Software; Sistemi di Supervisione; Automazione e Controllo; Sistemi per il Supporto alla
Collaborazione e allo sviluppo di Comunità.
Oracle Italia Srl
ricerche indirizzati verso settori metodologici delle Tecnologie dell’informazione e della
comunicazione: Piattaforme e ambienti per lo sviluppo di sistemi informatici; sviluppo di
25
soluzioni per L’Electronic Business; Sviluppo per i servizi delle città digitali, per i servizi
finanziari on-line; Sviluppo di servizi orientati all’utente finale o in ottica Business to
Business.
Ospedale A. Manzoni di Lecco
La convenzione si propone di investigare la natura delle attività ospedaliere in vista di
possibili supporti tecnologici. Particolare attenzione è posta sul lavoro infermieristico e
sull’utilizzo di tecnologie avanzate nell’ambito del pervasive e context-aware computing.
Pirelli Spa
ricerche indirizzati verso i seguenti temi: sistemi informatici di supporto per i processi di
progettazione, analisi dei dati e automazione di processo, tecniche Computazionali
innovative quali Reti Neutrali, Reti Bayesiane, Logica Fuzzy e Algoritmi Distribuiti,
Materiali Elastoplastici, Sensoristica – tecnologie Laser e Plasmi Industriali,
Superconduttività, valutazione dell’impatto ambientale di prodotti e processi e sviluppo
di tecnologie pulite.
Selerant
La convenzione, che prevede una durata di 5 anni, ha per oggetto una collaborazione
nell’area della formazione e della ricerca applicata in ambito informatico e
matematico/statistico.
Sertel S.p.A.
La collaborazione tra le parti riguarda l’area dello sviluppo di modelli concettuali, nuove
tecnologie e nuove applicazioni abilitanti a supporto della gestione della conoscenza e la
riduzione della complessità d’accesso alle tecnologie, all’informazione e alle conoscenze.
ST Microelectronics
La collaborazione tra le parti prevede la promozione e lo svolgimento di programmi
coordinati di ricerche indirizzati verso settori metodologici delle Tecnologie
dell'Informazione e della Comunicazione: Reti di telecomunicazioni, con riferimento alle
architetture, ai protocolli ed ai servizi; Tecnologie ed Applicazioni multimediali;
Trattamento numerico dei segnali, con particolare riferimento alle tecniche di codifica
audio e video.
Studio Tributario e Societario
La collaborazione tra le parti prevede la promozione e lo svolgimento di programmi
coordinati di ricerche indirizzati verso settori metodologici e applicativi del knowledge
management, delle scienze della complessità e del disegno di servizi nell’ambito del
pervasive computing distribuito: Acquisizione, rappresentazione e gestione di core
competence in settori produttivi orientati all’innovazione e relativa implementazione;
Sviluppo di metodologie per l’acquisizione e la rappresentazione di dati e conoscenze
inerenti sistemi complessi nell’organizzazione e sviluppo di modelli computazionali a
supporto di nuovi paradigmi di collaborazione e condivisione delle conoscenza; Studio di
metodi e tecniche per il supporto allo sviluppo di scenari e sistemi per la gestione di
grandi moli di dati documentali; Sviluppo di modelli concettuali e relativa
implementazione e integrazione con tecnologie abilitanti per il trattamento di sistemi
complessi.
26
7. I
NUMERI DELLA RICERCA
Spese per la ricerca 2006
1
2
3
4
5
6
Studi e ricerche finanz. ord.dallo stato (gia'quota 60%)
Studi e ricerche finanziate dal murst(quota 40%)
Studi e ricerche finanziati da altri ministeri
Studi e ricerche convenzionati con altri enti e con privati
Gestione dei fondi c.n.r. contratti di ricerca
Gestione dei fondi c.n.r. contributi di ricerca
Totale
86.420,39
565.057,42
0,00
769.907,52
0,00
1.688,83
1.423.074,16
Finanziamenti di Ricerca per fonti di finanziamento
Fonte di finanziamento
N° progetti
Ateneo quota ex 60%
Importo
16
87.797,35
MIUR Progetti cofin - firb ex 40%
5
835.300,00
Finanziamenti Unione Europea
5
1.482.000,00
27
8
PUBBLICAZIONI
ARTICOLI IN LINGUA STRANIERA SU RIVISTE SCIENTIFICHE ISI
A. Alhazov, R. Freund, A. Leporati, M. Oswald, C. Zandron
(Tissue) P Systems with Unit Rules and Energy Assigned to Membranes
Fundamenta Informaticae, Vol.74, 2006, pp. 391-408.
S. Bandini, S. Manzoni, G. Vizzari
Towards a platform for Multi-layered Multi Agent Situated System based simulation: focusing on field diffusion
Applied Artificial Intelligence, Vol.20, N.2-4, 2006, pp.327-351.
S. Bandini, G. Mauri, G. Vizzari
Supporting Action-at-A-Distance in Situated Cellular Agents
Fundamenta Informaticae, Vol.69, N.3, 2006, pp.251-271.
S. Bandini, A. Mosca, M. Palmonari
Intelligent Alarm Correlation and Abductive Reasoning
Logic Journal of the IGPL, Vol.14, N.2, 2006, pp.347-362.
P. Bonizzoni, R. Rizzi, G. Pesole
Computational Methods for Alternative Splicing Prediction
Briefings In Functional Genomics And Proteomics, Oxford Journals, Vol.5, 2006, pp. 46-51.
P. Bonizzoni, C. De Felice, G. Mauri R. Zizza
Linear splicing and syntactic monoid
Discrete Applied Mathematics, Vol.154, N.3, 2006, pp. 452-470.
T. Castrignanò, R. Rizzi, G. Talamo, P. De Meo, A. Anselmo, P. Bonizzoni, G. Pesole
ASPIC: a web resource for alternative splicing prediction and transcript isoforms characterization
Nucleic Acids Research, Oxford Journals, 2006.
G. Cattaneo, D. Ciucci
Basic intuitionistic principles in fuzzy set theories and its extensions (A terminological debate on Atanassov IFS).
Fuzzy Sets and Systems, Vol.157, 2006, pp. 3198-3219.
G. Cattaneo, A. Dennunzio, F. Farina
A survey on transitivity in discrete time dynamical systems. Applications to symbolic systems and related languages
Theoretical Informatics and Applications, Vol.40, 2006, pp. 333-352.
G. Ciocca, R. Schettini
An innovative algorithm for key frame extraction in video summarization
Journal of Real-Time Image Processing (Springer), Vol.1, N.1, 2006, pp. 69-88.
Supervised And Unsupervised Classification Post-Processing for Visual Video Summaries
IEEE Transactions on Consumer Electronics, Vol.2, N.52, 2006, pp. 630-638.
A. Colombo, C. Cusano, R. Schettini
3D face detection using curvature analysis
Pattern Recognition, Vol.39, N.3, 2006, pp. 444-455.
28
D. Ciucci
On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations
Fundamenta Informaticae, Vol. 69, 2006, pp. 359-387.
A. Leporati, C. Zandron, G. Mauri
Reversible P Systems to Simulate Fredkin Circuits
Fundamenta Informaticae, Vol.74, 2006, pp. 529-548.
A. Leporati, C. Zandron, M.A. Gutiérrez-Naranjo
P Systems with Input in Binary Form
International Journal of Foundations of Computer Science, Vol.17, N.1, 2006, pp. 127-146.
E. Messina, V. Bosetti
Integrating stochastic programming and decision tree techniques in land conversion problems
Annals of Operations Research, Vol.142, 2006, pp. 243-258.
D. Pescini, D. Besozzi, C. Zandron, G. Mauri
Dynamical Probabilistic P Systems: Definitions and Applications
International Journal on Foundations of Computer Science, Vol.17, N.1, 2006, pp. 183-204.
A.E. Porreca, G. Mauri, C. Zandron
Complexity classes for membrane systems
RAIRO - Theoretical Informatics and Applications, Vol. 40, N.2, 2006, pp. 141-162.
F. Stella, D. Bogni, M. Benzoni, V. Viganò
Intelligent Light Rail Train: forecast and regularization
Journal of Intelligent Transportation Systems: Technology, Planning, and Operations, Vol.10,
N.2, 2006, pp. 59-73.
S. Zuffi, S. Santini, R. Schettini
Accounting from Inks Interaction in the Yule Nielsen Spectral Neugebauer Model
Journal of Imaging Science and Technology, Vol. 50, N.1, 2006, pp.35-44.
ALTRI ARTICOLI SU RIVISTA
F.Arcelli, F.Tisato, L.Ubezio
An architecture for Conflict Management between Make and Delivery Agents in an Enterprise Supply Chain
Journal of Internet Commerce, Vol.5, N.4 2006, pp. 31-54.
F. Arcelli Fontana, F. Tisato, A. Trentini
A software architecture for distributed organization management
Knowledge-Based Systems, Vol 19, N.1, 2006, pp. 1-8.
S. Bandini, A. Mosca, M. Palmonari, G. Vizzari
Integrating MMASS with a Hybrid Logic Commonsense Spatial Logic
Model Based Reasoning in Science and Engineering, Studies in Logic, Vol.2, 2006, pp.311-331.
S. Bandini, R. Serra
Complex Systems
Intelligenza Artificiale, Vol. 3, N.1-2, 2006, pp.102-108.
29
S. Bianco, F. Gasparini, R. Schettini
Spectral based color imaging using RGB digital still cameras, Colore e Colorimetria: contributi multidisciplinari
Vol II, Quaderni di Ottica e Fotonica 14, 2006 (ISBN 88-7957-243-1), pp. 67-78.
D. Micucci, G. D. Sorrenti, F. Tisato, F. M. Marchese
Localisation and World Modelling: an Architectural Perspective
International Journal of Advanced Robotic Systems (ARS), Special Issue on Software
Development and Integration in Robotics, Vol.3, N.1, 2006, pp. 79-84.
E. Herrera-Viedma, G. Pasi
Soft approaches to information retrieval and information access on the Web: An introduction to the special topic
section.
Journal of the American Society for Information Science and Technology, Vol.57, N.4, 2006, pp.
511-514.
E. Herrera-Viedma, G. Pasi, A. G. Lopez-Herrera, C. Porcel
Evaluating the information quality of Web sites: A methodology based on fuzzy computing with words
Journal of the American Society for Information Science and Technology, Vol. 57, N.4,2006, pp.
538-549.
G. Pasi, R. R. Yager
Modeling the concept of majority opinion in group decision making
Information Science, Vol.176, N.4, 2006, pp. 390-414.
P. Romano, G. Bertolini, F. De Paoli, M. Fattore, D. Marra, G. Mauri, E. Merelli, I. Porro, S.
Scaglione, L. Milanesi
Network integration of data and analysis of oncology interest
Journal of Integrative Bioinformatics. Vol. 21, 2006, pp. 1613-4516.
CAPITOLI DI LIBRO
M. Adorni, F. Arcelli, S. Bandini, L. Baresi, C. Batini, A. Bianchi, D. Bianchini, M. Brioschi, A.
Caforio, A. Calì, P. Cappellari, C. Cappiello, T. Catarci, A. Corallo, V. De antonellis, C. Franza,
G. Giunta, A. Limonta, G. Lorenzo, P. Losi, A. Maurino, M. Melideo, D. Micucci S. Modafferi,
E. Mussi, L. Negri, C. Pandolfo, B. Pernici, P. Plebani, D. ragazzi, C. Raibulet, M. riva, N.
Simeoni, C. Simone, G. Solazzo, F. Tisato, R. Torlone, G. Vizzari and A. Zilli
Reference architecture and Framework
Mobile Information Systems – Infrastructure and Design for flexibility and adaptivity, Springer
2006, pp. 25-46.
M. Adorni, F. Arcelli, D. Ardagna, L. Baresi, C. Batini, C. Cappiello, M. Comerio, M. Comuzzi, F.
De Paoli, C. Francalanci, S. Grega, P. Losi, A. Maurino, S. Modafferi, B. Pernici, C. Raibulet, F.
Tisato
The MAIS Approach to Web Service Design
In Keng Siau (ed.): Advanced Topics in Database Research. Vol. 5. Idea Group Publishing, 2006,
pp. 195-212.
M. Adorni, F. Arcelli (and other 15 authors)
Middleware and Architectural Reflection
Chapter 4 of the book B. Pernici (ed.) Mobile Information Systems – Infrastructure and Design
for adaptivity and flexibility, Springer Verlag (2006), pp. 81-114.
30
D. Ardagna, A. Avenali, L. Baresi, D. Berardi, D. Bianchini, C. Cappiello, M. Comuzzi, V. De
Antonellis, F. De Rosa, D. Desideri, C. Francalanci, C. Leporelli, G. Matteucci, A. Maurino, M.
Mecella, M. Melchiori, S. Modafferi, E. Mussi, B. Pernici, P. Plebani, D. Presenza
E-Services -- Mobile Information Systems – Infrastructure and Design for flexibility and
adaptivity, Springer 2006.
D. Ardagna, L. Baresi, C. Batini, M. Brioschi, C. Cappiello, M. Comerio, M. Comuzzi, F. De
Paoli, C. Francalanci, S. Grega, A. Maurino, S. Modafferi, N. Simeoni
Development of Services for Mobile Information Systems
Barbara Pernici (ed.): Mobile Information Systems Infrastructure and Design for Adaptivity, and
Flexibility, Springer 2006.
S. Bandini, M. L. Federici, M. Palmonari, G. Vizzari
Tecnologie della mobilità e servizi consapevoli del contesto
In R. Bisiani, D. Diamantini (eds.) Mobilità e società dell'informazione, Guerini e Associati, 2006,
pp. 153-170.
C. Batini, F. Cabitza, G. Cammarota, D. Ciriaci, M. Corsi, A. Maurino, R. Russo, S. Scipioni, M.
Telaro
Project E-Society: Building Bricks
Vol. 226 of IFIP International Federation for Information Processing, chapter Multidisciplinary
models and guidelines for eProcurement projects: the eReadiness phase. Springer, Boston,
U.S.A., 2006, pp. 140-152.
G. Bordogna, M. Pagani, G. Pasi
A dynamical Hierarchical fuzzy clustering algorithm for document filtering
Soft Computing in Web Information Retrieval (E. Herrera-Viedma, G. Pasi, F. Crestani eds.),
series Studies in Fuzziness and Soft Computing, Springer Verlag, Vol.197, 2006, pp. 1-23.
M. Boughanem, G. Pasi, H. Prade, M. Baziz
A fuzzy logic approach to information retrieval using an ontology-based representation of documents
Fuzzy Logic and the Semantic Web, (E. Sanchez, Ed.), Elsevier Science, 2006.
F. Cabitza, M. Sarini, C. Simone, M. Telaro
Cooperative Systems Design - Seamless Integration of Artifacts and Conversations – Enhanced Concepts of
Infrastructure for Communication
Vol. 137 of Frontiers in Artificial Intelligence and Applications, chapter “Torres, a Conceptual
Framework for Articulation Work across Boundaries”, IOS Press, 2006, pp. 102-117.
F. Cabitza, M. P. Locatelli, C. Simone
Cooperative Systems Design - Seamless Integration of Artifacts and Conversations – Enhanced Concepts of
Infrastructure for Communication
Vol. 137 of Frontiers in Artificial Intelligence and Applications, chapter. “Cooperation and
Ubiquitous Computing: an Architecture Towards their Integration”, IOS Press, 2006, pp. 86-101.
G. Cattaneo, T. Marsico
Sharp and unsharp description of physical magnitude in finite dimensional quantum mechanics
Quantum Mechanics: Are There Quantum Jumps? - On the Present Status of Quantum
Mechanics. (Vol. AIP CP 844, pp. 49-67). Edited by Bassi A., Durr D., Weber T., and Zanghi N.
NEW YORK: American Insitute of Physics (UNITED STATES), 2006.
G. Cattaneo, M. Dalla Chiara, R. Giuntini, F. Paoli
Quantum logic and nonclassical logics
Gabbay D., Lehmann D., Engesser K. Handbook of Quantum Logic. (pp. 1-98).
AMSTERDAM: Elsevier (NETHERLANDS), 2006.
31
M. Cattani, G. Mantegari, G. Vizzari
Tecnologie della mobilità e applicazioni in contesto archeologico
In R. Bisiani, D. Diamantini (eds.) Mobilità e società dell'informazione, Guerini e Associati, 2006,
pp. 153-170.
G. De Michelis
Community memory as a process: reflections and indications for design,
Theories and Practice of Interaction Design, Edited by Bagnara, S. and G. Crampton-Smith,
Florence KE, Erlbaum, (UNITED STATES), 2006, pp. 235-247.
G. Denaro, L. Lavazza, M. Pezzè
Le Metriche Object-oriented nelle Realtà Aziendali
In GUFPI-ISMA, Metriche del Software: Esperienze e Ricerche, Franco Angeli, 2006.
M. P. Locatelli, C. Simone
Supporting care networks through an ubiquitous collaborative environment
In C. Nugent and J. Augusto, editors, Smart Homes and Beyond, Vol. 19. Assistive Technology
Research, IOS Press, 2006, pp. 204-211.
B. Pernici
Mobile Information Systems - Infrastructure and Design for Adaptivity and Flexibility (the MAIS
Approach) Springer-Verlag, 2006.
R.Polillo
La qualità dei siti Web
L’ambiente dell’apprendimento – Web design e processi cognitivi, a cura di G.Anceschi, M.Botta
e M.A.Garito, edizioni McGraw -Hill, 2006.
LIBRI
C. Batini. M. Scannapieco
Data qualità concepts, methodolodies and techniques
Springer 2006.
E. Herrera-Viedma, G. Pasi, F. Crestani
Soft Computing in Web Information Retrieval: Models and Applications
Series Studies in Fuzziness and Soft Computing, Springer, April 2006.
H. L. Larsen, G. Pasi, D. Ortiz Arroyo , T. Andreasen, H. Christiansen eds.
Flexible Query Answering Systems: 7th International Conference
LNAI 4027, Springer, Proceedings of FQAS 2006, Milan, Italy, June 7-10, 2006.
R.Polillo
Plamare il Web – Road map per siti di qualità
Edizioni Apogeo, 2006, pp. xvii+332.
32
ARTICOLI IN ATTI DI CONGRESSO
M. Adorni, D. Micucci
Dynamic Adaptive Navigation via MAIS Reflective Framework
Proceedings of Self-adaptability and self management of context-aware systems (Self06).
Workshop collocated with ICAS'06. IEEE Computer Society Press, California, USA, July 19-21,
2006.
F. Arcelli, S. Masiero, C. Raibulet
Elemental Design Patterns Recognition in Java
Proceedings of the 13th International Workshop on Software Technology and Engineering
Practice (STEP 2006), IEEE Computer Society, Budapest, HU, September 24-25, 2006, pp. 196205.
F. Arcelli, C. Raibulet
Evolution of an Adaptive Middleware Exploiting Architectural Reflection
ECOOP 2006 3rd Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAMSE 2006), Nantes, France, July, 3rd, 2006.
F. Arcelli, C. Raibulet
Program Comprehension and Design Pattern Recognition: An Experience Report
ECOOP 2006 International Workshop on Object-Oriented Reengineering (WOOR 2006), Nantes,
France, July, 4th, 2006.
F. Arcelli, C. Raibulet, I. Rigo, L. Ubezio
An Eclipse Plug-in for the Java PathFinder Runtime Verification System
Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, Columbia,
Maryland, Metropolitan Washington DC, 2006, April 24-28.
F. Arcelli, S. Masiero, C. Raibulet
Elemental Design Patterns Recognition in Java
Proceedings of the 13th International Workshop on Software Technology and Engineering
Practice (STEP 2006), IEEE Computer Society, Budapest, HU, September 24-25, pp. 196-205.
F. Archetti, C. Manfredotti, M. Matteucci, E. Messina and D. G. Sorrenti
Multiple Hypotesis Markov Chains For On-Line Anomaly Detection in Traffic Video Surveillance
Proceedings ICDP 2006: Imaging for Crime Detection and Prevention, 13-14 June 2006.
F. Archetti, S. Lanzeni, E. Messina, and L. Vanneschi
Genetic programming for human oral bioavailability of drugs
In M. Keijzer et al., editor, Proceedings of the Genetic and Evolutionary Computation
Conference, GECCO 2006, ACM Press, 2006, Vol. 1, pp. 255-262. Best Conference Paper
Award for the Biological Applications Track.
S. Bandini, S. Manzoni, C. Simone
MMASS: Past, Present and Future Research Directions on the Multilayered Multi-Agent Situated System
Robert Trappl (ed.) 18th European Meeting on Cybernetics and System research, University of
Vienna, 2006, pp.748-752.
S. Bandini, M. L. Federici, G. Vizzari
SCA Based Crowd Simulation: from Methodology to Life-cycle
In Robert Trappl (ed.) 18th European Meeting on Cybernetics and System research, University of
Vienna, 2006, pp.719-724.
33
Towards a Hybrid Agent Architecture for Crowd Modelling and Simulation
In Robert Trappl (ed.) 18th European Meeting on Cybernetics and System research, University of
Vienna, 2006, pp.557-562.
S. Bandini, S. Manzoni, S. Redaelli, and L. Vanneschi
Automatic detection of go-based patterns in CA model of vegetable populations: Experiments on geta pattern
recognition
In S. El Yacoubi, B. Chopard, and S. Bandini, editors, Proceedings of the Seventh International
Conference on Cellular Automata for Research and Industry (ACRI 2006), Lecture Notes in
Computer Science, LNCS 4173, Springer, Berlin, Heidelberg, New York, 2006, pp. 427-435.
Crowd Modeling and Simulation: the Role of Multi-Agent Simulation in Design Support Systems
In J. P. van Leeuwen, H.J.P. Timmermans (eds.), Innovations in Design & Decision Support
Systems in Architecture and Urban Planning, Springer-Verlag, 2006, pp. 105-120.
S. Bandini, F. Sartori.
Industrial Mechanical Design: The "IDS" Case Study
Second International Conference on Design Computing and Cognition (DCC'06), 2006.
C. Batini, A. Maurino, M. Corsi, D. Ciriaci, R. Russo, S. Scipioni
Multidisciplinary guidelines for e-procurement projects: the designer phase
Egovernment workshop Brunel University, West London UK 2006.
C. Batini, F Cabitza G. Cammarota, D. Ciriaci, M. Corsi, A. Maurino, R. Russo, S. Scipioni. M.
Telaro Multidisciplinary models and guidelines for eProcurement projects: the eReadiness phase
In Proceedings of International Conference on e-Commerce, e-Business and e-Government, I3E
Turku, Finnland 2006.
C. Batini, B. Pernici
Data Quality Management and Evolution of Information Systems
International Conference on Information Processing (IFIP), Santiago del Cile, Luglio 2006.
C. Batini, F. Cabitza, C. Cappiello, C. Francalanci
A Comprehensive methodology for Web and Structured Data
Proceedings of ICDIM Conference, Bangalore, India, Dicembre 2006.
C. Batini, F. Cabitza, A. Maurino, M. Telaro, D. Ciriaci, M. Corsi, R. Russo, S. Scipioni,
G.Cammarota
Multidisciplinary models and guidelines for eprocurement projects: the ereadiness phase
In I3E'06: Proceedings of the Sixth IFIP Conference on E-Commerce, E-Business, EGovernment, Turku, Finland, October 2006.
A. Bonarini, W. Burgard, G. Fontana, M. Matteucci, D. G. Sorrenti, J. D. Tardos
RAWSEEDS: Robotics Advancement through Web-publishing of Sensorial and Elaborated Extensive Data Sets
P. Bonizzoni, G. Della Vedova, R. Dondi G. Mauri
A PTAS for the Maximum Consensus Clustering
1st FIMA International Conference on Models and Methods for Human Genomics , Val
D'Aosta, 2006.
A. Bonomi, G. Mantegari, G. Vizzari
A Framework for Ontological Description of Archaeological Scientific Publications
34
In G. Tumarello, P. Bouquet, O. Signore (eds.) Semantic Web Applications and Perspectives 2006,
Proceedings of SWAP 2006, the 3rd Italian Semantic Web Workshop, Pisa, Italy, December 18-20,
2006, CEUR Workshop Proceedings, ISSN 1613-0073, online http://ceur-ws.org/Vol-201.
G. Bordogna, M. Pagani, G. Pasi, L. Antoniolli, F. Invernizzi
An Incremental Hierarchical Fuzzy Clustering Algorithm Supporting News Filtering
In Proceedings of IPMU 2006, 2-7 July 2006.
G. Bordogna, G. Pasi
Overview of the PENG project
Proceedings of SAMT 2006, 1st Int. Conf on Semantics and Digital Media Technologies, Athens,
6-8 December, 2006.
M. Brioschi, C. Cappiello, M. Legnani, A. Maurino, E. Mussi, B. Pernici, N. Simeoni
The MAIS Prototype for the Risk Evaluation of Archaelogical Heritage
Proceedings of the 15th International Conference World Wide Web (WWW 2006). Edinburg,
Scotland. May 23-26, 2006. Presented in the Developers Track, Mobile Session.
A. Bruna, F Gasparini, F. Naccari, R. Schettini
Multidomain Pixel Analysis for Illuminant Estimation and Compensation
Proceedengs Digital Photography II, Vol. SPIE-IS&T/Vol. 6069, 2006, pp. 60690 C-1 60690C-8.
F. Cabitza, M. P. Locatelli, C. Simone
Designing computational places for communities within organizations
In CollaborateCom'06: Proceedings of the 2nd Conference on Collaborative Computing:
Networking, Applications and Worksharing, Atlanta, Georgia, U.S.A., November 2006. ISBN: 14244-0428-2, pp. 1-10.
F. Cabitza, C. Simone
``You Taste Its Quality'': Making sense of quality standards on situated artifacts
In MCIS'06: Proceedings of the First Mediterranean Conference on Information Systems,
Venice, Italy, October 2006.
F. Cabitza, M. Sarini, G. Viscosi
``Let a standard be standard'': reminding people of deviations from standards
In COOP'06: Proceedings of the 7th International Conference on the Design of Cooperative
systems (short paper session), Provence, France, May 2006.
F. Cabitza, M. Locatelli, M. Sarini, C. Simone
CASMAS: Supporting Collaboration in Pervasive Environments
In PerCom2006: Proceedings of the Fourth Annual IEEE International Conference on Pervasive
Computing and Communications, pages 286-295, Pisa, Italy, March 2006. IEEE Computer
Society.
L. Caflisch, A. Colombo C. Cusano, R. Schettini, F. Tisato
FaceLab: a tool for performance evaluation of face recognition strategies
Proceedings Internet imaging VII, Vol. SPIE 6061 (S. Santini, R. Schettini, T. Gevers eds.), 2006,
pp. 60610V-1, 606010V-10.
S. Calegari, D. Ciucci
Integrating Fuzzy Logic in Ontologies
Proceedings ICEIS06, May 23-27 2006, Paphos, Cyprus, 2006, pp. 66-73.
S. Calegari, D. Ciucci, P. Radaelli
Understanding linguistic negation: fuzzy sets approaches
35
Proceedings ISFUROS, December 5-8, Santa Clara, Cuba, 2006. Editorial Feijoo ISBN 959-250308-7.
A. Capra, S. Corchs, F. Gasparini, R. Schettini
Dynamic range optimization by Local contrast correction and histogram image analysis
Digest of Technical Papers IEEE International Conference on Consumer Electronics, 2006, pp.
309-310.
Rough Approach to Entropy and Co--Entropy of Partitions and Coverings
Rough Approach to Fuzzification and Defuzzification in Probability Theory
In Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU
2006. July 2-7, 2006. PARIS: Editions E.D.K. (FRANCE), 2006, Vol. I, pp. 82-88.
Dynamic storyboards for video content summarization
Invited Paper at the 8th ACM SIGMM International Workshop on Multimedia Information
Retrieval, ACM Multimedia 2006, 2006, pp. 259-268.
Visual video summaries post-processing using supervised and unsupervised classification
Digest of Technical Papers IEEE International Conference on Consumer Electronics, 2006, pp
81-82.
D. Ciucci, T. Flaminio
Generalized Rough Approximation of Fuzzy Sets in LP ½
A. Colombo C. Cusano, R. Schettini
Detection and restoration of occlusions for 3D face recognition
IEEE International Conference on Multimedia and Expo (ICME), 2006, pp. 1541-1544.
A. Colombo C. Cusano, R. Schettini
Semantic 3D face mesh simplification for transmission and visualization
Proceedings IEEE International Conference on Multimedia and Expo (ICME), 2006, pp. 157160.
A. Colombo, M. Matteucci, D. G. Sorrenti
Calibration of General Non Single Viewpoint Catadioptric Sensors
Proceedings of the RoboCup Symposium, 2006.
M. Comerio M., F. De Paoli, S. Grega
Quality Composition in Web-Service Design
Proceedings of ICDCSW (International Conference on Distributed Computing SystemsWorkshops) 2006, Lisboa, Portugal, July 4-7, 2006.
F. Crestani, G. Pasi
Editorial message: special track on information access and retrieval
ACM Symposium on Applied Computing, SAC 2006, pp. 1018-1019.
36
F. De Paoli, G. Lulli, A. Maurino
Design of Quality-based Composite Web Services
International conference on Service Oriented Computing (ICSOC) 2006.
F. De Paoli, M. Loregian
Context-aware Applications with Distributed Ontologies
Proc. of UMICS 2006 - CAiSE'06 Workshop on Ubiquitous Mobile Information and
Collaboration Systems, Luxembourg, Grand-Duchy of Luxembourg, June 5-6, 2006.
F. De Paoli, M. Loregian
Enhancing Semantic Interoperability in Collaborative Systems
Proc. of 18th International Conference on Software Engineering and Knowledge Engineering
SEKE’2006, San Francisco, USA, July 5 - 7, 2006.
F. De Paoli and M. Loreg ian
On Integrating a Semantic Wiki in a Knowledge Management System
In G. Tumarello, P. Bouquet, and O. Signore, editors, Proceedings of SWAP 2006, the 3rd Italian
Semantic Web Workshop, Pisa, Italy, December 18-20, 2006, Vol. 201. CEUR-WS.org, 2006.
G. Denaro, M. Pezzè, D. Shilling, D. Tosi
Towards Self-Adaptive Service-Oriented Architectures
Proceedings of the International Workshop on Testing, Analysis and Verification of Web Services
and Applications, Portland, Maine, USA, 2006.
A. Gallini A. Rosti, S. Bocchio, C. Ferretti
Compilation Techniques for Configurable Architectures
Atti di "ReCoSoC International Workshop", 2006.
F. Gasparini, R. Schettini
Skin segmentation using multiple thresholding
Proceedings Internet imaging VII, Vol. SPIE 6061 (S. Santini, R. Schettini, T. Gevers eds.), 2006,
pp. 60610F-1, 60610F-8.
D.H. Kraft, G. Pasi, G. Bordogna
Vagueness and Uncertainty in Information Retrieval: How Can Fuzzy Sets Help?
Invited paper, International Workshop on Research Issues in Digital Libraries, Kolkata, West
Bengal, India, December, 2006.
A. Leporati, G. Mauri, C. Zandron
Solving the Factorization Problem with P Systems
In L. Pan, Gh. Paun (eds.), Pre-Proceedings of the Internationational Conference Bio-Inspired
Computing – Theory and Applications (BIC-TA 2006), Membrane Computing Section, Wuhan,
China, September 18-22, 2006, pp. 144-153.
D. Lorenzoli, L. Mariani, M. Pezzè
Inferring State-Based Behavior Models
Proceedings of the 4th International Workshop on Dynamic Analysis (WODA 2006) co-located
with the 28th International Conference on Software Engineering (ICSE 2006), ACM, Shangai
(China), 23 May, 2006.
D. Lorenzoli, S. Mussino, M. Pezzè, A. Sichel, D. Tosi
A SOA Based Self-Adaptive Personal Mobility Manager
Proceedings of the IEEE International Conference on Services Computing, 2006.
F. M. Marchese
Space-Time Cellular Automata in Multiple Mobile Robots Motion-Planning
37
Proceedings of the 12th IASTED International Conference on Robotics and Applications (RA
2006), Honolulu, Hawaii, (USA), August 14-16, 2006.
F. M. Marchese
Multiple Mobile Robots Path-Planning with MCA
Proceedings of the International Conference on Autonomic and Autonomous Systems
(ICAS'06), Silicon Valley, CA (USA), July 2006.
F. M. Marchese
Multiple Mobile Robots Motion-Planning: an approach with Space-Time MCA
Proceedings of the International Conference of Informatics in Control, Automation and
Robotics (ICINCO 2006), IEEE RA Society/IFAC, Setúbal (P), August 2006.
D. Micucci, M. Oldani, F. Tisato
Time-Aware Multi Agent Systems
Proocedings of Multiagent Systems and Software Architecture (MASSA). D. Weyns and T.
Holvoet (Eds.), September 19, 2006, Erfurt, Germany, pp. 71-78.
M. Palmonari, G. Viscusi, C. Batini
Semantic Repositories for Service Provision: An Approach to Enhance the Business Perspective
1st International Workshop on Service- and Process-Oriented Software Engineering (SOPOSE)
held in conjunction with the 2006 Asia-Pacific Conference on Software Engineering (APSEC2006), December 9, 2006, Bangalore.
G. Pasi, G. Bordogna, R. Villa
The PENG System: practice and experience
Proceedings of the DEXA workshop FLEXDBIST-06, Cracovia, 6 September, 2006.
G. Pasi
Fuzzy approaches to Information Retrieval: State of the art and research trends
Plenary Lecture at the biennial Spanish Conference on Fuzzy Logic and Technologies (ESTYLF
2006).
C. Raibulet, F. Arcelli, S. Mussino, M. Riva, F. Tisato, L. Ubezio
Components in an Adaptive and QoS-based Architecture
Proceedings of the ICSE 2006 Workshop on Software Engineering for Adaptive and SelfManaging Systems (SEAMS 2006), Shanghai, China, May, 21-22, 2006, pp. 65-71.
C. Raibulet, F. Arcelli, S. Mussino, M. Riva
QoS, Properties and Views to Achieve Dynamic Adaptivity
Proceedings of the IEEE INFOCOM Student Workshop, Barcelona, Spain, 2006, April, 23-29,
2006.
C. Raibulet, F. Arcelli, S. Mussino, M. Riva, F. Tisato, L. Ubezio
Proceedings of the ICSE 2006 Workshop on Software Engineering for Adaptive and SelfManaging Systems (SEAMS 2006), Shanghai, China, May, 21-22, 2006, pp. 65-71.
C. Raibulet, F. Arcelli, S. Mussino, M. Riva
QoS, Properties and Views to Achieve Dynamic Adaptivity
Proceedings of the IEEE INFOCOM Student Workshop, Barcelona, Spain, 2006, Ap ril, 23-29,
2006.
I. Rigo, F. Arcelli, C. Raibulet, L. Ubezio
An Eclipse Plug-in for the Java PathFinder Runtime Verification System
38
Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, Columbia,
Maryland, Metropolitan Washington DC, Ap ril, 24-28, 2006.
M. Sarini, F. Cabitza and G. Viscusi
Let a Standard be Standard: Reminding People of Deviations from Standards
Cooperative Systems Design(COOP2006), Supplement to the Proceedings Short Papers, pp. 83–
90. 7th International Conference on the Design of Cooperative Systems, France, Carry-le-Rouet,
May 9-12, 2006.
L. Vanneschi, Y. Pirola, P. Collard, M. Tomassini, S. Verel, and G. Mauri
A quantitative study of neutrality in gp boolean landscapes
In M. Keijzer et al., editor, Proceedings of the Genetic and Evolutionary Computation Conference, GECCO
2006, ACM Press, 2006, Vol. 1, pp. 895–902.
L. Vanneschi, A. Valsecchi, S. Cagnoni, and G. Mauri
Heterogeneous cooperative coevolution: Strategies of integration between gp and ga
In M. Keijzer et al., editor, Proceedings of the Genetic and Evolutionary Computation
Conference, GECCO 2006, ACM Press, 2006, Vol. 1, pp. 361–368.
LECTURE NOTES
P. Bonizzoni, G. Mauri
A decision procedure for reflexive splicing languages
International Conference Developments in Language Theory DLT 06, LNCS 4036, 2006, pp.
315-326.
P. Bonizzoni, G. Della Vedova, R. Dondi, G. Mauri
Fingerprint Clustering with Bounded Number of Missing Values
17th Annual Symposium on Combinatorial Pattern Matching CPM 2006, LNCS 4009.
P. Bonizzoni, G. Della Vedova, R. Dondi, G. Fertin, S. Vialette
Exemplar Longest Common Subsequence
IWBRA 06, LNCS 3992, 2006.
F. Archetti, E. Messina, D. Toscani
UP-DRES User Profiling for a Dynamic REcommendation System
LNCS: Advances in Data Mining. Applications in Medicine, Web Mining, Marketing, Image and
Signal Mining, Vol. 4065, 2006.
F. Archetti, E. Fersini, P. Campanelli, E. Messina
A Hierarchical Document Clustering Environment Based on the Induced Bisecting k-Means
LNCS: Flexible Query Answering Systems, Vol. 4027, 2006.
F. Archetti, S. Lanzeni, E. Messina, L. Vanneschi
Genetic Programming for Human Oral Availability of Drugs
LNCS: Genetic and Evolutionary Computation 2006 (GECCO 2006).
F.Archetti, C.E. Manfredotti, E. Messina, and D. G. Sorrenti
Foreground-to-ghost Discrimination in Single-difference Pre-processing
LNCS: Advanced Concepts for Intelligent Vision Systems, ACIVS 2006, pp. 263-274.
F. Archetti, E. Messina, D. Toscani, and L. Vanneschi
Classifying and counting vehicles in traffic control applications
39
In F. Ruthlauf et al., editor, Applications of Evolutionary Computing, EvoWorkshops2006:
EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSARTand
EvoSTOC, LNCS, Vol. 3907, Springer, Berlin, Heidelberg, New York, 2006, pp. 495-499.
S.Bandini, S. Calegari, P. Radaelli
Towards Fuzzy Ontology Handling Vagueness of Natural Languages
In G. Wang, J. F. Peters, A. Skowron, Y. Yao (eds.): Rough Sets and Knowledge Technology,
First International Conference, RSKT 2006, LNCS, Vol. 4062, Springer, 2006, pp. 693-700.
S. Bandini, F. Celada, S. Manzoni, R. Puzone, G. Vizzari
Modelling the Immune System with Situated Agents
In B. Apolloni, M. Marinaro, G. Nicosia, R. Tagliaferri (eds.) Neural Nets, 16th Italian Workshop
on Neural Nets, WIRN 2005, and International Workshop on Natural and Artificial Immune
Systems, NAIS 2005, LNCS, Vol. 3931, Springer, 2006, pp.231-243.
S. Bandini, M. L. Federici, S. Manzoni, G. Vizzari
Towards a Methodology for Situated Cellular Agent Based Simulation
In (eds.) Sixth International Workshop Engineering Societies in the Agents World (ESAW 2005),
LNCS, Vol. 3963, pp.202-220, Springer, 2006.
S. Bandini, S. Manzoni
Towards Affective Situated Cellular Agents
In S. El Yacoubi, B. Chopard, S. Bandini (eds.), Cellular Automata, Proc. of 7th Int. Conf. on
Cellular Automata for Research and Industry, ACRI 2006 (Perpignan, France, September 20-23,
2006), LNCS, Vol. 4173, Springer, 2006, pp. 686-689.
S. Bandini, S. Manzoni, S. Redaelli, L. Vanneschi
Automatic Detection of Go-Based Patterns in CA Model of Vegetable Populations: Experiments on Geta
Pattern Recognition
In: S. El Yacoubi, B. Chopard, S. Bandini (eds.), Cellular Automata, Proc. of 7th Int. Conf. On
Cellular Automata for Research and Industry, ACRI 2006 (Perpignan, France, September 20-23,
2006), LNCS, Vol. 4173, Springer, 2006, pp. 427-435.
S. Bandini, S. Manzoni, S. Redaelli, L. Vanneschi
Emergent Spatial Patterns in Vegetable Population Dynamics: Towards Pattern Detection and Interpretation
In V. N. Alexandrov, G.D. Albada, P. M.. A. Sloot, J. Dongarra (eds.), Computational Science,
Proc. of 6th International Conference, ICCS 2006 (Reading, UK, May 28-31, 2006), LNCS, Vol.
3993, Springer, 2006, pp. 289-296.
Web Sites as Agents Environments: General Framework and Applications
In D. Weyns, H. Van Dyke Parunak, F. Michel (eds.) The Second International Workshop on
Environments for Multi-Agent Systems, LNCS, Vol. 3830, Springer, 2006, pp.235-250.
S. Bandini, P. Mereghetti, P. Radaelli
Fuzzy Query Answering in Motor Racing Domain
In H. L. Larsen, G. Pasi, D. O. Arroyo, T. Andreasen, H. Christiansen (eds.): Flexible Query
Answering Systems, 7th International Conference, FQAS 2006, LNCS, Vol. 4027, Springer,
2006, pp.295-306.
S. Bandini, S. Manzoni, S. Redaelli, and L. Vanneschi
Emergent spatial patterns in vegetable population dynamics: towards pattern detection and interpretation.
In V. N. Alexandrov et al., editor, Modelling Complex Systems by Cellular Automata (MCSC A
2006), workshop of the 6th International Conference on Computational Science (ICCS 2006),
LNCS, Vol.3, Springer, Berlin, Heidelberg, New York, 2006, pp. 289–296.
40
D. Barone, G. Viscusi, C. Batini, and P. Naggar
A Repository of Services for the Government to Businesses relationship
In 6th conference on Next Generation Information Technologies and Systems NGITS 2006,
LNCS, Vol. 4032, O. Etzion, T. Kuflik, and A. Motro, editors, Springer-Verlag Berlin Heidelberg,
July 2006, pp. 47–58.
C. Batini, D. Barone, M.F. Garasi, G. Viscusi
Design and use of ER repositories: methodologies and experiences in eGovernment initiatives
25th International Conference on Conceptual Modeling (ER2006), Tucson, Arizona, USA. LNCS,
Vol. 4215, Springer-Verlag, 2006.
G. Bordogna, M. Pagani, G. Pasi, R. Villa
A Flexible News Filtering Model Exploiting a Hierarchical Fuzzy Categorization
LNAI, Vol. 4027, Proceedings of FQAS 2006, pp. 170-184.
G. Casiraghi, C. Ferretti, A. Gallini, G. Mauri
A membrane computing system mapped on an asynchronous, distributed computational environment
In R. Freud, G. Paun, G. Rozenberg, A. Salomaa. Membrane Computing, LNCS, Vol. 3850, ISBN:
3-540-30948-9; BERLIN: Springer (GERMANY), 2006, pp. 159-164.
G. Cattaneo, A. Dennunzio, F. Farina
A full cellular automaton to simulate predator-prey systems
LNCS, Vol. 4173, 2006, pp. 446-451.
Some Methodological Remarks about Categorical Equivalences in the Abstract Approach to Roughness
Part I. LNCS, Vol. 4062, 2006, pp. 277-283.
Some Methodological Remarks about Categorical Equivalences in the Abstract Approach to Roughness.
Part II. Lecture Notes in Computer Science, Vol. 4062, 2006, pp. 284-289.
P. Cazzaniga, A. Leporati, G. Mauri, C. Zandron
P Systems with Memory
Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21,
2005, Revised Selected Papers
(R. Freund, Gh. Paun, G. Rozenberg, A. Salomaa, eds), LNCS 3850, Springer-Verlag, Berlin,
2006, pp. 165-180.
F. Farina, G. Cattaneo, A. Dennunzio
Grid and HPC dynamic load balancing with Lattice Boltzmann models
LNCS, Vol. 4276, 2006, pp. 1152-1162.
A. Leporati, D. Pagani
A Membrane Algorithm for the Min Storage Problem
Membrane Computing: 7th International Workshop, WMC 2006, Leiden, The Netherlands, July
17-21, 2006, Revised Selected Papers (H.J. Hoogeboom, Gh. Paun, G. Rozenberg, A. Salomaa.,
eds), LNCS, Vol. 4361, Springer-Verlag, Berlin, 2006, pp. 443-462.
A. Leporati, G. Mauri, C. Zandron
Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes
Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21,
2005, Revised Selected Papers (R. Freund, Gh. Paun, G. Rozenberg, A. Salomaa, eds), LNCS,
Vol. 3850, Springer-Verlag, Berlin, 2006, pp. 310-325.
41
F. M. Marchese, M. Dal Negro
Path-Planning for Multiple Generic-shaped Mobile Robots with MCA
in V.N. Alexandrov et al. (Eds.), ICCS 2006, Part III, LNCS, Vol. 3993, pp. 264 271, SpringerVerlag Ed., Berlin,Heidelberg(D), May 2006.
D. Pescini, D. Besozzi, C. Zandron, G. Mauri
Analysis and Simulation of Dynamics in Probabilistic P Systems
11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9,
2005, Revised Selected Papers, LNCS, Vol. 3892
A. Carbone, N.A. Pierce, Niles A., 2006, XI, pp. 236-247.
L. Vanneschi, S. Gustafson, and G. Mauri
Using subtree crossover distance to investigategenetic programming dynamics
In Collet, P., et al., editor, Genetic Programming, 9th European Conference, EuroGP2006,
Lecture Notes in Computer Science, LNCS, Vol. 3905, Springer, Berlin, Heidelberg, New York,
2006, pp. 238–249. Best Conference Paper Award.
L. Vanneschi, M. Tomassini, P. Collard, and S. Vérel.
Negative slope coefficient. a measure to characterize genetic programming fitness landscapes
In Collet, P., et al., editor, Genetic Programming, 9th European Conference, EuroGP2006,
LNCS, Vol. 3905, Springer, Berlin, Heidelberg, New York, 2006, pp. 178–189.
S. Verel, P. Collard, M. Tomassini, and L. Vanneschi
Neutral fitness landscape in the cellular automata majority problem
In S. El Yacoubi, B. Chopard, and S. Bandini, editors, Proceedings of the Seventh International
Conference on Cellular Automata for Research and Industry (ACRI 2006), Lecture Notes in Computer
Science, LNCS, Vol. 4173, Springer, Berlin, Heidelberg, New York, 2006, pp. 258–267.
G. Vizzari, M. L. Federici, G. Pizzi
Visualization of Discrete Crowd Dynamics in a 3D Environment
In S. El Yacoubi, B. Chopard, S. Bandini (eds.) Proc. of 7th Int. Conf. on Cellular Automata for
Research and Industry, ACRI 2006 (Perpignan, France, September 20-23, 2006), LNCS, Vol.
4173, Springer, 2006, pp.720-723.
D.Weyns, G. Vizzari, T. Holvoet
Environments for Situated Multi-agent Systems: Beyond Infrastructure
In D. Weyns, H. Van Dyke Parunak, F. Michel (eds.) The Second International Workshop on
Environments for Multi-Agent Systems, LNCS, Vol. 3830, Springer, 2006, pp. 1-17.
CURA DI PROCEEDINGS E DI NUMERI MONOGRAFICI
S. Bandini, P. Petta, G. Vizzari
International Symposium on Agent Based Modeling and Simulation (ABModSim 2006)
University of Vienna, 18th European Meeting on Cybernetic Science and Systems Research
(EMCSR 2006), Vienna, Austria, 2006.
F. De Paoli, A. Di Stefano, A. Omicidi, C. Santoro
WOA 2006: Dagli Oggetti agli Agenti
7th AI*IA/TABOO Joint Workshop "From Objects to Agents": GRID, p2p and Self-* Systems,
26-27 September 2006, Catania, Italy.
S. El Yacoubi, B. Chopard, S. Bandini
Proceedings of 7th International Conference on Cellular Automata for Research and Industry,
ACRI 2006 (Perpignan, France, September 20-23, 2006), LNCS, Vol. 4173, Springer, 2006.
42
E. Herrera-Viedma, G. Pasi
Soft approaches to information retrieval and information access on the Web
Special Issue of the Journal of the American Society for Information Science and Technology,
57(4), 2006.
S. Santini, R. Schettini, T. Gevers eds.
Internet imaging VII
Proceedings of SPIE Vol. 6061, 2006.
WORKSHOP NAZIONALI
A. Bonomi, M. Sarini, G. Vizzari
A Heterogeneous Multi-Agent System for Adaptive Web Applications
In F. De Paoli, A. Di Stefano, A. Omicini, C. Santoro (eds.) WOA 2006: Dagli Oggetti Agli
Agenti, Sistemi Grid, P2P e Self-*, Vol. 204, pp.66-75, 2006, CEUR Workshop Proceedings,
ISSN 1613-0073, online http://ceur-ws.org/Vol-204.
C. Brambilla, C. Cusano, R. Schettini
Using forests to classify digital images
Proceedings of the XLIII Scientific Meeting of the Italian Statistical Society, 2006, pp. 529-532.
M. L. Federici, S. Redaelli, G. Vizzari.
Models, Abstractions and Phases in Multi-Agent Based Simulation
In F. De Paoli, A. Di Stefano, A. Omicini, C. Santoro (eds.) WOA 2006: Dagli Oggetti Agli
Agenti, Sistemi Grid, P2P e Self-*, Vol. 204, pp.144-157, 2006, CEUR Workshop Proceedings,
ISSN 1613-0073, online http://ceur-ws.org/Vol-204.
R. Schettini, G. Ciocca, A. Colombo
Metodi d'accesso innovativi ai dati multimediali (comunicazione)
Nell'ambito del Convegno nazionale "La biblioteca su misura" Archivi, Biblioteche, Musei e
Patrimonio culturale. Programmi e realizzazioni della Regione Lombardia, Marzo 2006.
R, Schettini, A. Colombo, C. Cusano
Riconoscimento multimodale di volti tridimensionali
IBM Global Security Conference, 12-13 Ottobre 2006, Segrate (Milano).
WORKSHOP INTERNAZIONALI
C. Raibulet, F. Arcelli Fontana, S. Mussino, M. Riva, F. Tisato, L. Ubezio
In Proceedings ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing
Systems (SEAMS 2006)
43
Q UADERNI DEL DISCO
F. Archetti, E. Messina, D. Toscani
UP-DRES User Profiling for a Dynamic REcommendation System
Department of Informatics, Systems and Communications, University of Milano Bicocca
Research Report n.1, Aracne Editrice, 2006.
R. Boselli, L.M. Federici, G.Viscusi
Ontologies: from Philosophy to Knowledge Integration
Research Report n. 2., Issn 1828-3357-60002, Aracne Editrice, 2006.
D. Micucci, M. Oldani, F. Tisato
An Architectural Model for Time Awareness
Research Report n.3, Isbn: 88-548-0773-7, Aracne Editrice, 2006.
G. Denaro, M. Pezzè, D. Tosi
Designing Self-Adaptive Service-Oriented Applications
Research Report n.4, Aracne Editrice, 2006.
44
9
COMPETENZE DIDATTICHE
I docenti afferenti al Dipartimento hanno tenuto nel nostro Ateneo, nell’a.a. 2006/2007 i corsi di
cui alla tabella sottoriportata:
docente
Antoniotti
Marco
insegnamento
modulo
corso di laurea
Facoltà
Algoritmi e
Programmazione
Programmazione 3
LT Informatica
Scienze
MM/FF/NN
Linguaggi di
Programmazione 1
Paradigmi di
Programmazione
LT Informatica
Scienze
MM/FF/NN
LT Informatica
Scienze
MM/FF/NN
LS Informatica
Scienze
MM/FF/NN
LT Informatica
Scienze
MM/FF/NN
Ingegneria del
software
(progettazione
Object Oriented)
Laboratorio di
Linguaggi di
Programmazione
Evoluzione dei
sistemi software e
reverse
engineering
Ingegneria del
software
(progettazione
Object Oriented)
Ingegneria del
software 1
Ingegneria del
software 1
LT Informatica
Scienze
MM/FF/NN
Acquisizione abilità
Bioinformatica mod. Metodi
numerici per la
Bioinformatica
Metodi numerici
per la
Bioinformatica
LS
Bioinformatica
Scienze
MM/FF/NN
Analisi dei Sistemi
Finanziari
Analisi dei Sistemi
Finanziari
LT Informatica
Scienze
MM/FF/NN
Ricerca Operativa 2
LS Scienze e
Tecnologie per Scienze
l'Ambiente e il MM/FF/NN
territorio
Linguaggi di
Programmazione 1
Evoluzione dei
siste mi software e
reverse engineering
Arcelli
Fontana
Francesca
Archetti
Francesco
Ricerca Operativa
Ingegneria della
Conoscenza e
Sistemi Esperti
Bandini
Stefania
Batini Carlo
Ingegneria della
Conoscenza e
Sistemi Esperti
Intelligenza
Intelligenza
Artificiale
Artificiale (elementi)
(elementi)
LT Informatica
Scienze
MM/FF/NN
LT Informatica
Scienze
MM/FF/NN
Rappresentazione
della conoscenza
Rappresentazione
della conoscenza
LS Informatica
Scienze
MM/FF/NN
Basi di Dati
(complementi)
Basi di Dati
(complementi)
LT Informatica
Scienze
MM/FF/NN
Basi di Dati 1
Basi di Dati 1
LT Informatica
Scienze
MM/FF/NN
LS Informatica
Scienze
MM/FF/NN
LT Fisica
Scienze
MM/FF/NN
Sistemi Informativi
(Progetta zione e
organizzazione)
Laboratorio di
Bernardinello
Informatica per la
Luca
Fisica 1
Sistemi Informativi
(Progettazione e
organizzazione)
Laboratorio di
Informatica per la
Fisica 1
45
Laboratorio di
Informatica per la
Fisica 2
Sistemi Operativi e
Reti
Bisiani
Roberto
Cardone
Felice
Cattaneo
Gianpiero in
congedo art.
17, DPR
382/80 (I sem
06/07)
De Michelis
Giorgio
De Paoli
Flavio
Dennunzio
Alberto
Scienze
MM/FF/NN
LT Informatica
Scienze
MM/FF/NN
LT Informatica
Scienze
MM/FF/NN
Architettura 1
Architettura dei
calcolatori e
parallelismo
Architettura dei
calcolatori e
LS Informatica
parallelismo
Tecnologie
Informatiche per la LT Informatica
Comunicazione
Scienze
MM/FF/NN
Scienze
MM/FF/NN
Algoritmi e
Programmazione
Algoritmi e
strutture dati 1
LT Informatica
Scienze
MM/FF/NN
Algoritmi e Ricerca
Operativa
Algoritmi e
strutture dati 2
LT Informatica
Scienze
MM/FF/NN
Bioinformatica
Bioinformatica
LT Informatica
Scienze
MM/FF/NN
Algoritmi e
Programmazione
Algoritmi e
strutture dati 1
LT Informatica
Scienze
MM/FF/NN
Fondamenti Logico
Matematici
dell'Informatica
(elementi)
Fondamenti Logico
Matematici
dell'Informatica
(elementi)
LT Informatica
Scienze
MM/FF/NN
Programmazione
Programmazione 1
LT Informatica
Scienze
MM/FF/NN
Cibernetica
(complementi di
Teoria dei Sistemi)
Informatica
Applicata (Logiche
Fuzzy Rough)
Cibernetica
(complementi di
Teoria dei Sistemi)
Informatica
Applicata (Logiche
Fuzzy Rough)
LS Informatica
Scienze
MM/FF/NN
LS Informatica
Scienze
MM/FF/NN
Informatica Teorica
(complementi)
Informatica Teorica
Scienze
LS Informatica
(complementi)
MM/FF/NN
Informatica Teorica
(elementi)
Informatica Teorica
LT Informatica
(elementi)
Scienze
MM/FF/NN
Sistemi di Supporto
alla Cooperazione
Sistemi di Supporto
LT Informatica
alla Cooperazione
Scienze
MM/FF/NN
Internet e nuove
tecnologie
Internet e nuove
tecnologie
LS Teoria e
Tecnologia
della
Comunicazione
Interfacoltà
Scienze
MM/FF/NN Psicologia
Sistemi Distribuiti
Sistemi Distribuiti
LT Informatica
Scienze
MM/FF/NN
LT Informatica
Scienze
MM/FF/NN
LS Informatica
Scienze
MM/FF/NN
LT Informatica
Scienze
MM/FF/NN
Paradigmi
Concorrenti e
Distribuiti
Processo e
Processo e
Sviuluppo di Sistemi Sviuluppo di
Complessi
Sistemi Complessi
Cibernetica
Cibernetica
(elementi di Teoria
(elementi di Teoria
dei Sistemi)
dei Sistemi)
Sistemi Operativi e
Reti
Denaro
Giovanni
LT Fisica
Architettura
Sistemi Operativi e
Reti
Bonizzoni
Paola
Laboratorio di
Informatica per la
Fisica 2
Paradigmi
Concorrenti e
Distribuiti
46
Dominoni
Matteo
Fagiuoli
Enrico
LT Informatica
Scienze
MM/FF/NN
Bioinformatica:
Bioinformatica:
Tecniche di base - II Tecniche di base mod
II mod
LS
Bioinformatica
Scienze
MM/FF/NN
Data Mining
LT Informatica
Scienze
MM/FF/NN
LT Informatica
Scienze
MM/FF/NN
LS
Bioinformatica
Scienze
MM/FF/NN
LS
Bioinformatica
Scienze
MM/FF/NN
Architettura
Le Van Huu
Data Mining
Acquis. abilità
Bioinformatica:
Fondamenti di
Informatica mod. I
Acquis. abilità
Bioinformatica:
Fondamenti di
Informatica mod. II
Fondamenti per la
Ricerca Operativa
(2 turni)
Acquis. abilità
Bioinformatica:
Fondamenti di
Informatica mod. I
Acquis. abilità
Bioinformatica:
Fondamenti di
Informatica mod. II
Sicurezza dei
sistemi informatici
Sicurezza dei
sistemi informatici
LS Informatica
Scienze
MM/FF/NN
Sistemi Operativi e
Reti
Sistemi Operativi
LT Informatica
Scienze
MM/FF/NN
Gestione di
Documenti in
ambiente WEB
Gestione di
Documenti in
ambiente WEB
LT Informatica
Scienze
MM/FF/NN
Sistemi Operativi e
Reti
Sistemi Operativi
LT Informatica
Scienze
MM/FF/NN
LT Informatica
Scienze
MM/FF/NN
LT Informatica
Scienze
MM/FF/NN
Scienze
MM/FF/NN
Fondamenti per la
Ricerca Operativa
Ferretti
Claudio
Architettura 2
Sistemi Operativi e
Reti
Laboratorio di
Sistemi Operativi e
Reti
Teoria
dell'Informazione
(codici e
crittografia)
Leporati
Alberto
Teoria
dell'Informazione
(codici e
crittografia)
Lulli
Guglielmo
Algoritmi e Ricerca
Operativa
Ricerca Operativa 1
LT Informatica
Manzoni Sara
Conoscenze
Informatiche
Conoscenze
Informatiche
LT Scienze per
op. dei Servizi Giurisprudenza
Giuridici
Manzoni Sara
Informatica
Generale
Informatica
Generale
LT Scienze
Giurdiche
Giurisprudenza
Informatica
applicata (Controlli
Automatici)
Informatica
applicata (Controlli
Automatici)
LT Informatica
Scienze
MM/FF/NN
Robotica (elementi)
Robotica (elementi) LT Informatica
Scienze
MM/FF/NN
Ingegneria del
software 1
Ingegneria del
software 1
LT Informatica
Scienze
MM/FF/NN
Sistemi Operativi e
Reti
Laboratorio di
Sistemi Operativi e
Reti
LT Informatica
Scienze
MM/FF/NN
Algoritmi e Ricerca
Operativa
Algoritmi e
strutture dati 2
LT Informatica
Scienze
MM/FF/NN
Apprendimento
Automatico
Apprendimento
Automatico
LS Informatica
Scienze
MM/FF/NN
Marchese
Fabio
Mariani
Leonardo
Mauri
Giancarlo
47
Bioinformatica:
Tecniche di base - I
mod
Maurino
Andrea
Melen
Riccardo
Ingegneria del
software 1
Bioinformatica:
LS
Tecniche di base - I
Bioinformatica
mod
Attività
sperimentali
LT Informatica
integrative
Scienze
MM/FF/NN
Scienze
MM/FF/NN
Architettura
Architettura 1
Informatica
applicata (servizi di
Telecomunicazione)
Informatica
Scienze
applicata (servizi di LS Informatica
MM/FF/NN
Telecomunicazione)
Tecnologie
Scienze
Informatiche per la LT Informatica
MM/FF/NN
Comunicazione
Sistemi Operativi e
Reti
Algoritmi e Ricerca
Operativa
LT Informatica
Scienze
MM/FF/NN
Ricerca Operativa 1
LT Informatica
Scienze
MM/FF/NN
Modelli decisionali
per l'e-commerce
LS Informatica
Scienze
MM/FF/NN
Ricerca Operativa
Ricerca Operativa 1
LS Scienze e
Tecnologie per Scienze
l'Ambiente e il MM/FF/NN
territorio
Algoritmi e
programmazione
Algoritmi e
programmazione
LT Matematica
Scienze
MM/FF/NN
Laboratorio di
Progettazione
Laboratorio di
Progettazione
LS Informatica
Scienze
MM/FF/NN
Programmazione
Progettazione
LT Informatica
Scienze
MM/FF/NN
Programmazione
Programmazione 2
LT Informatica
Scienze
MM/FF/NN
Informatica
Informatica
LT Scienze e
Scienze
Tecnologie per
MM/FF/NN
l'Ambiente
Information
Retrieval
Information
Retrieval
LS Informatica
Scienze
MM/FF/NN
Linguaggi di
Programmazione 1
Paradigmi di
Programmazione
LT Informatica
Scienze
MM/FF/NN
Interazione Uomo macchina
Interazione Uomo LT Informatica
macchina
Scienze
MM/FF/NN
Laboratorio di
Internet
Laboratorio di
Internet
LT Informatica
Scienze
MM/FF/NN
Linguaggi di
Programmazione 1
Linguaggi di
Computabilità
LT Informatica
Scienze
MM/FF/NN
Linguaggi e
traduttori
Linguaggi e
traduttori
LT Informatica
Scienze
MM/FF/NN
Metodi Formali
dell'Informatica
Metodi Formali
dell'Informatica
LT Informatica
Scienze
MM/FF/NN
Raibulet
Claudia
Informatica Mod I
Informatica Mod I
LT Scienze
Biologiche
Scienze
MM/FF/NN
Schettini
Raimondo
Basi di Dati 1
Basi di Dati 1
LT Informatica
Scienze
MM/FF/NN
Modelli decisionali
Messina Enza per l'e-commerce
Micucci
Daniela
Pasi
Gabriella
Polillo
Roberto
Pomello
Lucia
48
Elaborazione delle
Immagini
(complementi)
Elaborazione delle
Immagini
(elementi)
Gestione e
condivisione della
conoscenza
Elaborazione delle
Immagini
(complementi)
Elaborazione delle
Immagini
(elementi)
Gestione e
condivisione della
conoscenza
Linguaggi di
Programmazione 1
Linguaggi di
Computabilità
Linguaggi per il
coordinamento e la
Simone Carla cooperazione
Sorrenti
Domenico
Stella Fabio
Tisato
Francesco in
congedo art.
17, DPR
382/80 (II
sem 06/07)
Vanneschi
Leonardo
Vizzari
Giuseppe
LS Informatica
Scienze
MM/FF/NN
LT Informatica
Scienze
MM/FF/NN
LS Informatica
Scienze
MM/FF/NN
LT Informatica
Scienze
MM/FF/NN
Linguaggi per il
coordinamento e la LT Informatica
cooperazione
Scienze
MM/FF/NN
Interfacoltà
LT Scienze
Scienze della
della
Formazione Comunicazione
Psicologia
Interfacoltà
LT Scienze
Scienze della
della
Psicologia
Modelli
computazionali per
l'Informatica
Modelli
computazionali per
l'Informatica
Tecnologie per la
Comunicazione
Aziendale
Tecnologie per la
Comunicazione
Aziendale
Architettura
Architettura 2
LT Informatica
Scienze
MM/FF/NN
Robotica
(complementi)
Robotica
(complementi)
LS Informatica
Scienze
MM/FF/NN
Visione artificiale
Visione artificiale
LS Informatica
Scienze
MM/FF/NN
Bioinformatica:
Bioinformatica:
Tecniche di base - II Tecniche di base mod
II mod
LS
Bioinformatica
Scienze
MM/FF/NN
Business
Intelligence
Business
Intelligence
LT Informatica
Scienze
MM/FF/NN
Laboratorio di
Ricerca Operativa,
Probabilità e
Statistica
Laboratorio di
Ricerca Operativa,
Probabilità e
Statistica
LS Informatica
Scienze
MM/FF/NN
Programmazione
Progettazione
LT Informatica
Scienze
MM/FF/NN
Programmazione
Programmazione 2
LT Informatica
Scienze
MM/FF/NN
Algortimi e strutture Algortimi e
Dati (Soft
strutture Dati (Soft
Computing)
Computing)
LS Informatica
Scienze
MM/FF/NN
Complementi di
Informatica
Complementi di
Informatica
LT Informatica
Scienze
Scienza dei
MM/FF/NN
Materiali
Intelligenza
Artificiale
(complementi)
Intelligenza
Artificiale
(complementi)
LS Informatica
Scienze
MM/FF/NN
Laboratorio di
Informatica
Laboratorio di
Informatica
LT Matematica
Scienze
MM/FF/NN
Linguaggi di
Programmazione 1
Laboratorio di
Linguaggi di
Programmazione
LT Informatica
Scienze
MM/FF/NN
49
Zandron
Claudio
Zoppis Italo
Informatica
Informatica
LT Scienza dei
Materiali
Scienze
MM/FF/NN
Metodi
Computazionali per
la Biologia
Metodi
Computazionali per LT Informatica
la Biologia
Scienze
MM/FF/NN
Programmazione
Programmazione 1
LT Informatica
Scienze
MM/FF/NN
Informatica
Informatica
LT
Biotecnologie
Scienze
MM/FF/NN
Informatica
Avanzata
Informatica
Avanzata
Informatica Base
Informatica Base
Interfacoltà
LT Scienze
Scienze della
della
Psicologia
Interfacoltà
LT Scienze
Scienze della
della
Psicologia
Mauro Pezzè non ha svolto, nell’a.a. 2006/2007 attività didattica essendo in congedo ai sensi dell’
art. 17, DPR 382/80
LABORATORI DIDATTICI
I laboratori informatici utilizzati per la didattica dei corsi di studio in Informatica vengono gestiti
in modo integrato con altri 13 laboratori informatici dell’Ateneo al fine di migliorare ed
ottimizzare la gestione e l’utilizzo degli stessi.
Le attività prevalenti che vengono svolte all’interno dei laboratori informatici sono:
• esercitazioni, lezioni ed esami dei corsi di studio;
• esercitazioni e laboratori dei corsi di alta formazione e formazione professionalizzante;
• attività di assessment online per diversi corsi di studio dell’Ateneo e per altri enti;
• attività di supporto alla prova di accertamento della conoscenza linguistica e prove di
idoneità informatica per gli studenti dell’Ateneo;
• attività di supporto allo svolgimento di prove concorsuali dell’Ateneo, di altre Università e
di altri enti pubblici;
• attività di supporto allo svolgimento di seminari tecnici, convegni e giornate di studio.
Il LIB è articolato in due strutture:
a) Il back end si occupa dei servizi comuni a tutti i laboratori didattici ed aule informatizzate
afferenti al LIB stesso: dns, proxy, e-mail, home, profili, web-home, ecc;
b) Il front end che comprende i singoli laboratori didattici e le aule informatizzate.
a) Il back end comprende:
• 9 server centrali basati su tecnologia Microsoft Windows 2000 che mettono a disposizione dei
singoli laboratori e delle aule informatizzate servizi comuni quali: la gestione degli utenti, dei
gruppi, delle risorse condivise, la gestione della posta elettronica, del proxy e delle policy per
l’accesso ad Internet, la gestione del DNS, delle home e dei profili degli utenti;
50
• 5 server periferici, utilizzati per specifiche necessità dei singoli laboratori;
• 1 server LINUX interconnesso con il resto del back-end attraverso un meccanismo unico di
autenticazione e condivisione risorse;
• 3 stazioni di lavoro di supervisione e amministrazione del LIB stesso.
b) Il front end comprende:
• 1 laboratorio didattico LIB U7-3p con 145 postazioni di lavoro IV AMD 1800+, 256 Mb ram,
40Gb disco fisso, cdrom, floppy, zip condiviso, monitor 17" con sistema operativo Windows
XP Professional, applicativi per la produttività individuale (Microsoft Office, ecc.) e
ambienti di sviluppo e prototipazione (Microsoft Visual Studio, ecc.), 2 stampanti laser;
• 1 laboratorio didattico LIB U7-2p con 40 postazioni di lavoro Pentium IV, 1.6Ghz, 256Mb
ram, 40Gb disco fisso, cdrom, floppy, zip condiviso, monitor 17" con sistema operativo
Windows XP workstation , applicativi per la produttività individuale (Microsoft Office, ....) e
ambienti di sviluppo e prototipazione (Microsoft Visual Studio, ecc.), 1 stampante laser;
• 1 aula informatizzata MatInfo (in condivisione con il Dipartimento di Matematica ed
Applicazioni) con 20 postazioni di lavoro Pentium III 733, 128Mb ram, 10Gb disco fisso,
cdrom, floppy, monitor 17" e relativo sistema di videoproiezione; questa aula è attrezzata per
lezioni ed esercitazioni del corso di laurea;
Pur se le strutture disponibili siano nettamente al di sopra della media nazionale, sia come qualità
che come quantità, tuttavia rimangono sottodimensionate rispetto agli alti standard didattici che
si desidera ottenere.
Laboratorio trasversale del primo anno del corso di Laurea in Informatica per l'A.A. 20062007, Responsabile Daniela Micucci.
Il laboratorio ha l’obiettivo di rendere lo studente consapevole delle correlazioni esistenti fra
argomenti di corsi diversi, ma fortemente integrati. Frequentando il laboratorio, lo studente sarà
in grado di trattare la stessa problematica affrontandola da diverse prospettive e comprendendo,
quindi, le correlazioni teorico/pratiche che sussistono fra i diversi insegnamenti. Ha inoltre
l’obiettivo di stimolare la frequenza e l’abitudine allo studio “in itinere”, in modo da sostenere
l’esame alla fine dell’erogazione dei corsi. Il laboratorio è organizzato in modo tale da prevedere
esercitazioni pratiche assistite da un pool di tutor alternate da momenti di verifica. L’idea del
laboratorio trasversale è nata dalle esperienze positive maturate nei precedenti anni accademici.
51
10 ALTA FORMAZIONE
Al Dipartimento afferiscono il XIX, XX e XXI, XXII ciclo del Dottorato di Ricerca in
Informatica (con sede amministrativa presso l’Ateneo di Milano – Bicocca).
Nel 2006 i dottorandi che hanno svolto la loro attività di ricerca presso DISCo sono stati 26
(ciclo XIX-XX-XXI).
TESI DI DOTTORATO
Nel 2006 hanno concluso l’attività formativa i dottorandi del XIX ciclo del Dottorato di Ricerca in
Informatica.
Nei primi mesi del 2007 verranno discusse le seguenti tesi di dottorato:
Dottorando
Dottorato
Ciclo
Titolo tesi
Marzia Adorni
Informatica
XIX
Architectural Reflection in Multichannel
Adaptive Information System: Knowledge vs
Guess
Daniela Bianucci
Informatica
XIX
Rough Entropies For Complete and Incomplete
Information Systems
Federico Cabitza
Informatica
XIX
Cooperation Through Webs Of Documental
Artifacts: A Framework For The Provision Of
Awareness Information
Gianluca Colombo
Informatica
XVIII
Marco Stefani
Informatica
XIX
Representing And Managing Designers And
Engineering Core Knowledge: Ontological And
Procedural Knowledge Integration
Algorithms For The Analysis of Biological
Sequences
Davide Tosi
Informatica
XIX
52
Self-managed Solutions For SOA-based
Applications
MASTER
Master Universitario di I livello in “Amministratore di Sistemi Informatici in
Diagnostica per Immagini”.
Responsabile: prof. G. Mauri
Obiettivi del master sono quelli di formare una figura professionale che possa assumere i
ruoli di Manager di sistemi informatici per la Diagnostica per Immagini in ambito ospedaliero
e in centri diagnostici o di Analista di sistemi presso strutture di progettazione e sviluppo di
strumentazione biomedicale.
II edizione del Master Universitario di II livello in “ICT Management”
Responsabile: prof. M. Pezzè
Obiettiv i: il master si rivolge a esperti di informatica, progettisti, analisti, tester,
amministratori e manager di sistemi informatici, che operano in aziende del settore ICT o
nella pubblica amministrazione e hanno prospettive di crescita verso posizioni con maggiore
responsabilità organizzativa.
Il master forma capo progetto software e responsabili e amministratori di sistemi informatici
fornendo conoscenze: · tecnologiche, relative alle nuove tecnologie informatiche; ·
organizzative, relative alle capacità di gestire progetti software complessi, sia in fase di
sviluppo che in fase di valutazione e acquisizione; · economiche, relativi alla capacità di
valutare fattori economici nella gestione complessiva di un progetto software e fornendo
abilità relazionali.
Il master prevede un alto grado di indipendenza del percorso didattico da vincoli di presenza
fisica e di orario specifico, attraverso una formula di eLearning blended: offerta didattica per
eLearning affiancata da lavoro in aula, variabile in relazione ai diversi corsi.
53
11 ALTRE ATTIVITA’
LABORATORIO NOMADIS
Il Laboratorio Nomadis, istituito in collaborazione con i colleghi di Sociologia, intende svolgere
attività di ricerca, sperimentazione e applicazione nel campo dello studio della mobilità sia dal
punto di vista della rilevanza sociale ed economica della tecnologia che dal punto di vista
informatico.
In particolare si propone di:
•
•
•
•
sviluppare progetti di ricerca che creino un ponte tra tecnologie della mobilità e le altre
discipline (quali sociologia, psicologia, scienze dell'educazione, scienze del territorio e
dell'ambiente, ecc.)
sviluppare progetti che realizzino metodologie di rilevazione e servizi della mobilità nei
settori dei trasporti, del turismo e della cultura, dell'informazione (education e infoedutainment), dell'impresa e del commercio, dell'ambiente e delle scienze del territorio,
della salute, ecc.
creare un ambiente per lo sviluppo e il testing di idee innovative nel campo delle
applicazioni delle tecnologie della mobilità
collaborare con Enti e Istituzioni di ricerca pubblici e privati e industrie nel campo delle
applicazioni mobili con particolare riguardo a come queste applicazioni possano
migliorare la qualità della vita e i sistemi di mobilità.
ALTRE
Il nostro Ateneo partecipa al Consorzio Interuniversitario Nazionale per l’Informatica
(CINI); soci del CINI sono le principali Università italiane presso le quali viene svolta ricerca
informatica. L'Ateneo ha designato come rappresentante Mauro Pezze'.
DISCo partecipa attivamente all'attività dell'Ateneo per quanto riguarda il CEFRIEL uno dei
primi centri per il trasferimento tecnologico nell'Information and Communication Technology,
una delle più importanti realtà italiane nell'ambito della ricerca, innovazione e formazione.
DISCo, con il Dipartimento di Medicina Sperimentale, Ambientale e Biotecnolgie Mediche e il
Dipartimento di Biotecnologie e Bioscienze ha costituito il "Centro di Ricerca
Interdipartimentale in Bioinformatica e Proteomica" che è attivo nelle seguenti aree:
applicazioni dell'Informatica in campo biomedico, Proteomica e Farmacogenomica.
DISCo, con i dipartimenti di Economia Politica, Psicologia, Sociologia e Ricerca Sociale,
Statistica, Epistemologia ed Ermeneutica della Formazione aderisce al Centro interdipartimentale
CISEPS (Center for Interdisciplinary Studies in Economics, Psicology and Social Sciences). Le
principali aree di ricerca del Centro sono: Teoria del comportamento, Teoria delle organizzaizoni
e delle istituzioni, Teorie finanziarie, Teorie del linguaggio.
Per le attività di ricerca industriale e, in misura minore, per la partecipazione a progetti europei, il
Dipartimento ha consolidato rapporti di collaborazione con il Consorzio Milano Ricerche, cui
partecipa l'Università di Milano - Bicocca.
54
Certificazioni Professionali per l’Informatica - EUCIP
Dal 2005 è stata aperto un centro di competenza EUCIP per l’Ateneo di Milano-Bicocca, diretto
dal Professor Pezzè. In questo ambito presso DISCo è stato istituito un centro di esame diretto
dal Dott. Dominoni, orientato sia alla certificazione EUCIP Base, offerta prevalentemente a
studenti universitari di primo e secondo livello, sia alla certificazione EUCIP IT-Administrator
orientata verso una utenza tecnica professionale.
BREVETTI
1. Invenzione dal titolo provvisorio: “Method for red eye detection in a digital image”
conseguita nella ricerca dal titolo "Metodi per la rimozione dell'effetto occhi rossi in foto digitali"
a cura del DISCo e sotto la responsabilita' scientifica del Prof. Raimondo Schettini.
Deposito di brevetto internazionale (PCT) in contitolarieta' con Telecom Italia SpA.
Autori: Claudio Cusano, Paolo Gallina, Francesca Gasparini, Raimondo Schettini
2. Domanda di brevetto EPO “DELOS” dal titolo “Metodo di costruzione e selezione di
librerie virtuali in chimica combinatoriale”.
Deposito di brevetto in contitolarità con il Consorzio Milano Ricerche.
55
12 EVENTI
12 Gennaio 2006
Self-organization and Emergence in Biology with Applications
J. Kroc (Department of Mechanics, University of West Bohemia, Pilsen, Czech Republic)
12 Gennaio 2006
Gli Antipattern
L.Ubezio
16 Gennaio 2006
Applicazioni del calcolo evolutivo all'analisi di segnali e immagini
S.Cagnoni (Dipartimento di Ingegneria dell'Informazione, Università degli Studi di Parma)
16 Gennaio 2006
Unified Rule Theory: Economics as Exemplar
K. Dopfer (Department of Economics , University of St.Gallen, Switzerland)
24 Gennaio 2006
Szumo: A Compositional Contract Model for Safe Multi-threaded Applications
L. K. Dillon (Michigan State University)
25 Gennaio 2006
Meccanismi di auto white balancing in camere digitali
M. Mancuso (STMicroelectronics)
31 Gennaio 2006
La Formazione degli informatici in Bicccca
A. Borghesi, C. Simone, F. Tisato, M. Pezzé, G. Capitani, G. De Michelis, R. Polillo
24 Febbraio 2006
I fondamenti della probabilità
D. Costantini (Dipartimento di Fisica, Università di Genova)
07 Marzo 2006
Prospettive di Sviluppo della Ricerca Archeologica: l’approccio Informatico e le Tecnologie Mobili
M. Cattani (Dipartimento di Archeologia, Università degli Studi di Bologna)
10 Marzo 2006
Software Cinema and Issue-Based Development
B. Bruegge (Department of Informatics – Technische, Universität München e Adjunct Professor,
Carnegie Mellon University, Pittsburgh, PA, USA)
13 Marzo 2006
Elaborazione di immagini 3D dalla ricerca al prodotto
F. Archetti (DISCo), R. Baruzzi (Comerson), L. Caflisch (Comerson), P. Campanelli (Milano
Ricerche), M. Cerchia (MCC), A. Clerici (Comerson), P. Manzo (Anas), A. Martini (MAP), G.
Mauri (DISCo), E. Messina (DISCo), A. Savigni (TSC), R. Schettini (DISCo), F. Tisato (DISCo),
M. Vanneschi( Università di Pisa)
56
14 Marzo 2006
Locative Processes of Re-imagining Cities through Media - Street Television as Mobile Spatial
H. Harris (University of Milano - Bicocca, PhD candidate / Department of Social Policy / Urban
Studies / University of Helsinki)
22 Marzo 2006
Integrazione Intelligente dell’Informazione: il sistema MOMIS
S. Bergamaschi (Università di Modena e Reggio Emilia)
31 Marzo 2006
Delivering Semantic Web to end users with the DBin platform: design, applications and ideas
G. Tumbarello (Universita' Politecnica delle Marche)
10 Aprile 2006
GridMathematica: calcolo parallelo con Mathematica
R. Cavaliere (Wolfram Research Italia)
21 Aprile 2006
Conferenze sul Software libero e proprietario
A. Rossetti, G. Rossi, P. Pedaletti, W. Cipolleschi, C. Ferretti
27 Aprile 2006
A dieci anni da "Lavorare assieme":in ricordo di Claudio Ciborra
S. Bagnara (Politecnico di Milano), C. Batini (Università di Milano - Bicocca), T. Bikson (Rand
Corporation, Los Angeles), F. Bufera (Università di Milano - Bicocca), A. Cordella (London
School of Economics), G. De Michelis (Università di Milano - Bicocca), L. Erlicher (Politecnico
di Milano), A. Failla (Fondazione IBM Italia), G. F. Lanzara (Università di Bologna, P. Maggiolini
(Politecnico di Milano), A. M. Morazzoni (Università di Milano - Bicocca), R. Nacamulli
(Università di Milano - Bicocca).
4 Maggio 2006
Parallel Array Splicing
A. R. S. Mary (International PhD school in Formal Languages and Applications Rovira i Virgili
University, Spain)
8 Maggio 2006
Eclipse Workshop
D. Tidwell (IBM Senior Software Engineer)
9 Maggio 2006
Introduction to Graph Transformation and its Analysis Techniques
L. Lambers (Technische Universität Berlin Institut für Softwaretechnik und Theoretische
Informatik Visiting research fellow presso DISCo)
10 Maggio 2006
Riconoscimento dell'Implicazione Testuale e Apprendimento Automatico
F. M. Zanzotto
5,8,12,15 Maggio 2006
Quattro lezioni a carattere seminariale dedicate al tema dell’Ontologia e della Rappresentazione
della Conoscenza:
(i) Ontologia: Analisi storico-concettuale;
(ii) Ontologia: Descrivere e Prescrivere;
(iii) Ontologia: Rappresentazioni e Modelli Computazionali;
(iv) Ontologia: Declinazioni Esemplificative
S. Bandini, G. Colombo, M. Alessandro, M. Palmonari
57
Department of Computer Science, Systems and Communication – University of Milano-Bicocca
31 Maggio 2006
Ciclo di seminari nell'ambito del corso "Aspetti epistemologici dell'informatica”
F. Cardone, G. De Michelis, R. Bisiani, P. Ravasio
8 Giugno 2006
Un approccio evolutivo per la progettazione di reti neurali
A. Azzini (Dipartimento di Tecnologie dell'Informazione, Università di Milano, Polo di Crema)
27 Giugno 2006
Knowledge-oriented networks: A Design Study in Computational Intelligence
W. Pedrycz (Department of Electrical & Computer Engineering, University of Alberta,
Edmonton Alberta Canada & Systems Research Institute Polish Academy of Sciences, Warsaw,
Poland)
28 Giugno 2006
Java: l'esperienza e il futuro
J. Gosling (Vice Presidente, Fellow e Chief Technology Officer del Developer Products Group di
Sun Microsystem, Inc.)
30 Giugno 2006
Recognizability and Some formal models of two-dimensional languages
A. Roslin Sagaya Mary
4 Luglio 2006
Riconoscimento di volti in immagini 2D, 3D e multimodali
C. Cusano
7 Luglio 2006
Recent Developments in Membrane Computing (P Systems)
G. Paun ( Romanian Academy, Bucharest, Romania, and Sevilla University, se villa, Spain) e M. J.
Perez-Jimenez (Sevilla University, Se villa, Spain)
12 Luglio 2006
Real-Time Programming and L4 Microkernels
S. Ruocco (ERTOS Researcher at NICTA, Lecturer at The University of New South Wales)
5 Ottobre 2006
Concurrency in Distributed Systems Under Autonomous and Progressive Actions
Horst F. Wedde (School of Computer Science, University of Dortmund- Germany)
23 Ottobre 2006
Gene Assembly in Ciliates - a Splendid Example of Natural Computing
G. Rozenberg, Leiden Institute of Advanced Computer Science (LIACS), Leiden Center for
Natural Computing (LCNC), Leiden University, The Netherlands and Department of Computer
Science, University of Colorado at Boulder, USA
27 Ottobre 2006
OntoSphere 3D: a novel approach to ontology visualization
A. Bosca, Politecnico di Torino
3 Novembre 2006
Fuzzy Description Logics and the Semantic Web
U. Straccia, ISTI-CNR, Pisa
58
7 Novembre 2006
User Model Acquisition: un approccio evolutivo basato sulle ontologie
Célia da Costa Pereira, Dipartimento di Tecnologie dell'Informazione dell'Università degli Studi
di Milano
14 Novembre 2006
Archaeological Record and the Theory of Growth: is there a Chance for the Long Duree?
M. Tosi, Department of Archeology, University of Bologna
15 Novembre 2006
Studying discrete dynamical networks with DDLab
Prof. Andrew Wuensche
27 Novembre 2006
Archeologia del Software: ricostruire l’evoluzione di sistemi software
M. D’Ambros, Michele Lanza, Università della Svizzera Italiana, Lugano
29 Novembre 2006
User-Level Fine-Grained Adaptive Real-Time Scheduling via Temporal Reflection
S. Ruocco, ERTOS Researcher, Lecturer at University of New South Wales
11 Dicembre 2006
L'Assessment dei Sistemi Informativi
F. Bernasconi, Technical Project Manager,Micro Focus APM Solutions
20 Dicembre 2006
Image Processing for Image Acquisition
M. Mancuso
CONFERENZE, CONGRESSI E GIORNATE DI STUDIO
18-21 Aprile 2006
International Symposium on Agent Based Modeling and Simulation (ABModSim)
at the 18th European Meeting on Cybernetic Science and Systems Research - April 18-21 University of Vienna
Chairs:
Stefania Bandini, Paolo Petta and Giuseppe Vizzari
Interventi di:
Andrea Roventini (University of Modena and Reggio Emilia, Italy and Sant’Anna School of
Advanced Studies, LEM, Pisa, Italy), Petra Ahrweiler (University of Hamburg, Germany) e
Andreas Pyka (University of Augsburg, Germany), Nigel Gilbert (University of Surrey, UK),
Adam Zagorecki (Defence Academy of the UK, Cranfield University, UK), Joao Balsa
(Universidade de Lisboa, Portugal), Thomas Mancion (Université d'Évry Val d'Essonne, France),
Mark Alber (University of Notre Dame, USA), Bruno Lucas (New University of Lisbon,
Portugal), Jan Dijkstra (Eindhoven University of Technology, NL), Giuseppe Vizzari (Università
degli Studi di Milano-Bicocca, Italia), Cornelia Triebig (University of Würzburg, Germany),
Rosaldo Rossetti (University of Porto, Portugal), Hazel Parry (University of Leeds, UK), Andreas
Resetarits (ARC, Austria), Sara Manzoni (Università degli Studi di Milano-Bicocca, Italia).
59
7-10 Giugno 2006
7 th International Conference on Flexible Query Answering Systems
Università degli Studi di Milano-Bicocca
Chairs:
Henrik Legind Larsen, Gabriella Pasi
Organization Committee:
Carlo Batini, Gloria Bordogna, Stefano Ceri, Ernesto Damiani, Luciano D’Andrea, Daniel OrtizArroyo.
16 Giugno 2006
Le frontiere dell'interazione
Università degli Studi di Milano-Bicocca
Interventi di:
Leandro Agrò, Andrea Benassi, Flavio De Paoli, Francesco Di Nocera, Dirk Knemeyer, Luca
Mascaro, Dario Nardi, Pabini Gabriel-Petit, Matteo Penzo, Christian Peter, Antonio Rizzo, Fabio
Sergio, Nathan Shedroff
19-20 Settembre 2006
1st International Workshop on Crowds and Cellular Automata (C&CA2006)
University of Perpignan (France)
Chair:
Stefania Bandini.
2° Conferenza Nazionale del Gruppo del Colore
General chairs:
Alessandro Rizzi – D.T.I. - Università degli Studi di Milano
Raimondo Schettini – D.I.S.C.O, Università degli Studi di Milano Bicocca
Program chairs:
Daniele Marini – D.I.C.O. - Università degli Studi di Milano
Maurizio Rossi – Dip. In.D.A.Co. - Politecnico di Milano
Silvia Zuffi – I.T.C. - CNR
Program committee:
Tiziano Agostini, Università degli Studi di Trieste, Salvator Asselta, BASF, Mauro Bacci IFAC
CNR, Mauro Boscarol, Osvaldo Da Pos - Università degli Studi di Padova, Alessandro Farini, Ist.
Nazionale di Ottica Applicata, Daniele Marini - Università degli Studi di Milano, Claudio Oleari Università degli Studi di Parma, Angela Piegari - ENEA, Andrea Raggi - Università degli Studi
"G. d'Annunzio" , Maria Luisa Rastello - Ist. El. Naz. "Galileo Ferraris", Alessandro Rizzi Università degli Studi di Milano, Maurizio Rossi – Politecnico di Milano, Raimondo Schettini,
Univ. Studi di Milano Bicocca, Silvia Zuffi - ITC CNR.
7th International Conference on Cellular Automata for Research and Industry (ACRI
2006)
University of Perpignan (France)
Chairs: Samira El Yacoubi, Bastien Chopard, Stefania Bandini.
60
14 Novembre 2006
Giornata Mondiale dell'Usabilità 2006
Interventi di: S. Bagnara, G. De Michelis, R. Debatty, D. Galiffa, R. Giolito, G. Padula, M.
Penzo, R. Polillo, S. Postai, Y. Steiner, M. Visciola, J-C. Zoels.
23 Novembre 2006
Il paradigma computazionale e i modelli della razionalità, III
Dipartimento di Scienze Umane per la Formazione e Dipartimento di Informatica, Sistemistica e
Comunicazione
Interventi di: F. Cardone (Milano), G. Cattaneo (Milano), M.L. Dalla Chiara (Firenze), D. De
Falco (Milano), G.M. D’Ariano (Pavia), G. De Michelis (Milano), R. Giuntini (Cagliari), R.
Leporini (Bergamo).
14-15 Dicembre 2006
Silk Roads in the Digital Era - First International Workshop
Faculty of Geography and History of the University of Barcelona
Chairs:
Bernardo Rondelli, Sebastian Stride and Giuseppe Vizzari.
61
13 PROFILI DEI DOCENTI E DEI RICERCATORI
MARCO ANTONIOTTI
Marco Antoniotti è Professore Associato presso il DISCo dell’Università degli Studi di
Milano Bicocca. Ha conseguito la Laurea in Scienze dell’Informazione presso l’Università degli
Studi di Milano nel 1986. Nel 1992 ha conseguito il Master of Science in Computer Science e nel
1995 il Ph.D. in Computer Science presso il Courant Institute of Mathematical Sciences della
New York University. Dal 1995 al 1997 ha lavorato come post-doctoral fellow presso
l’International Computer Science Institute di Berkeley California e presso il California PATH
Project della University of California at Berkeley. Successivamente ha lavorato presso il
PARADES G.E.I.E. di Roma. Dal 2000 in poi ha lavorato ancora come Senior Research
Scientist presoo il Bioinformatics Group del Courant Institute of Mathematical Sciences della
New York University collaboranod a diversi progetti sotto l’egida del Department of Energy e
del programma BioCOMP DARPA.
Durante la sua carriera Marco Antoniotti si è occupato di specifica e controllo di sistemi
discreti, di simulazione di sistemi ibridi, di programmazione di sistemi reattivi e di modellazione
ed analisi di sistemi biologici in ambito “Systems Biology”.
FRANCESCA ARCELLI FONTANA
Francesca Arcelli Fontana ha conseguito la Laurea in Scienze dell’Informazione e il titolo
di Dottore di Ricerca in Informatica presso l’Università degli Studi di Milano. Successivamente,
dopo essersi trasferita a Salerno, ha vinto il concorso da Ricercatore Universitario
(raggruppamento disciplinare ING-INF/05-Sistemi di Elaborazione delle Informazioni) presso la
Facoltà di Ingegneria dell’Università degli Studi di Salerno-sede gemmata di Benevento, dove ha
prevalentemente svolto l’attività didattica nei corsi di Fondamenti di Informatica e Ingegneria del
Software. Attualmente è Professore Associato (raggruppamento disciplinare ING-INF/05)
presso l’Università di Milano-Bicocca. Ha partecipato a numerosi Progetti di Ricerca nazionali ed
internazionali, prevalentemente nell’area dell’ingegneria del software e soft computing.
L’attività di ricerca di Francesca Arcelli Fontana viene svolta principalmente
nell’ingegneria del software:
Architetture software: la ricerca ha avuto come obiettivo principale quello di studiare e progettare
una architettura software adattiva per sistemi multicanale attraverso l’architectural reflection. In
particolare sono stati studiati i problemi legati alla modellizzazione delle qualità di servizio (QoS)
considerando specifici domini applicativi.
Riverse Engineering: particolare interesse e’ stato rivolto al riconoscimento dei design pattern nella
reverse engineering. E’ stato sviluppato un prototipo per il riconoscimento degli elemental design
patterns, da codice Java e sperimentati diversi tool per la ricostruzione dell’architettura software,
visualizzazione di codice e analisi statica e dinamica.
Collabora con il laboratorio di Software Architecture (SAL) e il laboratorio di Test e
Analisi del Software (LTA).
62
FRANCESCO ARCHETTI
Nato a Milano il 24/08/1946, è attualmente Professore Ordinario presso l’Università degli
Studi di Milano - Bicocca. Francesco Archetti insegna: per il Corso di Laurea in Informatica Analisi dei
Sistemi Finanziari e Ricerca Operativa, per il Corso di Laurea in Scienze Ambientali Gestione e
Pianificazione delle Risorse.
I principali interessi di ricerca sono nelle seguenti aree:
a) Data, Web e Text Mining: l’attività in questo settore è incentrata sullo sviluppo di metodi
computazionali, in particolare Reti Neurali e Reti Bayesiane, per le decisioni in condizioni di
incertezza, l’analisi e la classificazione di dati numerici e dati non strutturati. Obiettivo
generale di questa attività è lo sviluppo di sistemi informatici “Knowledge Discovery in
DataBases” (KDD).
b) Supply Chain Management: l’attività in questo settore ha seguito in particolare lo sviluppo di
sistemi informatici di Supply Chain Management (S.C.M.) per gestire gli aspetti di
coordinazione e negoziazione tra i nodi fornitori, l’Impresa e il Cliente che interagiscono nel
mercato e nell’ambiente e di integrazione con i sistemi ERP (Enterprise Resource Planning).
Ha coordinato un corso post-laurea, finanziato dalla Regione Lombardia, sul tema “ Gestione
della Produzione Industriale”.
c) Finanza Computazionale: in questo settore ha seguito in particolare lo sviluppo di sistemi di
risk management per aziende finanziarie. Ha inoltre preparato una nuova iniziativa didattica in
questo settore: la laurea in “Scienze e Tecnologie Informatiche per i Mercati Finanziari” e
coordinato un corso post-laurea, finanziato dalla Regione Lombardia sul tema ”Metodi
statistico-informatici per l’analisi dei Dati” e il Risk Management.
d) Systems biology: paricolare interesse e’ rivolto allo sviluppo di modelli e algoritmi per l’analisi
di robustezza ed il controllo di reti biologiche.
E’, inoltre, Direttore del Consorzio Milano Ricerche ed ha, in questa veste, coordinato
diversi progetti ricerca industriale e di innovazione presso importanti aziende.
Svolge inoltre i seguenti incarichi scientifici e attività di referaggio: Comitato editoriale
della Rivista "International Journal of Mathematical Algorithms", Referee per la Rivista European
Journal of Operation Research.
Nel corso del 2005 Francesco Archetti si è occupato particolarmente di metodi
informatici per il "Drug Design", in collaborazione con il Dipartimento di Biotecnologie e
Bioscienze (BtBs), nell'ambito del progetto FSE - Obiettivo 3 Misura D4, finanziato dalla
Regione Lombardia sul tema "Sperimentazione di un modello consortile tra Università di MilanoBicocca, PMI Bioinformatiche, Enti Locali ed Ospedalieri per l'implementazione di
piattaforme informatiche nel campo dello sviluppo di nuovi farmaci e della diagnosi.
Un risultato particolarmente significativo di tale attività è il deposito a livello Europeo e la
successiva estensione negli USA del Brevetto DELOS - Discovery and Lead Optimitazion
System. Si tratta di un metodo di costruzione e selezione di librerie virtuali di chimica
combinatoriale che consente la progettazione di una piattaforma sw bioinformatica per il drug
discovery.
STEFANIA BANDINI
Laurea in Filosofia all'Università di Milano, Dottorato di Ricerca in Informatica, è in
servizio presso il Dipartimento di Informatica, Sistemistica e Comunicazione dell'Università di
Milano-Bicocca. Responsabile del Laboratorio di Intelligenza Artificiale presso lo stesso di
Dipartimento, è titolare degli insegnamenti di “Intelligenza Artificiale (Elementi e
Complementi)”, di “Rappresentazione della Conoscenza”, di “Ingegneria della Conoscenza e
Sistemi Esperti” e di “Aspetti Epistemologici dell’Informatica” presso il Corso di Laurea in
Informatica dell'Università di Milano-Bicocca.
La sua attività di ricerca riguarda due settori principali: Intelligenza Artificiale e Sistemi
Esperti (Case-Based Reasoning, Knowledge Management, Dinamiche di Agenti Intelligenti);
Sistemi Dinaminci Discreti (modelli computazionali e sistemi basati su Automi Cellulari per la
63
simulazione di sistemi dinamici complessi come: proprietà visco-elastiche della materia,
interazione cellulare nel sistema immunitario, dinamiche delle popolazioni e artificial life,
urbanistica). In questi settori partecipa in ruoli di responsabilità a numerosi progetti con industrie
ed enti pubblici. E' autrice di numerose pubblicazioni scientifiche a livello internazionale ed è
membro dello steering Committee della Conferenza Internazionale "Cellular Automata for
Research and Industry", del Working Group WG1.5 IFIP "Cellular Automata and Machines" e
del Programma "The Science of Complexity: from Mathematics to Technology for a Sustainable
World" del Zentrum fur Interdisziplinare Forshung dell'Università di Bielefeld e della Rete
d’Eccallenza “Exystence”.
CARLO BATINI
Nato il 7 giugno 1949, laureato in Ingegneria Elettronica, è professore ordinario.
L'attività di ricerca ha riguardato il lambda calcolo, le logiche temporali, le metodologie di
progettazione di basi di dati, negli aspetti riguardanti l’integrazione concettuale, i repositories, la
progettazione congiunta dei dati e delle funzioni, gli strumenti per il layout automatico di
diagrammi e le interfacce visuali. Recentemente la ricerca si è focalizzata sulle architetture
software per sistemi cooperativi e sulla qualità dei dati. E' stato coordinatore di progetti
nazionali di ricerca; è referee di riviste internazionali. Ha pubblicato su diverse riviste
internazionali. Ha svolto periodi di attività all'estero.
Ha insegnato corsi di Informatica generale, di linguaggi di programmazione, impianti di
elaborazione dei dati, basi di dati, sistemi informativi. Ha anche insegnato in diversi master.
Ha svolto e svolge una attività pubblicistica, ha pubblicato con molti editori nazionali e
con la Benjamin and Cummings, su tematiche di introduzione alla informatica, linguaggi di
programmazione, metodologie di progettazione di basi di dati, sistemi informativi. La
pubblicazione più recente riguarda una collana di testi su sistemi informativi.
Dal 1993 ha ridotto la sua attività universitaria, diventando componente e poi presidente
facente funzioni della Autorità per l'Informatica per la Pubblica Amministrazione. Dal 1993 ha
contribuito a lanciare e disegnare progetti innovativi in sistemi informativi cooperativi, quali il
protocollo informatico e la trasparenza dei processi amministrativi, l'accesso ai dati pubblici e le
basi di dati normative, l'accessibilità ai disabili, i servizi alle imprese, i sistemi di notifica ad eventi.
In precedenza, ha svolto attività di consulenza presso diverse istituzioni, quali Istat e
Banca d'Italia.
Dal 2003 e’ professore presso il Dipartimento.
LUCA BERNARDINELLO
Si è laureato in Scienze dell'informazione all'Università degli studi di Milano, il 12 marzo
1986, con una tesi sull'impiego di linguaggi formali per la modellazione di sistemi concorrenti ed
ha conseguito il titolo di Dottore di ricerca dell'Università di Rennes 1 (Francia), il 7 marzo 1998.
Dal 1989 al 1993 ha svolto attività di ricerca presso il Laboratorio Reti di Petri del
Dipartimento di Scienze dell'Informazione dell'Università di Milano, con il supporto di una borsa
di studio nell'ambito di due progetti di ricerca ESPRIT. Dall'ottobre 1993 al giugno 1995 lavora,
in qualità di ricercatore invitato, presso l'Institut de Recherche en Informatique et Systèmes
Aléatoires (IRISA) di Rennes (Francia). Nel 1998 presta servizio presso il Centre Commun de
Recherche della Commissione Europea, a Ispra (Italia). Dal febbraio 1999 al giugno 2000 ha
prestato servizio al Dipartimento di Informatica, Sistemistica e Comunicazione dell'Università
degli studi di Milano - Bicocca, come membro del progetto di ricerca KLEE & CO (Knowledge
and Learning Environments for European & Creative Organizations) -- ESPRIT Project 28842.
L'attività scientifica e di ricerca di Luca Bernardinello concerne principalmente la teoria
dei sistemi concorrenti e distribuiti e, in particolare, la teoria delle reti di Petri, nei suoi
fondamenti e nelle sue applicazioni. Nell'ambito di corsi di dottorato, presso le università di
64
Milano e di Rennes 1, ha tenuto cicli di seminari sulla teoria della concorrenza sulle regioni nei
sistemi di transizioni e sulla sintesi di reti di Petri.
Nell'ottobre 2001, ha preso servizio come ricercatore presso questo dipartimento.
ROBERTO BISIANI
Nato a Milano nel 1951, ha conseguito la laurea in Ingegneria Elettronica presso il
Politecnico di Milano nel 1973. Dopo un breve periodo come ricercatore presso il Politecnico di
Milano, si è recato presso il Computer Science Department (School of Computer Science) della
Carnegie Mellon University, Pittsburgh, U.S.A. prima come Assistant Professor e poi come
Senior Research Computer Scientist. Nel 1989 ha ricevuto la Cattedra “Finmeccanica Career
Development Professorship” presso la Carnegie Mellon University. Dal 1991 è Adjunct Senior
Computer Scientist presso la stessa università. Nel 1990 è tornato in Italia come Professore
Ordinario prima presso le Università di L’Aquila e Venezia, poi presso l’Università di Milano e
infine presso l’Università di Milano – Bicocca, dove è stato Direttore del Dipartimento di
Informatica, Sistemistica e Comunicazione e professore di Architettura dei Calcolatori. Ha svolto
anche attività di consulenza professionale nel campo dell’architettura di reti di calcolatori e nei
sistemi informativi. E' ora Direttore del Laboratorio Nomadis.
I suoi interessi di ricerca spaziano dall’architettura di calcolatori al software di base. Per
molti anni si è interessato principalmente delle metodologie di progettazione dei sistemi dedicati
paralleli: in quest’ambito ha progettato e costruito sistemi per l’esecuzione di applicazioni non
numeriche e, in particolare, per il riconoscimento del parlato; le sue architetture sono state più
volte le più veloci al mondo nell’esecuzione di varie applicazioni non-numeriche. Ha anche
gestito un progetto di ricerca riguardante le metodologie di implementazione di applicazioni
distribuite e multi linguaggio su sistemi non eterogenei. Negli ultimi anni ha lavorato nel campo
dei modelli di memoria per multiprocessori costruendo, tra l’altro, un sistema distribuito che ha
dimostrato l’utilità di alcune tecniche di gestione della memoria che ora sono utilizzate in tutti i
processori commerciali. Il suo interesse attuale e' nei sistemi wireless e nelle tecnologie di ELearning.
PAOLA BONIZZONI
Paola Bonizzoni ha conseguito il titolo di Dottore di Ricerca presso l’Università degli
Studi di Milano nel 1993. È stata ricercatore dal 1992 all’Università degli Studi di Milano, e poi
all’Università di Milano-Bicocca.
Dal Novembre 2000 é professore associato presso l'Università di Milano-Bicocca. Svolge
una attività di ricerca principalmente nel settore dell’ informatica teorica, occupandosi di teoria
degli automi e linguaggi formali, teoria degli algoritmi (grafi e strutture relazionali), complessità
computazionale, di approssimazione e bioinformatica. Attualmente si occupa nell'ambito della
biologia computazionale della risoluzione con algoritmi esatti e approssimanti di problemi di
ottimizzazione su sequenze ed alberi (filogenesi) riguardanti l'analisi e il confronto di sequenze
biologiche (DNA, RNA). In particolare, recenti temi di ricerca riguardano l'inferenza di aplotipi,
la predizione genica, metodi di clusterizzazione per dati di analisi genica. Ha ottenuto risultati in
particolare sulla complessità computazionale dell'allineamento multiplo di sequenze e sulla
approssimazione del problema della sottosequenza comune (LCS) e di problemi di confronto di
alberi evoluzionari. Ha svolto inoltre una intensa attività di ricerca nell'ambito della computazione
molecolare ottenendo risultati relativi al comportamento di modelli di calcolo molecolare descritti
tramite un approccio metodologico proprio della teoria dei linguaggi formali. Ha partecipato a
diversi comitati di programma di conferenze internazionali. E’ stata Visiting assistant professor
presso l'University of Colorado at Boulder (USA), la McMaster University (CA) e l'University of
California at Davis (USA) occupandosi di problemi legati alla bioinformatica.
65
FELICE CARDONE
Nato nel 1960. Ha compiuto studi classici, e si è laureato in Filosofia nel 1983 con una
tesi in Logica Matematica sul significato fondazionale dei topoi, categorie che astraggono
proprietà strutturali essenziali della categoria degli insiemi ed allo stesso tempo costituiscono in
un senso preciso la versione algebrica di una teoria intuizionistica dei tipi. Le teorie dei tipi ed il
lambda-calcolo, specialmente le loro applicazioni alla semantica matematica dei linguaggi di
programmazione, sono da allora al centro dei suoi interessi.
In questi ambiti, ha in un primo tempo concentrato la sua attenzione sull'analisi
semantica dei linguaggi di programmazione "orientati agli oggetti", sfruttando una
corrispondenza tra questi e lambda-calcoli con sistemi di tipi abbastanza ricchi da includere
costruttori di record, tipi polimorfi e definiti ricorsivamente, accanto ad una nozione di inclusione
tra tipi che permette una formalizzazione ragionevolmente adeguata della nozione di ereditarietà.
I modelli risultanti hanno fornito una base semantica per alcuni linguaggi di programmazione
orientati agli oggetti sviluppati negli ultimi 10 anni circa in laboratori di ricerca americani.
I tipi ricorsivi sono stati uno dei suoi principali temi di ricerca a partire dalla sua tesi di
dottorato in informatica (1990) e recentemente la loro analisi lo ha condotto ad approfondire
tecniche di dimostrazione per coinduzione, che si applicano sia alle strutture di dati infinite
proprie dei linguaggi lazy, che allo studio dei processi concorrenti. Parallelamente, ha
approfondito le proprietà matematiche delle strutture utilizzate nell'ambito delle sue analisi
semantiche, in particolare nell'ambito della teoria dei domini.
Altri suoi interessi di ricerca emersi più di recente sono ancora legati ai fondamenti logici
e matematici dell'informatica e comprendono da un lato strutture semantiche più legate al
comportamento operazionale dei programmi (per esempio la semantica basata sui giochi) e in
grado di unificare problematiche sia logiche (logica lineare) che informatiche (teoria della
concorrenza, interazione), d'altro lato l'analisi dei concetti fondamentali dell'informatica concepita
come teoria dell'attività organizzata, che coinvolge un ambito più vasto di quello comunemente
ritenuto il campo di applicazione delle macchine calcolatrici, e che tuttavia aiuta a riformulare
questi concetti in una maniera più direttamente legata alla natura sociale dei processi di calcolo.
GIANPIERO CATTANEO
Ha conseguito la laurea in Fisica presso l’Università di Milano. Dopo essere stato
Assistente Ordinario di Fisica Teorica, e quindi aver trascorso un lungo periodo come Professore
Associato di Metodi Matematici della Fisica, è attualmente Professore Ordinario di Cibernetica:
Teoria dei Sistemi presso l’Università di Milano-Bicocca. È stato Regular Visiting Professor dal
1993 al 1997 per il PHD in Foundations of Physics della London School of Economics
(Department of Logic and Scientific Methods). Dal 1998 è Research Associate presso ``The
Centre for the Philosophy of Natural and Social Science'' della London School of Economics.
Negli anni accademici 1996/97, 1997/98, 1998/99 è stato Maitre de Conferences presso la
Nancy--Metz Academy, IUT (Institut Universitaire de Technologie)-Informatique, per il corso di
''Dinamiche Caotiche in Automi Cellulari''. È membro dell'Editorial Board dell' “International
Journal on Rough Sets and Systems” e dei Comitati Scientifici di diverse Associazioni
Internazionali tra cui l’''International Quantum Structures Association (IQSA)'' e dell’
“International Federation of Information Processing (IFIP) Working Group.”
La sua principale attività di ricerca ha riguardato, in particolare, i fondamenti assiomatici
della meccanica quantistica secondo l’approccio unsharp, l’approccio algebrico alle logiche fuzzy
e rough con particolare riguardo alla costruzione di porte logiche a multi-valori con tecniche di
quantum computing, l’investigazione di sistemi dinamici a tempi discreti con classificazioni di
comportamenti caotici e dei linguaggi associati nell’ambito di automi cellulari. Infine, più di
recente, si è occupato di modelli computazionali con tecniche di parallelismo in ambienti di
Lattice Gas e Lattice Boltzmann per la simulazione di sistemi fluidodinamica. Su quest’ultimo
argomento è stato ed è attualmente responsabile di diversi progetti di ricerca in collaborazione
66
con industrie nazionali (IllyCaffè ed ENI-Ricerche) ed internazionali (ELF Aquitaine). Tale
attività di ricerca si è concretata in più di 120 pubblicazioni su riviste internazionali, la
partecipazione a numerosi comitati organizzatori e scientifici di congressi internazionali e
nazionali, e l’invito come relatore ufficiale a diversi congressi internazionali e nazionali.
DAVIDE CIUCCI
Consegue la Laurea in Informatica nel dicembre 1999 e il titolo di Dottore di Ricerca in
Matematica, Statistica, Scienze Computazionali ed Informatica nel febbraio 2004, entrambi
presso l’Università degli Studi di Milano.
Attualmente è Ricercatore universitario
(raggruppamento disciplinare INF/01) presso l’Università degli Studi di Milano-Bicocca. E’
docente del corso di “Informatica Applicata (Logiche Fuzzy e Rough)” e di “Informatica” presso
il Corso di Laurea in Scienze e Tecnologie Geologiche.
L’attività di ricerca si focalizza sullo studio delle logiche multivalore tramite un approccio
di tipo algebrico, sulle connessioni tra rough sets e logiche multivalore e sullo sviluppo delle
ontologie fuzzy per il web semantico.
È reviewer per diverse riviste internazionali e fa parte del program committee di
conferenze sui rough sets e fuzzy sets, in particolare dell’ International Conference on Rough
Sets and Current Trends in Computing (RSCTC). Partecipa al progetto di ricerca MIUR/PRIN
“Automi e linguaggi formali: aspetti matematici e applicativi” e al progetto MIUR/Interlink di
internazionalizzazione con la Francia "Automi Cellulari: proprieta' topologiche, caos e linguaggi
formali associati".
GIORGIO DE MICHELIS
Giorgio De Michelis, 59 anni, è professore ordinario all’Università di Milano – Bicocca
dove insegna informatica teorica e sistemi informativi e dirige il Dipartimento di Informatica,
Sistemistica, Comunicazione. Svolge una vasta attività di ricerca (finanziata dalla Comunita'
Europea, dal CNR, dal Ministero della Universita' e della Ricerca Scientifica e Tecnologica e da
varie imprese del settore dell'informatica e non), principalmente sui modelli dei sistemi distribuiti
e su modelli e strumenti per il workgroup computing, il communityware ed il knowledge
management. Con il suo gruppo di ricerca sta sviluppando alcuni prototipi di sistemi intelligenti
di coordinamento delle attività di ufficio e la gestione della conoscenza. Nello sviluppo di questi
sistemi ha affinato e studiato le caratteristiche fondamentali dell’Interaction Design. Su questi
temi ha pubblicato su riviste a volumi collettivi oltre cento articoli scientifici, prevalentemente in
lingua inglese. E’ impegnato nello sviluppo delle comunità di ricerca nei campi di suo interesse,
per cui ha servito e serve spesso come membro o presidente di comitati di programma di
conferenze internazionali. E' stato per oltre un decennio membro dello Steering Committee della
comunita' internazionale delle Reti di Petri. Ha presieduto nel 2003-2004 il Coordinating Group
di Convivio – the Network for People-Centred Design of Interactive Systems, la rete che si
propone di sostenere la nascente comunità multi-disciplinare dell’interaction design. E’ membro
dell'Advisory Board di "Computer Supported Cooperative Work . the Journal of Collaborative
Computing" (Kluwer) e “Studi Organizzativi” (Angeli).
Svolge anche ricerche sugli impatti sociali dell’informatica, sulla complessita' delle
organizzazioni e sulla natura dei servizi pubblici.
Nelle sue ricerche, è evidente l'interesse ai meccanismi profondi che sottostanno ai
comportamenti organizzativi e sociali, per la cui analisi adotta un approccio in cui l'attenzione si
concentra sulla dimensione pragmatica e linguistica della comunicazione.
67
FLAVIO M. DE PAOLI
Si è laureato in Ingegneria Elettronica (1985) ed ha conseguito il titolo di Dottore di
Ricerca in Informatica (1991) presso il Politecnico di Milano. Dal 1993 al 1998 è stato ricercatore
MURST presso il Dipartimento di Scienze dell'Informazione dell'Università degli Studi di Milano.
Dal 1998 al 2001 è stato ricercatore MURST presso il Dipartimento di Informatica, Sistemistica e
Comunicazione della Università degli Studi di Milano – Bicocca, dove è professore associato dal
2001. Ha svolto attività di ricerca presso Laboratori e Università staniere: (1989) Hewlett Packard
Laboratories in Palo Alto (California), (1996) Johannes Kepler Universitat Linz, (1996)
Technische Universitat Wien, (1997) University of California at Santa Barbara. È stato vincitore
di borse di studio: (1992) CNR - Progetto Finalizzato "Informatica e Calcolo Parallelo", (1997)
CNR-Nato. È stato socio fondatore di TABOO - Associazione italiana per le Tecnologie
Avanzate Basate su concetti Orientati agli Oggetti - di cui è stato Presidente dal 2000 al 2003. Ha
partecipato a numerosi progetti nazionali e internazionali. È stato responsabile di unità in progetti
internazionali: (1995-1997) progetto "Sviluppo di una piattaforma per applicazioni cooperative
assistite da computer" nell'ambito del protocollo di collaborazione Italia-Austria del Ministero
degli Esteri, (1995-1998) progetto Esprit 28.532: "OMI/MODES - Modular Micro-ElectronicSystem Design", (1999-2000) progetto Esprit 28.842 “Klee&Co - Knowledge and Learning
Environments for European & Creative Organizations”, (2002-2004) progetto IST-2001-33165
“MILK – Multimedia Interactions for Learning and Knowling”. Nel 2006 ha partecipato ai
progetti FIRB MIUR 2003-RBNE0358YR “eG4M - e-Government for Mediterranean
countries”, FIRB MIUR 2005-RBNE05XYPW_003 “NeP4B – Networked Peers for
Businesses”, IST-2005-27347 “SEEMP – Single European Employment Market Place”.
Flavio De Paoli ha svolto attività scientifica e di ricerca in diversi settori dell’ingegneria
del software, dei sistemi distribuiti e dei linguaggi di programmazione. Attualmente si occupa
delle problematiche legate allo sviluppo di sistemi collaborativi di knowledge management, di
classificazione (semi)automatica mediante ontologie, di interazioni e interfacce uomo-macchina
legate al contesto in ambienti multi canale, di modelli e tecnologie per la comunicazione in
sistemi complessi di tipo peer-to-peer e multi agente, di linguaggi per la descrizione e la
composizione di web-services con caratterizzazioni di qualità del servizio, di metodologie di
sviluppo di web-services. L’attività di ricerca riguarda principalmente i domini di e-Government,
eBusiness e bioinformatica. Ha fatto parte di comitati di programma di conferenze e workshop
nazionali ed internazionali. È autore di numerose pubblicazioni a livello internazionale sia su
rivista sia su atti di convegni. È coautore di 3 libri ed editor di altri 5.
GIOVANNI DENARO
Giovanni Denaro ha conseguito la Laurea in Ingegneria Informatica presso il Politecnico
di Milano, il diploma di Master in Tecnologia dell’Informazione presso il centro CEFRIEL di
Milano, e il titolo di Dottore di Ricerca in Ingegneria Informatica e Automatica presso il
Politecnico di Milano. Ha condotto ricerca presso il Politecnico di Milano, l’Università di MilanoBicocca e l’University College London. Attualmente è Ricercatore universitario di ruolo INF/01
presso l’Università degli Studi di Milano-Bicocca.
Giovanni Denaro ha partecipato a diversi progetti di ricerca nazionali e internazionali, ha
pubblicato articoli scientifici presso le principali conferenze internazionali di ingegneria del
software come ICSE (International Conference on Software Engineering) e ESEC-FSE
(International Symposium on the Foundations of Software Engineering and European Software
Engineering Conference), ed è stato relatore di seminari di ricerca presso istituzioni nazionali e
internazionali. Fa parte dei comitati di programma di importanti conferenze internazionali del
settore ingegneria del sotftware, fra cui: ICSE (International Conference on Software
Engineering), ISSTA (International Symposium on Software Testing and Analysis), TACoS
(International Workshop on Test and Analysis of Component Based Systems), TECOS
68
(Intenational Workshop on Testing Component Software), e SOQUA (International Workshop
on Software Quality), WS-MaTe (Web Service modelling and Testing).
Gli interessi di ricerca di Giovanni Denaro sono relativi all’ingegneria del software, e in
particolare alle tecniche di verifica formale per sistemi critici, alle problematica di qualità delle
applicazioni distribuite basate su componenti, alla modellazione statistica della difettosità del
software per favorire la pianificazione dei processi di test. Nel corso della sua carriera ha
coordinato il progetto e lo sviluppo di strumenti di modellazione ed analisi che sono stati
utilizzati presso importanti università italiane e straniere.
ALBERTO DENNUNZIO
Nato nel 1974, ha conseguito presso l'Universita' degli Studi di Milano la Laurea in
Scienze dell'Informazione nel 1999 e il titolo di Dottore di Ricerca in Informatica nel 2004.
Il 1/1/2004 ha preso servizio come Ricercatore in Informatica presso l'Universita' degli Studi di
Milano-Bicocca afferendo al Dipartimento di Informatica Sistemistica e Comunicazione.
L'attivita' di ricerca riguarda principalmente gli Automi Cellulari, i Sistemi Dinamici Simbolici ed i
Linguaggi Formali associati. Ha partecipato a diversi progetti di ricerca in collaborazione con
industrie nazionali (EniTecnologie) ed Internazionali (ELF Aquitaine) per lo studio di sistemi
complessi (fluidodinamici) mediante modelli computazionali con tecniche di parallelismo basati
su Automi Cellulari. Dal 2001 partecipa al progetto nazionale PRIN/MIUR ''Automi e
Linguaggi Formali: Teoria e Applicazioni''. Dal 2005 partecipa al progetto internazionale
INTERLINK/MIUR "Automi Cellulari: proprieta' topologiche, caos e linguaggi formali
associati".
Dall'A.A. 2001/2002 e' esercitatore del corso di Cibernetica (Elementi di Teoria dei Sistemi) del
CdL in Informatica. Dall'A.A. 2003/2004 e' anche docente del medesimo corso. Durante l'A.A.
2003/2004 e' stato docente del corso di Cibernetica (Complementi di Teoria dei Sistemi) del CdL
in Informatica. Dall' A.A. 2004/2005 e' esercitatore del corso di Algoritmi e Strutture Dati
(Elementi) del CdL in Informatica. E' stato docente dei corsi di Informatica Generale dei CdL in
Scienze dell'Ambiente e Scienze dei Materiali presso lo stesso Ateneo rispettivamente durante
l'A.A. 2004/2005 e 2005/2006.
MATTEO DOMINONI
Laureato in Fisica presso l’Università di Milano nel 1989, consegue il Dottorato di
Ricerca in Fisica nel 1993. Trascorre un periodo di ricerca a Parigi presso il CECAM (1993-94).
Torna a Milano dove prosegue l’attività di ricerca. Dopo un periodo passato come
amministratore di reti – durante il quale svolge attività di collaudo sulla rete di ateneo- , prende
servizio nel 2002 come ricercatore presso il Dipartimento di Informatica, Sistemistica e
Comunicazione. Il suo campo di attività di ricerca è lo studio della dinamica di sistemi
complessi in stato condensato con particolare interesse ai problemi di natura computazionale e
alla realizzazione di algoritmi paralleli. Attualmente ha iniziato un’attività su Grid nell’ambito dei
sistemi di calcolo ubiqui. Collabora alla messa in opera del cluster di calcolo parallelo presso il
Dipartimento. Porta avanti progetti di didattica avanzata con l’uso di strumenti multimediali.
Oltre alla didattica usuale, matura esperienza prima come direttore dei corsi di informatica di
base (ECDL) nell’ambito del progetto quadro di Ateneo – FSE ed attualmente come
responsabile della sede di esame per la certificazione EUCIP presso DISCo.
69
ENRICO FAGIUOLI
E’ nato a Ivrea (To) nel 1944 e si è laureato in Fisica presso l’Università di Milano.
Dopo aver fruito per due anni di una borsa di studio del Consiglio Nazionale delle Ricerche, si è
occupato in azienda di Controllo di Qualità e di Affidabilità di sistemi elettronici militari e
spaziali. E’ stato Product Assurance Manager del sistema di alimentazione del satellite europeo
GEOS.
Nel 1974 è ritornato alla carriera universitaria all’Università Ca’ Foscari di Venezia, dove
ha tenuto il corso di Metodi Quantitativi per le Decisioni. Nel 1982 è stato chiamato come
professore associato dall’Università di Milano, dove ha tenuto i corsi di Ricerca Operativa e
Gestione Aziendale, di Teoria e Metodi dell’Ottimizzazione, e successivamente di Ricerca
Operativa e di Programmazione Matematica.
Alla costituzione dell’Università di Milano Bicocca, si è ivi trasferito, tenendovi inizialmente i
corsi di Ricerca Operativa e successivamente di Calcolo delle Probabilità e Statistica Matematica,
oltre a Ricerca Operativa II: Metodi per il Controllo della Produzione.
Attualmente insegna Data Mining e Ricerca Operativa, Probabiltà e Statistica presso il corso di
laurea in Informatica, e un modulo di Bioinformatica: Tecniche di Base., presso il corso di laurea
in Bioinformatica.
I suoi interessi di ricerca si sviluppano essenzialmente nelle seguenti aree:
- Ordinamenti stocastici tra distribuzioni e tra processi stocastici, con particolare riferimento a
ordinamenti in affidabilità.
- Metodi di Data Mining con particolare riferimento a Reti e Classificatori Bayesiani e Reti e
Classificatori Credali. Specificamente, si occupa della costruzione di algoritmi di propagazione e
di metodi di determinazione della struttura causale sulla base dei dati, con applicazioni al Data,
Text e Web Mining.
CLAUDIO FERRETTI
Nato a Milano nel 1965. Nel 1988 ha conseguito la Laurea in Scienze dell'Informazione
presso l'Universita' degli Studi di Milano. Negli anni successivi ha completato il Dottorato di
Ricerca in Informatica presso le Università consorziate, di Milano e Torino. Nel 1994-1995 ha
condotto ricerche presso la University of Electro-Communications di Tokyo, come vincitore di
una borsa di studio dell'Unione Europea.
Nel 1995 ha preso servizio come ricercatore presso l'Università degli Studi di Milano, che
ha lasciato nel 1999 per trasferirsi all'Università degli Studi di Milano-Bicocca, dove lavora
tutt'ora. I suoi interessi di ricerca riguardano alcuni argomenti di informatica teorica, tra cui:
nuovi modelli computazionali (come reti neurali, sistemi bio-molecolari, sistemi evolutivi),
linguaggi formali e loro apprendimento computazionale, linguaggi formali come modelli di
meccanismi bio-chimici. Studia inoltre problemi collegati ai risvolti applicativi di questi
argomenti, in particolare nella bio-informatica (un esempio: progettazione ottimizzata di DNAmicroarray). Infine, la sua attivita' didattica ed alcune esperienze di consulenza hanno cresciuto il
suo interesse per le tecnologie di rete, la sicurezza, i sistemi operativi, lo sviluppo software con le
tecnologie open-source.
FRANCESCA GASPARINI
Laureata in Ingegneria Nucleare al Politecnico di Milano nel 1997. Titolo della tesi
"Metodi Algebrici e Trasformate Wavelet nella Tomografia ad Emissione in Diagnostica Medica ed Industriale".
Ha conseguito il Titolo di Dottore di Ricerca, nel 2001, presso il Dipartimento di Ingegneria
Nucleare del Politecnico di Milano con tesi: "Le Aperture Codificate per la Ricostruzione di Immagini nei
Sistemi Emissivi". Dal 2001 al 2003 ha lavorato con assegno di ricerca presso l’ITC del CNR.
Argomento della ricerca: "Miglioramento e Classificazione di Immagini Digitali”. Dal 2004 al 2006, ha
70
lavorato con un assegno di ricerca presso il Dipartimento di Informatica Sistemistica e
Comunicazione dell’Università di Milano Bicocca, argomento della ricerca: “Elaborazione delle
immagini”. Attualmente è ricercatore presso lo stesso dipartimento. E’ professore a contratto dal
2003 per l’attività didattica di supporto e integrativa del corso di Elaborazioni delle Immagini ed è
stata docente nel 2005 del corso di “Archiviazione Digitale” per il Master ASIDI, Amministratore
di Sistemi Informatici in Diagnostica per Immagini. E’ stata esercitatore per l’anno 2006-2007 dei
corsi di Programmazione 1, Algoritmi e strutture dati e Basi di dati 1, del corso di laurea in
Informatica.
ALBERTO LEPORATI
Nato nel 1970, ha conseguito presso l'Università degli Studi di Milano la laurea in Scienze
dell'Informazione nel 1998, e il titolo di Dottore di Ricerca in Informatica nel 2003. Il 1/1/2004
ha preso servizio come Ricercatore presso l'Università degli Studi di Milano-Bicocca, afferendo al
Dipartimento di Informatica, Sistemistica e Comunicazione.
L’attività didattica riguarda principalmente l’area di Algoritmi e Strutture Dati, nella quale
tiene corsi ed esercitazioni a partire dal 2001. Dal 2002 gestisce esercitazioni ed esami di
laboratorio per la medesima area. A partire dal’Anno Accademico 2004/2005 tiene il corso di
Teoria dell’Informazione (Codici e Crittografia), di cui precedentemente svolgeva le esercitazioni.
Svolge infine le esercitazioni per il corso di Apprendimento Automatico. È stato relatore e
correlatore di numerose tesi di laurea, soprattutto nell’ambito della crittografia e della sicurezza
informatica.
L’attività di ricerca riguarda l’Informatica Teorica, e in particolare la Teoria della
Complessità Computazionale, con particolare attenzione ai circuiti combinatori e ai sistemi di
calcolo a membrane (P Systems). Recentemente, i suoi interessi di ricerca si sono estesi verso la
sicurezza informatica. Svolge attività di referaggio per numerose riviste e conferenze
internazionali. È membro della European Association for Theoretical Computer Science
(EATCS) e della International Association for Cryptologic Research (IACR).
HUU LE VAN
Ha conseguito la Laurea in Matematica, indirizzo applicativo, presso l'Università degli
Studi di Milano. La sua attività di ricerca è iniziata nel luglio del 1977 presso l'Istituto di
Cibernetica di Milano (divenuto successivamente Dipartimento di Scienze dell'Informazione).
Dal 1978 al 1981 ha usufruito delle tre edizioni della borsa di studio istituita dall'Università degli
Studi di Milano con fondi messi a disposizione dalla Bull Italia.
E’ stato nominato ricercatore confermato del raggruppamento Informatica, della Facoltà
di Scienze Matematiche, Fisiche e Naturali, iniziando il servizio presso l'Istituto di Cibernetica a
partire dal 1981. Durante gli anni 1993 e 1994 ha svolto le attività di ricerca a Berkeley, presso il
centro ICSI (International Computer Science Institute) dell'Universita' di California, Berkeley, in
qualità di senior visitor.
Ha svolto, dal 1977 fino ad oggi, ricerche nel settore dell'informatica applicata,
coordinando progetti in diverse aree. I suoi orientamenti riguardano i problemi di analisi e
manipolazione di testi, gli strumenti per la preparazione e analisi di documenti strutturati in base
ai linguaggi standard di markup (SGML, HTML, XML,...), le architetture di ipertesti. Si occupa
anche di metodi di accesso ai documenti, sistemi di information retrival ed algoritmi di
prossimità semantica fra frasi di linguaggio naturale. Altri interessi di ricerca sono le architetture
dei sistemi operativi, in particolare UNIX, le metodologie di programmazione object-oriented e
in ambiente Web e, infine, i sistemi di software reuse in ambienti distribuiti.
71
GUGLIELMO LULLI
E’ ricercatore presso il Dipartimento di Informatica, Sistemistica e Comunicazione
dell'Università di Milano “Bicocca” dal 1 febbraio 2005. Nel periodo giugno 2003 novembre
2004 è stato assegnatario di una borsa di ricerca post dottorato presso l’Università di Padova.
Nel 2002, ha conseguito il dottorato di ricerca in Ricerca Operativa presso l'Università di Roma
“La Sapienza”.
Durante il periodo di formazione, ha svolto attività di ricerca e studio presso il Centro
NEXTOR dell'Università del Maryland ed il Dipartimento di "System and Industrial
Engineering" dell'Università dell'Arizona.
L'attività di ricerca riguarda sia l’approfondimento di aspetti metodologici di problemi di
ricerca operativa e programmazione matematica, sia lo studio di specifici problemi di
ottimizzazione derivanti da applicazioni pratiche. In particolare ha studiato problemi di
programmazione stocastica principalmente come applicazione a problemi di logistica, transporti
e gestione del traffico aereo.
Ha pubblicato lavori sia su riveste internazionali che in atti di conferenze nazionali ed
internazionali.
SARA MANZONI
Laureata in Scienze dell'Informazione presso l'Universita' Statale di Milano nel 1998, nel
2003 ha conseguito presso lo stesso Ateneo il dottorato di ricerca in Informatica. Dal 1998
collabora con il Laboratorio di Intelligenza Artificiale del Dipartimento di Informatica,
Sistemistica e Comunicazione dell'Universita' di Milano-Bicocca sia partecipando a progetti di
livello nazionale e internazionale, sia collaborando in qualita' di correlatore e relatore di tesi di
laurea.
I suoi principali interessi di ricerca riguardano i sistemi dinamici discreti (Automi Cellulari
e Sistemi Multi Agente - MAS) e l'Ingegneria della Conoscenza (Problematiche di knowledge
acquisition, representation, maintenance e progettazione e realizzazione di Knowledge Based
Systems - KBS).
In quest'ultima area l'attivita' di ricerca si concentra sulla definizione di modelli originali per
formalizzazione, tesaurizzazione e integrazione di conoscenze impiegate in attivita' di
progettazione di prodotto e processo. Tale attivita' e' svolta all'interno di collaborazioni con
industrie e aziende fornitrici di servizi specializzate in diversi settori e per le quali il Laboratorio di
Intelligenza Artificiale progetta e realizza sistemi basati sulla conoscenza per il supporto alla
progettazione.
Per quanto riguarda i sistemi dinamici discreti, l'attivita' di ricerca si focalizza sulla
modellazione e simulazione di sistemi e problemi complessi con un approcci basati su Automi
Cellulari e Sistemi Multi Agente Situati. Tale ricerca ha portato alla definizione di un modello
originale di sistema multiagente situato che e' stato proposto e sperimentato per diversi contesti
applicativi (es. dinamica di pedoni, problemi di localizzazione, sistemi eco-forestali) ed e' uno dei
temi trattati in collaborazioni interdisciplinari nazionali e internazionali. In particolare la
definizione e sperimentazione di un approccio originale all'analisi di simulazioni basate su Automi
Cellulari per sistemi eco-forestali e' condotto in collaborazione con la divisione System Research
dell'Austrian Reserch Center, mentre un recente ambito di sperimentazione dell'approccio
decentrato e discreto alla modellazione e simulazione di sistemi e problemi complessi e' l'Agentbased Computational Economics (ACE) sul quale si stanno definendo linee di ricerca congiunta e
interdisciplinare.
Sara Manzoni svolge la propria attivita' didattica per la Facolta' di Giurisprudenza presso la
quale e' titolore degli insegnamenti di Conoscenze Informatiche (I anno - CdL in Scienze
72
Giuridiche e in Scienze per Operatori dei Servizi Giuridici) e Informatica Generale (II anno CdL in Scienze per Operatori dei Servizi Giuridici).
FABIO M. MARCHESE
Nato a Milano nel 1964, consegue la Laurea in Ingegneria Elettronica presso il
Politecnico di Milano nell'ottobre 1991 con una tesi sulla Robotica. Nel 1996 consegue il titolo di
Dottore di Ricerca in Ingegneria Informatica ed Automatica (IIA – IX Ciclo) presso il
Dipartimento di Elettronica e Informazione del Politecnico di Milano.
Dal 1992 fino al 1998 è stato Collaboratore alla Ricerca nel gruppo PM-AI&R Project
del Dipartimento di Elettronica ed Informatica al Politecnico di Milano e Responsabile della
gestione del sistema informatico del Laboratorio di Robotica. Dal 1999 al 2002 è stato Assegnista
di Ricerca (borsa universitaria) presso DISCo su tema di ricerca riguardante la navigazione di
robot mobili con tecniche di visione artificiale.
Dal 1994 è membro dell'AI*IA. Dal dicembre 2002 è Ricercatore di ruolo presso
l'Università degli Studi di Milano–Bicocca. Dal 1992 ad oggi ha partecipato a diversi progetti di
ricerca (URMAD-CNR, CROMATICA-CEE, PVision-Pirelli, ZTL-Project Automation,
PRASSI-ENEA, MADSys) e partecipa all'iniziativa internazionale di RoboCup.
Dal 1994 ad oggi ha insegnato nei corsi di Robotica, Fondamenti di Informatica
(programmazione), Architettura degli Elaboratori, tra Politecnico di Milano ed Università degli
Studi di Milano-Bicocca. Nel 2003, nell’ambito del progetto FSE, ha coordinato il corso di
laboratorio di Architettura degli Elaboratori (A:A. 2002/03) e di Programmazione (A.A.
2003/04). Dal 1991 ad oggi ha effettuato ricerche su argomenti di Robotica Mobile,
Path/Motion-Planning con Automi Cellulari, progettazione di Robot Mobili, progettazione di
Sensori per la Visione Omnidirezionale, Elaborazione delle Immagini, Visione Artificiale,
Modellizzazione 2D e 3D di ambienti con sensori ad ultrasuoni e telecamere, Autolocalizzazione
Visiva, SLAM, Robotica behaviour-based e sociale, Machine Learning per Agenti Autonomi,
Algoritmi Paralleli, Interfacce Uomo-Macchina.
LEONARDO MARIANI
Nato a Camerino nel 1977. Nel 2001 ha conseguito la Laurea in Matematica presso
l’Università di Camerino, e nel 2005 il titolo di Dottore di Ricerca in Informatica presso
l’Università degli Studi di Milano Bicocca. Dal 2005 è ricercatore presso il Dipartimento di
Informatica, Sistemistica e Comunicazione dell’Università degli Studi di Milano Bicocca, dove
svolge la propria attività di ricerca in collaborazione con il Laboratorio di Test e Analisi del
Software. Nel 2004 ha condotto ricerche presso il Dipartimento di Informatica dell’Università di
Paderborn.
Dal 2002 è membro IEEE (Institute of Electrical and Electronics Engineers) e ACM
(Association for Computing Machinery). E’ stato membro di comitati di programma nazionali ed
internazionali ed è stato revisore per numerose riviste nazionali ed internazionali. Attualmente è
esercitatore per i corsi di Sistemi Operativi, Sistemi Distribuiti, Tecnologie Informatiche per la
Comunicazione, Ingegneria del Software (Processo e Qualità), Controllo Qualità del Software.
I suoi interessi di ricerca riguardano il test e l’analisi del software, lo sviluppo di
applicazioni adattabili e la progettazione di sistemi decentralizzati. In particolare, ha lavorato allo
sviluppo di tecniche di verifica run-time basate su modelli sintetizzati dinamicamente per
software progettato per componenti; allo sviluppo di tecniche di collaudo e verifica per Web
Services e allo sviluppo di algoritmi di adattamento per sistemi peer-to-peer.
73
GIANCARLO MAURI
Nato nel 1949, laureato in Fisica nel 1973 presso l'Università di Milano.
E’ stato professore incaricato di linguaggi formali e compilatori presso l'Università degli Studi di
Udine e successivamente ricercatore presso l'Università degli Studi di Milano. E’ stato nominato
professore associato nel 1986 e professore ordinario nel 1990 presso l'Università degli Studi di
Milano, dalla quale si è successivamente trasferito presso l'Università degli Studi di Milano Bicocca. E’ stato Direttore del Dipartimento di Scienze dell'Informazione dell'Università di
Milano dal 1992 al 1997. E’ stato Presidente del Capitolo Italiano dell'EATCS (European
Association of Theoretical Computer Science) dal 1991 al 1998, Presidente del Working Group
IFIP (International Federation of Information Processing) sugli automi cellulari dal 1998 al 2003
e Segretario dell’ EMCC (European Molecular Computing Consortium) dal 1999. E’ stato
membro dei comitati di programma di numerosi convegni nazionali ed internazionali; in
particolare ha organizzato nel 1995 la Scuola "Learning e crittografia" a Vietri sul mare, nel 1996
il convegno internazionale COLT (Computational Learning Theory) a Desenzano e il convegno
ACRI '96 a Milano, nel 1997 il Workshop "Cellular Automata" a Gargnano, e nel 2004 il
convegno internazionale DNA10 (DNA Based Computing).
I suoi interessi di ricerca sono principalmente nell'area dell'informatica teorica, ed
includono: teoria degli automi e dei linguaggi formali, complessità computazionale, teoria
dell'apprendimento computazionale, apprendimento nelle reti neurali, con applicazioni al
riconoscimento di volti e al trattamento del linguaggio naturale, bioinformatica, modelli
computazionali di sistemi complessi. Su questi temi, ha seguito numerose tesi di laurea e
pubblicato oltre 150 lavori di ricerca in riviste internazionali, libri ed atti di convegni.
Attualmente si occupa di problemi legati alla bioinformatica, collaborando allo sviluppo
di un sistema per il fragment assembly delle sequenze geniche, e studiando problematiche
algoritmiche legate all'analisi di sequenze di DNA. Una seconda attività di ricerca riguarda lo
studio di modelli di calcolo innovativi, come il calcolo molecolare e il calcolo quantistico, e le loro
applicazioni alla crittografia e allo studio di processi biologici.
ANDREA MAURINO
Nato a Taranto nel 1973 ha conseguito la laurea in Ingegneria Informatica nel 1999
presso il Politecnico di Milano polo regionale di Como. Nel 2003 ha conseguito il titolo di
Dottore di Ricerca in Informatica e automatica presso il Dipartimento di Elettronica ed
Informazione del Politecnico di Milano discutendo una tesi su modelli e strumenti per la
personalizzazione di applicazione web data intensive. Dal 2003 al 2005 ha collaborato al progetto
FIRB MAIS (multichannel adaptive information systems) nell'area degli e-services e delle
architetture orientate ai servizi. Dal 2005 è ricercatore presso il Dipartimento di Informatica
Sistemistica e Comunicazione dell'università degli studi di Milano - Bicocca dove collabora con il
laboratorio Quality of Information Systems guidato dal prof. Carlo Batini.
E' stato docente del corso di Applicazioni informatiche in rete e Tecnologie per i sistemi
informativi nei corsi di laurea specialistica in Ingegneria Gestionale e Ingegneria Informatica, è
stato esercitatore dei corsi di Informatica 1 e 2, basi di dati e sistemi informativi. Ha partecipato
alla preparazione del materiale didattico per il progetto Laurea on Line del Politecnico di Milano
ed è tutor per i corsi di informatica 1 e 2.
Attualmente è docente del corso di Complementi di Informatica presso il corso di
Scienze dei Materiali presso l'Università degli studi di Milano - Bicocca ed è esercitatore del corso
di Basi di dati e Sistemi informativi.
Ha svolto diversi corsi orientati ad primarie aziende tecnologiche (TXTe-solution).
Ha svolto attività di ricerca su modelli e strumenti per la progettazione di applicazioni Web
(modello WebML), analisi della qualità di applicazione Web, strumenti per l'esecuzione di
74
processi orientati ai servizi in ambiente mobile con disconnessioni. Attualmente i suoi interessi di
ricerca sono Data quality, in particolare le tematiche di quality driver query answering in ambienti
coopetitivi, Service Oriented Architecture, in particolare su tematiche di quality of services, ed
eGovernment, focalizzandosi su metodologie multidisciplinari per il design di progetti di
eGovernment.
Inoltre ha svolto diverse attività di ricerca nell'ambito dell'applicazione delle tecnologie
informatiche in ambito archeologico.
RICCARDO MELEN
Nato a Torino nel 1957, nel 1981 si è laureato con lode in Ingegneria Elettronica presso
il Politecnico di Torino.
Dal 1983 al 1992 ha lavorato CSELT (oggi Telecom Italia Lab), dove si è inizialmente
occupato di architetture elaborative parallele per elaborazione non numerica partecipando al
progetto e alla realizzazione di un multiprocessore sperimentale. In seguito si è dedicato alle reti
di telecomunicazione integrate a larga banda e ai sistemi a commutazione veloce di pacchetto ad
elevate prestazioni. Nel 1986 ha progettato l'architettura di uno dei primi nodi di commutazione
ATM realizzati completamente in Italia.
Nel 1987 ha lavorato presso la Washington University in St.Louis, occupandosi di
problemi di controllo di flusso in comunicazioni multipunto e di reti di connessione multirate.
Nel periodo dal 1988 al 1991 è stato responsabile in CSELT dei laboratori di ricerca sulle
reti ad alta velocità, dove venivano condotte attività di ricerca di base di tipo sistemistico e
tecnologico, collaborazione a sviluppi industriali, sperimentazione in campo di nuovi apparati e
servizi nei seguenti campi: reti metropolitane (MAN) pubbliche, reti geografiche e nodi di
commutazione a larga banda.
Nel 1992 è diventato professore associato presso il Politecnico di Milano. Nel 2001 è
diventato professore straordinario presso l’Università dell’Insubria. Nel 2004 è diventato
professore ordinario, ed afferisce dall’A.A. 2005-2006 all’Università di Milano Bicocca.
Nella sua carriera universitaria ha svolto ricerche sulle architetture di rete dedicate alla
fornitura di servizi multimediali interattivi all'utenza residenziale, e su piattaforme middleware, in
grado di integrare meccanismi elaborativi tradizionali ed agenti software, con lo scopo di
controllare applicazioni distribuite di tipo multimediale. Si sta attualmente occupando di
problematiche di sicurezza, autenticazione ed identificazione personale nell’ambito di reti
wireless.
Nel 2000 è stato il principale consulente dell’Autorità per le Garanzie nelle
Comunicazioni nella definizione della normativa nazionale sull’accesso disaggregato alla rete
locale. Nel corso del 2003, per conto del Ministero dell’Innovazione, è stato responsabile della
definizione dell’architettura del nuovo Sistema Pubblico di Connettività e Cooperazione per la
Pubblica Amministrazione (SPC).
VINCENZINA MESSINA
Nata a Pisa nel 1966, ha conseguito la Laurea in Scienze dell’Informazione nel 1990
presso l’Università degli Studi di Milano. Nel 1994 ha conseguito il titolo di Dottore di Ricerca in
Matematica Computazionale e Ricerca Operativa discutendo una Tesi su Modelli e Metodi di
Ottimizzazione Stocastica. Dal 1994 al 1996 ha collaborato con la Brunel University ad un
progetto finanziato dalla CEE riguardante l’ottimizzazione in condizioni di incertezza.
Dal 1994 al 1998 è stata ricercatore presso l’Università degli Studi di Milano e dal 1998 è
Professore Associato presso l’Università degli Studi di Milano - Bicocca, dove è titolare dei corsi
di Ricerca Operativa e di Modelli decisionali per l’e-commerce.
I suoi interessi di ricerca riguardano prevalentemente le seguenti aree:
75
a) Analisi del Rischio e Allocazione delle Risorse: la sua attività di ricerca in questo ambito
riguarda lo sviluppo di modelli di valutazione e algoritmi di ottimizzazione per l'analisi dei
progetti e l’analisi del rischio. In particolare ha sviluppato modelli di pianificazione in condizioni
di incertezza, indirizzati in modo specifico al controllo di progetti in ambito manifatturiero ed in
ambito ambientale. La tematica di “Risk Management” e’ stata affrontata, nei lavori piu’ recenti,
utilizzando il modello dell’opzione ambientale per una valorizzazione piu’ accurata dell’impatto
degli interventi.
b) Sviluppo di modelli di programmazione stocastica multiperiodali: per quanto riguarda questa
area l’attenzione è rivolta allo sviluppo di un ambiente software integrato per la generazione,
soluzione ed analisi di modelli di programmazione stocastica ed allo sviluppo di tecniche
risolutive adatte a risolvere questo tipo di problemi tipicamente di grosse dimensioni e quindi di
notevole complessità computazionale. Particolare interesse riguarda l’utilizzo della tecnologia
ASP (Application Service Provider) per la generazione e soluzione di modelli di ottimizzazione
anche attraverso intranet/internet.
c) Un’area applicativa di recente ineteresse riguarda la systems biology con particolare riguardo
allo sviluppo di modelli e algoritmi per l’analisi di robustezza ed il controllo di reti biologiche.
d) sviluppo di algoritmi di image preprocessing e tracking di oggetti da sequenze di immagini
volte allo sviluppo di sistemi per la rilevazione di comportamenti anomali.
e) Algoritmi di Web Mining per la clusterizzazione e classificazione di documenti multimediali.
DANIELA MICUCCI
Consegue la Laurea in Scienze dell’Informazione e il titolo di Dottore di Ricerca in
Matematica, Statistica, Scienze Computazionali ed Informatica presso l’Università degli Studi di
Milano.
Attualmente è Ricercatore universitario (raggruppamento disciplinare INF/01) presso
l’Università degli Studi di Milano-Bicocca.
È docente del corso di Programmazione dall’A.A. 2003-2004 per il corso di Laurea in
Informatica, è docente del corso Laboratorio di Progettazione dall’A.A. 2005-2006 per il corso di
Laurea Magistrale in Informatica ed è docente del corso di Algoritmi e Programmazione dall’A.A.
2005-2006 per il corso di Laurea in Matematica. Dall’AA. 2003-2004 coordina l’attività di
laboratorio per il corso di Programmazione.
È fondatore del centro di ricerca CSAI (Complex Systems & Artificial Intelligence).
I suoi interessi di ricerca si collocano nell’area delle architetture software per sistemi in
tempo reale. In tali ambiti, ha partecipato e partecipa attualmente a progetti di ricerca, sia europei
sia nazionali, in diverse aree applicative tra cui quelle del monitoraggio ambientale, del controllo
del traffico urbano e della videosorveglianza.
Attualmente, la sua attività di ricerca è volta alla definizione di un’architettura a layer per
la gestione delle percezioni. Tale architettura si appoggia su un modello che definisce e partiziona
astrazioni architetturali interenti il tempo. Successivamente, l’architettura sarà applicata a due
domini specifici: quello della videosorveglianza e quello della robotica mobile. Parallelamente, sta
mettendo a punto un pattern per la definizione di spazi generici. Tale pattern sarà poi
specializzato in spazi specifici (quali grafi, spazi cartesiani e così via) ed utilizzato per localizzare
entità in specifici domini applicativi.
GABRIELLA PASI
Gabriella Pasi è Professore Associato presso il Dipartimento di Informatica, Sistemistica e
Comunicazione dell'Università degli Studi di Milano-Bicocca, dove insegna Linguaggi di
Programmazione (elementi) e Information Retrieval. Si è laureata con lode in Scienze
dell’Informazione presso l’Università degli Studi di Milano e ha conseguito il Dottorato di
Ricerca presso l’Università di Rennes, Francia. Precedentemente, dal 1985 al Febbraio 2005, ha
lavorato in qualità di ricercatore presso il Consiglio Nazionale delle Ricerche.
76
La sua attività di ricerca concerne principalmente la modellazione e la progettazione di
sistemi per l’accesso a informazioni, quali Sistemi di Information Retrieval, Sistemi di
Information Filtering e Sistemi per la Gestione di Basi di Dati. In particolare, si occupa della
definizione di sistemi “flessibili”, in grado cioè di gestire l’imprecisione e l’incertezza
nell’interazione con l’utente, e in grado di adattarsi alle esigenze dell’utente. Lavora anche alla
definizione di tecniche di Decision Making (Multi Criteria Decision Making e Group Decision
Making). La sua attività di ricerca e’ riconosciuta a livello internazionale: ha tenuto “plenary
lecture” e tutorial (sul tema dell’Information Retrieval) a svariate conferenze internazionali. Dal
2002, è co-organizzatrice di un evento annuale, la “Special Track on Information Access and
Retrieval Systems” nell’ambito dell’“ACM Symposium on Applied Computing”.
Ha pubblicato più di 130 articoli su riviste, libri e negli atti di Conferenze Internazionali. E’
inoltre co-editor di sette libri e di numeri speciali di riviste internazionali (quali Information
Processing and Management, The Journal of the American Society of Information Science ecc. ).
Nel 2006 ha organizzato, presso l’Università degli Studi di Milano Bicocca la conferenza
internazionale Flexible Query Answering Systems (FQAS 2006, 7-10 Giugno).
Ha partecipato a numerosi progetti di ricerca sia nazionali sia internazionali. E’ stata la
coordinatrice del progetto europeo PENG (PErsonalized News content programmiNG), uno
STREP (Specific Targeted Research Project), nell’ambito del sesto Programma Quadro, Priorità
II, Information Society Technology (1 Settembre 2004 – 31 Agosto 2006). E’ membro di
numerosi comitati di organizzazione e comitati di programma di conferenze internazionali.
MAURO PEZZE’
Mauro Pezzè è laureato in Scienze dell’Informazione presso l’Università di Pisa con lode
e ha conseguito il Dottorato in Ingegneria Elettronica dell’Informazione e dei Sistemi presso il
Politecnico di Milano. Dopo aver prestato servizio come ricercatore presso il CEFRIEL e il
Politecnico di Milano, e come visting scientist presso l’Università di Edinburgo e l’Università
della California Irvine, ha preso servizio come professore associato presso il Politecnico di
Milano nel 1992. Dal primo ottobre 2000 è Professore Straordinario presso l’Università degli
Studi di Milano – Bicocca.
Mauro Pezzè è stato Executive chair del Comitato Tecnico IEEE Complexitiy in
Computing (TCCX) dal 1999 al 2003 e membro dello Steering Committee di ICECCS (IEEE
International Conference on Engineering Complex Computer Systems) e ETAPS (European
Joint Concerences on Theory and Practice of Software). E’ stato general chair di ICECCS (IEEE
International Conference on Engineering Complex Computer Systems.) nel 1997. E’ stato
program chair di ICECCS (IEEE International Conference on Engineering Complex Computer
Systems.) nel 1996, del Workshop su Software Engineering and Petri Nets nel 2000 e del
Workshop su Graph Transformation and Visual Modeling Techniques nel 2001, di FASE
(Fundamental Approaches to Software Engineering) e del Workshop ETAPS TACoS
(International Workshop on Test and Analysis of Compoment-based Systems nel 2003. Mauro
Pezzè è stato invited speaker al Workshop on Graph Transformation and Visual Modeling
Techniques tenutosi a Ginevra nel luglio 2000 e al Network Software Workshop, tenutosi a
Tokyo nel settembre 2000. E’ stato invitato a presentare un tutorial avanzato alla Conferenza
Internazionale sulle Reti di Petri e un corso specialistico alla Scuola internazionale sulle Reti di
Petri nel 2003.
Mauro Pezzè è responsabile nazionale del progetto cofinanziato QUACK ed è stato
coordinatore delle attività del Politecnico di Milano in 8 progetti Europei dal 1993 ad oggi ed è
autore di più di 60 pubblicazioni su riviste internazionali o proceedings di conferenze
internazionali tra cui: IEEE Transactions on Software Engineering, ACM Transactions on
Software Engineering and Methodologies, IEEE Transactions on Control Systems Technology,
Real-Time Systems, Computer Languages, International conference on Software Engineering
(ICSE), ACM Foundations on Software Engineering, International Symposium on Software
77
Testing and Analysis (ISSTA), International Conference on Engineering Complex Computer
Systems (ISSTA), International Workshop on Software Specification and Design (IWSSD).
Mauro Pezzè è presidente della Commissione Tecnologie Informatiche e della
Commissione Web di Ateneo per la propria università e membro della Commissione Brevetti del
Politecnico di Milano e del Consiglio Scientifico del CILEA. Mauro Pezzè è cofondatore dello
spin-off dell’Università degli Studi di Milano Bicocca INQuaS (Istituto Nazionale per la Qualità
del Software).
Mauro Pezzè dal 2004 è Professore ordinario confermato.
Gli interessi di ricerca di Mauro Pezzè sono relativi all’ingegneria del software. Ha condotto studi
fondamentali nel campo della modellazione formale e dell’analisi di sistemi concorrenti e in
tempo reale, della formalizzazione di linguaggi visuali e del test e analisi di software orientato agli
oggetti. Nel corso della sua carriera ha coordinato il progetto e lo sviluppo di strumenti di
modellazione ed analisi che sono stati utilizzati presso importanti università italiane e straniere.
ROBERTO POLILLO
Nato a Milano nel 1946, ha seguito studi classici e si è laureato in Fisica presso l’Università di
Milano nel 1972, con una tesi sulla Teoria dei programmi. Subito dopo la laurea, per circa un decennio,
ha svolto attività di ricerca presso l’Università degli Studi di Milano su vari temi attinenti alla teoria dei
programmi e all’ingegneria del software.
Dal 1975 è Professore Incaricato, e dal 1985 Professore Associato della stessa Università, dove
ha tenuto, negli anni, i corsi di Macchine Calcolatrici, Teoria e Applicazioni delle Macchine Calcolatrici,
Sistemi per l’Elaborazione dell’Informazione I e Sistemi Operativi. Dal 1999 è Professore Associato
presso l’Università degli Studi di Milano Bicocca, dove è attualmente titolare del corso di Interazione
Uomo Macchina e di Laboratorio Internet. Oltre a questi corsi, in anni recenti ha tenuto workshop di
Interazione Uomo Macchina per gli studenti di Disegno Industriale del Politecnico di Milano, ed il
corso di Progettazione di Interfacce Grafiche per la Comunicazione per gli studenti di Scienze della
Comunicazione dell’Università degli Studi di Milano Bicocca.
E’ vice-coordinatore del corso di laurea magistrale in Teoria e tecnologia della
comunicazione, organizzato congiuntamente dal DISCo e dalla Facoltà di Psicologia
dell’Università degli Studi di Milano-Bicocca.
Fin dalla laurea, ha affiancato all’attività di ricerca e di insegnamento universitario attività
di consulenza nel settore del software, per varie organizzazioni pubbliche e private. Nel 1978, con
Marco Maiocchi e Alberto Cazziol, ha fondato Etnoteam, una società di servizi di informatica
che negli anni ha acquisito una posizione di leadership in Italia, e nella quale ha ricoperto vari
incarichi manageriali fino alla posizione di Amministratore Delegato (fino al 2003).
In oltre 30 anni di attività nel settore del software, si è occupato di progetti di sviluppo di
software di ogni tipo, dai language processors ai sistemi operativi, ai sistemi informativi, ai sistemi
di supporto alla produttività individuale, alle applicazioni web, con particolare attenzione alle
tematiche del software engineering, della qualità del software e delle problematiche
dell’Interazione Uomo macchina.
Negli ultimi anni si è occupato principalmente di problematiche legate alla
comunicazione, alla interazione uomo-macchina e alla qualità dei siti web, argomento sul quale ha
pubblicato di recente due libri.
LUCIA POMELLO
Laureata in Matematica presso l'Università degli Studi di Milano, Dottore di Ricerca in
Informatica, consorzio Università di Milano e di Torino. Nel 1983/’84 è stata ospite, con borsa
C.N.R., presso l'Instituto ISF diretto dal Professor C. A. Petri al GMD a Bonn. Nel 1990 è
diventata Ricercatore, ragruppamento Informatica, presso l'Università degli Studi di Milano e
nel 1992 Professore Associato presso l'Universita' degli Studi di Bari. Nel 1993 è stata anche
78
Professore a contratto presso il Corso di Laurea in Informatica dell'Università di Hildesheim, in
Germania. Si è poi trasferita presso l'Università di Milano e infine presso l'Università di MilanoBicocca, dove insegna per il Corso di Laurea in Informatica: "Programmazione (Elementi)",
"Metodi Formali dell'Informatica" e "Linguaggi e Traduttori" e per il Dottorato di Ricerca in
Informatica: “Informatica Teorica”.
E’ responsabile del Laboratorio di "Modelli Formali di Sistemi Distribuiti". E' membro
permanente dello Steering Committeee della comunita' internazionale dei ricercatori sulle Reti di
Petri. L'attività di ricerca riguarda principalmente lo studio di modelli formali di sistemi complessi
ed è centrata sullo sviluppo di tecniche formali per la specifica, l'analisi e la sintesi di sistemi
distribuiti. Particolare attenzione ricevono i fondamenti della teoria della concorrenza e della
teoria delle reti di Petri; la teoria degli automi concorrenti e delle loro regioni; nozioni di
equivalenza, di modularità e composizionalità; i modelli operazionali di linguaggi concorrenti e
orientati agli oggetti, sempre in contesto concorrente.
CLAUDIA RAIBULET
Claudia Raibulet si è laureata in Ingegneria Informatica presso il Politecnico di Bucarest.
Dalla stessa sede ha ricevuto il diploma di Master in Ingegneria Informatica, specializzazione
Intelligenza Artificiale e Sistemi Esperti. Nel 2002 ha ricevuto il titolo di Dottore di Ricerca in
Ingegneria Informatica e dei Sistemi presso il Politecnico di Torino. Dopo aver prestato servizio
come assegnista di ricerca presso il Politecnico di Torino, è entrata a far parte del gruppo di
ricerca di Architetture Software presso l'Università degli Studi di Milano-Bicocca. Da gennaio
2005 è ricercatrice presso l'Universita' degli Studi di Milano-Bicocca.
Attualmente la sua attivita' di ricerca si svolgene nell'ambito dell'ingegneria del software nelle
seguenti due aree:
Architetture software nell'ambito del progetto di ricerca ARM (Adaptive and Reflective
Middleware), avendo come obiettivo lo sviluppo di architetture riflessive per sistemi adattivi.
L’obiettivo del progetto riguarda la specifica di meccanismi efficienti per la definizione e gestione
della conoscenza riflessiva insieme all’applicazione dell’architettura definita in vari ambiti
applicativi come medicina o telecomunicazioni.
Reverse Engineering con particolare interesse rivolto al riconoscimento dei design pattern
partendo da codice sorgente Java. L'attenzione si è concentrata sui componenti dei design pattern
e come essi sono utilizzati nei tool per migliorare il loro riconoscimento. Sempre in questo
ambito di ricerca sono state affrontate le problematiche relative all’evoluzione dei sistemi
software tramite la riflessività architetturale.
CARLA SIMONE
Si è laureata in Matematica presso l’Università di Torino. Ha svolto la sua attività di
ricerca e di didattica presso l’Università di Milano (1981-1993) e presso l’Università di Torino
(1994-2001). Dal 1° ottobre del 2001 e’ in servizio presso il Dipartimento di Informatica,
Sistemistica e Comunicazione dell'Università di Milano-Bicocca. E’ responsabile del Laboratorio
di Modelli e Architettura per il Coordinamento presso lo stesso di Dipartimento. Insegna per il
Corso di Laurea in Informatica: Linguaggi di Programmazione (Elementi e Complementi); per il
Corso di Laurea in Scienze della Comunicazione (indirizzo psicologico): Informatica Generale e
Modelli Computazionali per la Comunicazione.
E’ membro dello Steering Committee delle Conferenze Europee su Computer
Supported Cooperative Work (ECSCW), del comitato editoriale del CSCW International Journal.
E' membro e presidente di comitati di programma di conferenze internazionali sui campi di
ricerca di suo interesse. Questi riguardano i modelli e le architetture per il coordinamento e la
loro applicazione alla progettazione di sistemi di supporto al coordinamento, alla gestione della
79
conoscenza e della comunicazione in strutture organizzative, e allo sviluppo di interfacce
innovative in ambiente 3D.
Dal 1° novembre 2003 è Presidente del Consiglio di Coordinamento Didattico in
Scienze e Tecnologie Informatiche (Laurea Triennale e Laurea Specialistica in Informatica).
RAIMONDO SCHETTINI
Raimondo Schettini, laureato in Fisica, è stato ricercatore (1988 - 2001), e primo
ricercatore (2001-2002) presso il Consiglio Nazionale delle Ricerche. E' stato responsabile del
Laboratorio Immagini e Colore dell' ITIM e dell’ITC, CNR dal 1990 al 2002. Professore
Associato dal 2002 presso il Dipartimento di Informatica, Sistemistica e Comunicazione
dell'Università degli Studi di Milano-Bicocca, dove insegna Elaborazione delle Immagini
(Elementi e Complementi) e Basi di Dati. Fonda, nel maggio del 2003, il laboratorio DISCo
Imaging and Vision (www.ivl.disco.unimib.it) di cui assume la direzione. Svolge attività di ricerca
inerente: l'elaborazione, l'analisi e la classificazione di immagini e video; la gestione e
riproduzione del colore nei sistemi informatici; l'indicizzazione automatica di immagini, video e
oggetti tridimensionali, in funzione delle loro caratteristiche pittoriche. Le diverse attività di
ricerca sono sviluppate in modo sinergico, e si sono dimostrate ricche di sviluppi teorici ed
applicativi. La sua attività è documentata in oltre 180 pubblicazioni in riviste (50+), libri ed atti di
convegni internazionali. E’ co-inventore di cinque brevetti internazionali. E’ stato responsabile
scientifico di numerosi progetti di ricerca, presso il CNR e presso il DISCo. E’ Associate Editor
di The Pattern Recognition Journal dal 2003. E’ stato co-guest editor per le riviste: Journal of
Electronic Imaging (Special Section on Internet Imaging, 2002); Pattern Recognition Letters
(Special issue on Color image processing and analysis, 2003); e Computer Vision and Image
Understanding (Special issue on Color for image indexing and retrieval, 2004). E’ stato General
Chair di numerose Conferenze Internazionali curando spesso anche la pubblicazione degli atti:
First Workshop on Image and Video Content-Based Retrieval (1998); Internet Imaging
Conference (dal 2000 al 2006); First European Conference on Color in Graphics, Imaging and
Vision (2002);Multimedia Content Access: Algorithms and Systems 2007 Conference (2007);
Computational Color Imaging Workshop (2007). E’ stato membro dei comitati di scientifici ed
organizzatori di numerosi convegni internazionali (ACM, IEEE, IST, SPIE, IAPR).
DOMENICO G. SORRENTI
Professore associato non confermato presso il Dipartimento di Informatica,
Sistemistica e Comunicazione, Università degli Studi di Milano - Bicocca, settore scientificodisciplinare ING-INF/05.
Maturità classica, liceo ginnasio statale G. Carducci, Milano, luglio 1981. Laurea in
Ingegneria Elettronica, Politecnico di Milano nel Febbraio 1989. Dottorato di ricerca in
Ingegneria Informatica ed Automatica, Politecnico di Milano nel Dicembre 1992. Borsista
IBM/Semea, presso il Politecnico di Milano, nell'ambito del contratto di ricerca "Automatic
error recovery in assembly robots", tra la laurea e l'inizio del dottorato. Assunto come "research
associate", presso "Vision and robotics laboratory", Department of Electrical and Electronic
Engeneering, King's College, London (U. K.), nell'ambito del progetto "Integration of vision
and path planning for an arc welding workcell", da Aprile ad Ottobre 1994. Borsista CNR,
presso il Politecnico di Milano, nell'ambito del contratto "URMAD: mobile robotic unit for the
aid to handicapped people", da Gennaio a Giugno 1995. Dal Luglio 1995 prende servizio come
ricercatore presso il Dipartimento di scienze dell'Informazione, Università degli Studi di Milano.
Dal Gennaio 1999 si trasferisce al Dipartimento di Informatica, Sistemistica e Comunicazione,
Università degli Studi di Milano - Bicocca. Nel Novembre 2004 riceve l'idoneità a prof. assoc.
nel s.s.d. ING-INF/05, nel Gennaio 2005 viene chiamato e nel Marzo 2005 prende servizio,
presso lo stesso dipartimento.
80
Ha insegnato o insegna corsi nell'ambito della "Architettura degli elaboratori",
"Robotica", "Visione artificiale", "Elaborazione delle immagini", "Informatica industriale",
nell'ambito di corsi di laurea, laurea specialistica e master di Informatica; nel passato anche per
Ingegneria Elettronica, Informatica, Automatica.
I suoi interessi di ricerca sono nell'ambito della elaborazione delle immagini, visione
artificiale e robotica; in particolare 3D vision for mobile robot navigation, adaptive edge
detection, omni-directional vision, image-based pedestrian and vehicle traffic monitoring.
Nell'ambito dei suoi interessi di ricerca ha organizzato proposte di ricerca, successivamente
approvate, nell'ambito di programmi comunitari, nazionali e di collaborazioni con aziende.
E' membro della IEEE (Robotics and Automation e Computer), dell'IAPR
(International Association for Pattern Recognition) e della AI*IA (Italian Association for
Artificial Intelligence).
Nel 2005 è stato chair del comitato organizzativo della lega middle size di Robocup.
Come responsabile della unità operativa Unimib nel progetto MadSys (PRIN 2003) ha portato il
dimostratore "monitoraggio di agenti robotici" alla fiera SMAU 2005. Le competenze usate in
questo dimostratore sono poi state usate anche in altri progetti su videosorveglianza del
dipartimento.
FABIO STELLA
Nato a Torino nel 1965, ha conseguito la Laurea in Scienze dell’Informazione presso
l’Università degli Studi di Milano nel 1991. Dopo un breve periodo come borsista, presso il
Consorzio Milano Ricerche, nel 1992 è diventato studente del Dottorato di Ricerca in
“Matematica Computazionale e Ricerca Operativa”.
Nel 1993 ha vinto un concorso di Ricercatore per il raggruppamento disciplinare di
Ricerca Operativa e nel 1994 ha preso servizio presso il Dipartimento di Scienze
dell’Informazione dell’Università degli Studi di Milano. Nel 1995 ha ricevuto il titolo di Dottore di
Ricerca in “Matematica Computazionale e Ricerca Operativa”.
In questi anni ha partecipato a diversi progetti, Europei e nazionali, di ricerca applicata
in ambiti strettamente inerenti alla Ricerca Operativa. Inoltre, negli ultimi anni ha svolto attività
di consulenza professionale nell’ambito della Finanza Computazionale, della Farmacovigilanza,
degli Intelligent Rail Transit Systems e del Data Mining per il traffico urbano. L’attività scientifica
e di ricerca è concentrata sulle seguenti aree di ricerca:
- DATA, WEB E TEXT M INING
In questa area di ricerca sono stati affrontati problemi metodologici, sistemistici e
computazionali. L’attenzione è stata posta su modelli computazionali quali i classificatori
Bayesiani, le Reti Bayesiane, le Feedforward Neural Newtorks e l’apprendimento Bayesiano nel
caso delle Bayesian Confidence Propagation Neural Networks. Questa area di ricerca ha previsto
lo studio, la progettazione e l’implementazione di modelli ed algoritmi per applicazioni in diversi
domini quali:
- Business Intelligence,
- Farmacovigilanza,
- Light Rail Transit Systems,
- WEB Information Retrieval,
- E-Commerce.
- Finanza Computazionale
In questa area di ricerca sono stati affrontati primariamente problemi teorici e di natura
computazionale. L’attenzione è stata rivolta allo studio e sviluppo di modelli computazionali per
l’investimento on-line, per il pricing di strumenti derivati, il calcolo del rischio di portafoglio e la
calibrazione di strutture a termine. Inoltre, sono stati studiati modelli di classificazione per
l’individuazione dei segnali di mercato. Questa area di ricerca ha visto la collaborazione in diversi
progetti di ricerca applicata inerenti a:
81
- Progettazione di un insieme di librerie software per pricing derivati, valutazione del
rischio di portafoglio e calibrazione strutture a termine,
- Studio, progettazione e implementazione di un algoritmo per l’individuazione dei
segnali di mercato,
- Studio di modelli ed algoritmi per l’investimento on-line in presenza di sideinformation,
- Studio e confronto di modelli Bayesiani e Neurali per la valutazione del rischio di
controparte.
FRANCESCO TISATO
Nato a Milano nel 1946, Francesco Tisato ha conseguito la Laurea in Ingegneria
Elettronica presso il Politecnico di Milano nel 1969, dove ha prestato servizio prima come
ricercatore, poi come Professore Associato di Sistemi Operativi fino al 1987. Dal 1987 al 1990 è
stato Professore Straordinario di Calcolatori Elettronici presso l’Università della Calabria.
Dal 1991 al 1998 è stato Professore Ordinario di Sistemi per l’Elaborazione delle
Informazioni presso l’Università degli Studi di Milano. Dal 1999 è Professore Ordinario presso
l’Università degli Studi di Milano-Bicocca, dove è attualmente docente degli insegnamenti di
Programmazione e di Laboratorio di Progettazione. Ha svolto attività di consulenza per la
progettazione di sistemi software in diverse aree applicative, in particolare quelle dei sistemi di
videosorveglianza, di controllo del traffico urbano e di trading on-line. I suoi interessi di ricerca
hanno riguardato prevalentemente le architetture software e le metodologie di progettazione e
sviluppo di sistemi software complessi. Da diversi anni si occupa di metodologie di analisi e
progettazione object-oriented applicate in particolare alle architetture per il supporto al lavoro
cooperativo e per il monitoraggio e controllo in tempo reale.
Attualmente la sua attività di ricerca è centrata sulle architetture di tipo riflessivo, in cui una
meta-rappresentazione del sistema supporta lo sviluppo di applicazioni fortemente configurabili, con
elevata qualità di servizio e con capacità adattive rispetto al contesto di esecuzione e ai requisiti utente.
Questo approccio viene applicato in particolare alla progettazione di architetture e piattaforme per
sistemi adattivi in tempo reale e per sistemi Business-to-Business, con architettura decentrata ad agenti
autonomi, caratterizzati da forte eterogeneità delle infrastrutture di comunicazione e dei dispositivi di
interazione.
LEONARDO VANNESCHI
Nato a Firenze il 3/10/1970, Laureato in Scienze dell'Informazione all'Università di Pisa
nel 1996 (110/110 e Lode), PhD in Informatica all'Università di Losanna nel 2004, sono
Ricercatore presso il Dipartimento di Informatica, Sistemistica e Comunicazione (D.I.S.Co.)
dell'Università di Milano-Bicocca dal settembre 2004. I miei principali domini di ricerca
riguardano l'Apprendimento Artificiale, la Modellazione di Sistemi Complessi ed il Data Mining,
con particolare riferimento al Calcolo Evoluzionistico, ad alcune tecniche di Clustering e
Classificazione, anche utilizzando paradigmi di Programmazione Parallela. Ho partecipato a (e
sono tutt'ora coinvolto in) diversi progetti di ricerca e numerose collaborazioni nazionali ed
internazionali riguardanti questi temi. Faccio parte di diversi comitati di programma e sono stato
recentemente organizzatore di tre congressi internazionali ed una scuola estiva. Sono docente del
corso di Algoritmi e Strutture Dati (Soft Computing) ed esercitatore in vari altri corsi. Ho
supervisionato numerose tesi di Laurea triennale e magistrale.
82
GIUSEPPE VIZZARI
Giuseppe Vizzari è ricercatore presso il Dipartimento di Informatica, Sistemistica e
Comunicazione (DISCo) dell’Università degli Studi di Milano-Bicocca. Ha conseguito la Laurea
in Informatica presso L’Università degli Studi di Milano nel 2001, e nel 2005 ha conseguito il
titolo di Dottore di Ricerca in Informatica presso l’Università degli Studi di Milano-Bicocca.
Collabora con il DISCo dal 2001, ed è stato esercitatore di diversi corsi tra cui
“Intelligenza Artificiale – Complementi”; attualmente è docente dei corsi di “Laboratorio di
Linguaggi di programmazione” ed “Intelligenza Artificiale – Complementi” per il cdl in
Informatica, oltre che di “Laboratorio di Informatica” per il cdl in Matematica.
La sua attività di ricerca riguardano principalmente l’area dei sistemi basati sulla
conoscenza (Knowledge Based Systems - KBS) e dei sistemi multi agente (Multi Agent Systems MAS). In particolare, in relazione a quest’area, è membro dei comitati di programma di diversi
workshop e conferenze internazionali, ed in particolare dell’International Joint Conference on
Autonomous Agents and Multi-Agent Systems (AAMAS). Ha svolto inoltre alcune attività di
ricerca interdisciplinari relative all'applicazione di modelli e tecnologie informatiche in ambito
archeologico.
CLAUDIO ZANDRON
Nato nel 1972, ha conseguito presso l'Universita' degli Studi di Milano la laurea in Scienze
dell'Informazione nel 1996 e il titolo di Dottore di Ricerca in Informatica nel 2002.
In servizio presso l'Universita' degli Studi di Milano-Bicocca, Dipartimento di Informatica,
Sistemistica e Comunicazione, dal 30/12/2002 al 30/9/2006 in qualita' di Ricercatore e, a partire
dal 1/10/2006, come Professore Associato.
Docente del Corso di Laurea in Informatica (Programmazione 1, Metodi Computazionali per la
Biologia, ed esercitatore di Informatica Teorica) e del Corso di Laurea in Scienza dei Materiali
(Informatica).
E' membro dell'EATCS (European Association for Theoretical Computer Science)
e del gruppo di ricerca europeo EMCC (European Consortium for Molecular Computing). Dal
novembre 2001 al novembre 2004 ha partecipato al progetto "MolCoNet - A Thematic Network
on Molecular Computing", finanziato dalla comunita' europea nell'ambito del quinto programma
quadro.
I suoi interessi di ricerca riguardano i linguaggi formali, i modelli di calcolo molecolare, la
computazione con DNA e la complessita' computazionale. In particolare, a partire dal 1996 si
occupa di modelli di calcolo che formalizzano l'azione degli enzimi di restrizione
sulle molecole di DNA; piu' recentemente, approfondisce lo studio di modelli di computazione
ispirati al funzionamento delle cellule. Tale attivita' di ricerca si concentra sia sullo studio degli
aspetti computazionali di tali modelli, sia sulla loro applicazione alla simulazione di processi di
tipo biologico.
FABIO MASSIMO ZANZOTTO
Fabio Massimo Zanzotto, occupandosi di elaborazione del linguaggio naturale
prevalentemente nelle aree di parsing sintattico e modelli di apprendimento automatico applicati a
problemi sintattici e sematici. Ha portato avanti ricerche nell'area partecipando alla costruzione di
un sistema di question-answering (QA) di dominio basato su modelli ontologici per l'italiano. Si è
inoltre interessato del problema dell'implicazione testuale (textual entailment) definendo un
83
modello basato sulla rappresentazione della distanza semantica tra frasi come un modello di
distanza tra grafi sintattici.
Collabora attivamente alla didattica del dipartimento servendo in corsi dell'area
dell'intelligenza artificiale e delle basi di dati.
Partecipa a progetti nazionali ed europei come esperto nell'are dell'elaborazione del
linguaggio naturale.
Ha partecipato come ricercatore nel Workshop del 2003 al "The Center for Language
and Speech Processing", John Hopkins University, Baltimore MD nel gruppo di "Semantic
Analysis Over Sparse Data" e è stato ricercatore visitatore allo Xerox Research Centre Europe
nel 2000 e nel 1998-1999.
ITALO FRANCESCO ZOPPIS
Italo Zoppis è ricercatore presso questo dipartimento dal 2004.
La sua principale attività di ricerca riguarda l'apprendimento statistico e i metodi kernel.
In questo contesto ha collaborato, durante l'attività di dottorato, con l'Istituto Sperimentale
Italiano L. Spallanzani di Rivolta d'Adda e con il laboratorio LaRen dell'Univesità Statale di
Milano.
Svolge attività didattica presso la Facoltà di Scienze della Formazione di questo ateneo, dove è
docente dei corsi di Informatica base e avanzata, nell’ambito del corso di laurea in Scienze della
Comunicazione.
La sua ricerca trova attualmente un interesse applicativo nel contesto della bioinformatica e in
particolar modo all'analisi di microarray.
84

Relazione DISCo 2006 - Dipartimento di Informatica Sistemistica e

Transcript

Documenti analoghi

Diritto dei contratti commerciali internazionali

ELENCO LIBRI DI TESTO ANNO SCOLASTICO 2016 /2017 I MEDIA

Relazione sull`attività svolta - Dipartimento di Informatica

Adagio - Lazzari

Scarica/Visualizza il File - Dipartimento di Scienze Politiche

la foto del giorno

Resident evil. Guida strategica ufficiale. Vol. 6

La diagnosi di DSA nella pratica clinica