Profilo accademico

Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze, Firenze (Novembre 1991-Ottobre 1994). Dottorato di ricerca in Ingegneria Informatica e dell'Automazione. Supervisori: Proff. M. Gori e A. Pasquali.
Tesi di Dottorato: Apprendimento Ottimo in Reti Neuronali Artificiali (Relatore: Prof. M. Gori.)
Titolo di Dottore di Ricerca in Ingegneria Informatica e dell'Automazione conseguito in data 13.11.1995.

Universitat Kaiserslautern, Kaiserslautern, Germania (Settembre 1989). Scuola di perfezionamento per neo-laureati in Matematica Applicata/Fisica Matematica, Progetto Erasmus.

Università degli Studi di Firenze, Firenze. Laurea in Matematica, indirizzo Applicativo, conseguita in data 17.3.1989 con la votazione 110L/110.
Tesi di Laurea: Un package grafico per la risoluzione di alcune classi di equazioni differenziali (Relatore: Prof. A.Pasquali).

Esperienze professionali

Dipartimento di Ingegneria dell'Informazione, Università degli Studi di Siena, Siena (da Novembre 2002). Ricercatore per il settore scientifico-disciplinare ING-INF/05.

Dipartimento di Ingegneria dell'Informazione, Università degli Studi di Siena, Siena (Febbraio 1999-Ottobre 2002). Titolare di assegno di ricerca.

Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze Firenze, (Gennaio 1997-Dicembre 1998). Borsa di studio biennale per attività di ricerca post-dottorato (Supervisori: Proff. M. Gori e G. Soda).

Dipartimento di Matematica-Ce.S.I.T., Università degli Studi di Firenze, Firenze (Dicembre 1989-Ottobre 1991). Borsa di Studio Bull HN Italia, vinta per l'anno accademico 1989/90 e rinnovata per il 1990/91 (Supervisore: Prof. A. Pasquali).

Soft Italia S.R.L., Università degli Studi di Firenze, Firenze (Luglio 1991-Marzo 1992). Attività di consulenza per lo sviluppo del software di gestione delle Biblioteche dell'ateneo fiorentino.

Dipartimento di Energetica, Università degli Studi di Firenze, Firenze (Aprile 1989-Luglio 1989). Incarico per l'implementazione di software grafico (Fortran/PLOT88) per la progettazione di pompe idrauliche (progetto congiunto con le Industrie Meccaniche e Fonderia Nuovo Pignone) (Supervisori: Proff. F. Martelli e A. Pasquali).

Esperienze didattiche

Supporto alla didattica al corso di Metodi di Supporto alle Decisioni, al corso di Laurea Specialistica in Ingegneria Informatica, presso la Facoltà di Ingegneria. Università degli Studi di Siena, Siena (Giugno 2003).

Supporto alla didattica al corso di Informatica e Tirocinio, al corso di Laurea in Consulente del Lavoro, presso la Facoltà di Giurisprudenza. Università degli Studi di Siena, Siena (Aprile 2003-Giugno 2003).

Titolare del corso di Fondamenti di Informatica, al corso di Laurea in Ingegneria dell'Automazione, presso la Facoltà di Ingegneria (sede di Arezzo). Università degli Studi di Siena, Arezzo (Gennaio 2003-Marzo 2003).

Corso di Fondamenti di Informatica, al Master GINTS - Gestione delle istituzioni finanziarie e nuove tecnologie dell'informazione, organizzato in collaborazione con Engineering e Consorzio Operativo Gruppo MPS. Università degli Studi di Siena, Colle Val d'Elsa (Gennaio 2003).

Corso di Crittografia, al Master SICURNET - Sistemi sicuri in rete per le comunicazioni mobili e i servizi a valore aggiunto, organizzato in collaborazione con Eurobic Toscana Sud S.p.A., APIT Innovazione, Getronics S.p.A., Marconi-AMTEC S.p.A. e Banca Monte dei Paschi di Siena S.p.A. Università degli Studi di Siena, Poggibonsi (Novembre 2002).

Corso di Informatica, al corso di Laurea in Consulente del Lavoro, presso la Facoltà di Giurisprudenza. Università degli Studi di Siena, Siena (Ottobre 2002-Dicembre 2002).

Supporto alla didattica al corso di Informatica e Tirocinio, al corso di Laurea in Consulente del Lavoro, presso la Facoltà di Giurisprudenza. Università degli Studi di Siena, Siena (Aprile 2002-Giugno 2002).

Università degli Studi di Firenze, Firenze (Aprile 2002-Giugno 2002). Professore a contratto per il corso di Informatica Industriale e Sistemi Operativi, al corso di Laurea in Ingegneria dell'Informazione, presso la Facoltà di Ingegneria.

Università degli Studi di Siena, Siena (Gennaio 2002-Marzo 2002). Supporto alla didattica al corso di Sistemi Operativi, al corso di Laurea in Ingegneria Informatica, presso la Facoltà di Ingegneria.

ITIS Enrico Fermi, Bibbiena (AR) (Settembre 2001). Seminario per il corso di formazione IFTS-Cultmatic, per tecnici e quadri nella gestione e valorizzazione dei beni e servizi culturali, Introduzione alla programmazione.

Dipartimento di Ingegneria dell'Informazione, Università degli Studi di Siena, Siena (Luglio 2001). Seminario per il Dottorato di Ricerca in Ingegneria dell'Informazione, su Il problema dell'apprendimento in reti neurali multistrato.

Università degli Studi di Siena, Siena (Marzo 2001-Giugno 2001). Contratto per il supporto alla didattica al corso di Calcolatori Elettronici, al corso di Laurea in Ingegneria Informatica e Ingegneria delle Telecomunicazioni.

Università degli Studi di Firenze, Firenze (Marzo 2001-Giugno 2001). Contratto per il supporto alla didattica al corso di Matematica Applicata, al corso di Diploma in Ingegneria Meccanica.

Università degli Studi di Firenze, Firenze (Ottobre 1999-Gennaio 2000). Professore a contratto per il corso di Linguaggi e Traduttori al Diploma in Ingegneria Elettronica.

Università degli Studi di Firenze, Firenze (Marzo 1999-Giugno 1999). Professore a contratto per il corso di Linguaggi e Traduttori al Diploma in Ingegneria Elettronica.

Università degli Studi di Firenze, Firenze (Marzo 1999-Giugno 1999). Contratto per il supporto alla didattica al corso di Fondamenti di Informatica II al corso di Laurea in Ingegneria Informatica.

Università degli Studi di Siena, Siena (Novembre 1998-Febbraio 1999). Professore a contratto per il corso di Sistemi Operativi al Diploma in Ingegneria Informatica e delle Telecomunicazioni.

Centro Formazione Professionale-Figline Valdarno, Provincia di Firenze, Figline Valdarno (FI) (Febbraio 1997-Dicembre 1997). Insegnante di scuola media superiore per il corso di Matematica e Informatica.

Università degli Studi di Firenze, Firenze (Marzo 1997-Maggio 1997). Corso seminariale all'interno dell'insegnamento di Fondamenti di Informatica II, al corso di Laurea in Ingegneria Informatica.

Università degli Studi di Firenze, Firenze (Settembre 1996-Dicembre 1996). Professore a contratto per il corso di Informatica Grafica al Diploma in Ingegneria Meccanica.

Università degli Studi di Siena, Siena (Marzo 1996-Giugno 1996). Professore a contratto per il corso di Sistemi Operativi al Diploma in Ingegneria Informatica e Automatica e Ingegneria delle Telecomunicazioni.

Università degli Studi di Siena, Siena (Novembre 1995-Febbraio 1996). Professore a contratto per il corso di Fondamenti di Informatica II al Diploma in Ingegneria Informatica e Automatica e Ingegneria delle Telecomunicazioni.

Università degli Studi di Firenze, Firenze (Settembre 1995-Dicembre 1995). Professore a contratto per il corso di Informatica Grafica al Diploma in Ingegneria Meccanica.

Università degli Studi di Firenze, Firenze (Marzo 1995-Giugno 1995). Professore a contratto per il corso di Fondamenti di Informatica I al Diploma in Ingegneria Elettronica.

Attività di ricerca

RETI NEURALI
Condizioni necessarie e sufficienti per la convergenza di algoritmi di apprendimento neurale:
- Proprietà topologiche dell'ambiente di addestramento che garantiscono l'apprendimento ottimo.
- Identificazione di condizioni necessarie e sufficienti a garantire la convergenza ottima del processo di apprendimento per architetture di rete con modello neurale a base radiale e ricorrenti.
- Progettazione di architetture ricorrenti con garanzia di apprendimento ottimo.
Apprendimento neurale in reti statiche feedforward:
- Enumerazione dei punti stazionari delle superfici di errore relative a problemi di parità ad n-bit.
Tecniche di ottimizzazione globale:
- Algoritmi stocastici pseudo-esaustivi, algoritmo dell'attrattore terminale.
- Algoritmi costruttivi per reti neurali: growing e pruning.
- Selezione genetica architetturale ed ottimizzazione parametrica.
Proprietà teoriche delle reti neurali ricorsive per il trattamento di informazione strutturata:
- Approssimazione di funzioni su dati strutturati.
- Reti ricorsive per l'apprendimento di grafi posizionali, ordinati ed aciclici.
- Determinazione di condizioni necessarie e sufficienti per l'apprendimento ottimo in reti neurali ricorsive addestrate con Backpropagation Through Structure. Generalizzazione.
- Reti ricorsive lineari: comportamento dinamico, collisioni, raggiungibilità, osservabilità.
- Determinazione di classi di funzioni su grafi approssimabili attraverso modelli lineari.
- Trattamento di grafi ciclici. Localizzazione di volti mediante reti ricorsive.
Tecniche di apprendimento probabilistico:
- PAC Learning. Apprendimento di concetti su domini numerabili e complessità temporale. Apprendimento di funzioni. Sample complexity.

SISTEMI DI VALUTAZIONE DELL'AUTORITÀ DI DOCUMENTI WEB
Proprietà teoriche dell'algoritmo di PageRank di Google:
- Stabilità, interpretazione probabilistica, bilancio energetico fra comunità/isole del Web, dipendenza dell'algoritmo dai parametri.
- Estrazione di regole che garantiscono la costruzione di siti con buona visibilità per ricerche con Google.
- Utilizzo di reti ricorsive per l'apprendimento automatico dei parametri che regolano la dinamica di indicizzazione di Google, per la costruzione di motori di ricerca focalizzati.

TECNICHE DI OTTIMIZZAZIONE CONTINUA E COMPLESSITÀ
Studio di algoritmi derivanti dall'ottimizzazione continua con applicazione alla risoluzione di sistemi di equazioni nonlineari:
- Tecniche di ottimizzazione continua con attrazione terminale. Studio della complessità computazionale in senso classico.
- Applicazione a problemi di geometria computazionale, programmazione lineare, risoluzione di sistemi di equazioni nonlineari.

METODI NUMERICI PER LA RISOLUZIONE DI ODE
Modellizzazione matematica del fenomeno di cristallizzazione dei polimeri impiegati nella fabbricazione di protesi ortopediche:
- Risoluzione numerica del problema integro-differenziale ed implementazione software in ambiente GCOS8 vettoriale.
Metodi numerici per equazioni integro-differenziali di Volterra:
- Generalizzazione del modello matematico per la cristallizzazione dei polimeri tramite accoppiamento dell'equazione integro-differenziale con l'equazione del calore. Implementazione software. Analisi di convergenza e stabilità.

TECNICHE DI CALCOLO PARALLELO
Implementazione ed ottimizzazione in ambiente GCOS8 vettoriale di software per la risoluzione di problemi differenziali:
- Ottimizzazione vettoriale delle librerie LINPACK e IMSL, con particolare riferimento alle routine di basso livello (BLAS level 1-2).
Sperimentazione su transputer del metalinguaggio EXPRESS:
- Metodi numerici per la risoluzione di problemi con valori al contorno per sistemi di equazioni differenziali ordinarie. Implementazione software.

Coordinamento di iniziative scientifiche e didattiche

Dipartimento di Ingegneria dell'Informazione, Università degli Studi di Siena, Siena Ottobre 2002-Maggio 2003. Partecipazione al progetto SICURNET, per la creazione di una rete di conoscenze tra Università, Centri di ricerca, Enti pubblici e Aziende sulle tematiche delle tecnologie e dei servizi sicuri in rete.

Co-responsabile (col Prof. Marco Gori), per il Dipartimento di Ingegneria dell'Informazione dell'Università degli Studi di Siena, del Programma Nazionale Microelettronica e Bioelettronica - Tema 5, Sistemi Neuronali nell'Automazione di Servizi e di Impianti, in collaborazione con ELSAG S.p.a., Genova.

Co-responsabile (col Prof. Marco Gori) del Progetto IFTS Cultmatic - Corso di formazione per tecnici e quadri nella gestione e valorizzazione dei beni e servizi culturali, in collaborazione con ITIS E. Fermi, Bibbiena (AR).

Membro del comitato organizzatore del NATO Advanced Research Workshop, Limitations and Future Trends in Neural Computation, Certosa di Pontignano (Siena), 22-24 Ottobre 2001.

Responsabile del comitato organizzatore dell'VIII Convegno dell'Associazione Italiana per l'Intelligenza Artificiale, Siena, 11-13 Settembre 2002.

Responsabile della didattica, per le discipline informatiche ed automatiche, del corso di laurea in Ingegneria dell'Informazione dell'Università degli Studi di Firenze.

Relatore delle tesi:
- Ugo Gagliardi, Individuazione e attuazione di fasce orarie non presidiate da personale, nella realtà operativa della sala macchine del Comune di Prato, per il conseguimento del Diploma alla Scuola per Programmatori ed Analisti presso la Facoltà di Ingegneria dell'Università degli Studi di Siena (27.2.1997);
- Luca Mugnaini, Agenti Software per l'Acquisizione e la Distribuzione della Conoscenza: Metafore e Modelli di Costruzione, per il conseguimento del Diploma in Ingegneria Elettronica presso la Facoltà di Ingegneria dell'Università degli Studi di Firenze (20.4.2000);
- Filippo Magherini, Tecniche di Office Automation e Gestione Automatica di un Sito Web, per il conseguimento del Diploma in Ingegneria Elettronica presso la Facoltà di Ingegneria dell'Università degli Studi di Firenze (26.4.2001);
- Fabiano Biagioli, Progettazione e Sviluppo del Back-End di un'Applicazione Client/Server per la Gestione di Servizi Autostradali basata su Piattaforma J2EE, per il conseguimento della Laurea di primo livello in Ingegneria dell'Informazione presso la Facoltà di Ingegneria dell'Università degli Studi di Firenze (15.2.2002);
- Sara Carnati, Realizzazione di un'Interfaccia Web per la Gestione di Servizi Autostradali, per il conseguimento della Laurea di primo livello in Ingegneria dell'Informazione presso la Facoltà di Ingegneria dell'Università degli Studi di Firenze (15.2.2002);
- Benedetta Pagnini, Implementazione e Gestione di una Banca Dati per Servizi Bancari mediante Utilizzo di Oracle Enterprise Manager, per il conseguimento della Laurea di primo livello in Ingegneria dell'Informazione presso la Facoltà di Ingegneria dell'Università degli Studi di Firenze (15.2.2002).

Altre informazioni

Buona conoscenza della lingua inglese.

Conoscenza dei sistemi operativi UNIX, Linux, VMS, Windows NT, Windows'95, DOS/Windows, GCOS7, GCOS8.

Conoscenza dei linguaggi di programmazione C, Fortran, Pascal, HTML, Cobol, APL, Assembler Vax.

Conoscenza dei programmi applicativi Mathematica, MATLAB, TeX/LaTeX, AutoCAD.

Revisore per IEEE Transactions on Neural Networks, IEEE Transactions on Pattern Analysis and Machine Intelligence, Neural Networks, Neurocomputing, Neural Computation, Pattern Recognition Letters, International Journal on Pattern Recognition and Artificial Intelligence, SIAM Journal on Applied Mathematics, Journal of Discrete Applied Mathematics, Annals of Operations Research, Journal of Intelligent Systems.

Partecipazione ai progetti:
- Programma di ricerca scientifica di interesse nazionale MURST 1997-99: Metodologie e Strumenti di Progetto di Sistemi ad Alte Prestazioni per Applicazioni Distribuite, unità di ricerca di Siena;
- Programma di ricerca scientifica di interesse nazionale MURST 2000-02: Reti Neurali per l'Apprendimento di Informazione Strutturata: Metodologie e Applicazioni, unità di ricerca di Siena.

Membro IAPR-IC (International Association for Pattern Recognition).

Membro AI*IA (Associazione Italiana per l'Intelligenza Artificiale).

Back to Monica's Home Page