Docente Esterno | Email: andrea.domenici@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"5856","unipi-persone-nome":"Andrea","unipi-persone-cognome":"Domenici","unipi-persone-email":"andrea.domenici@unipi.it","unipi-persone-cv":"Dic. 1986 laurea in Ingegneria Elettronica (Universit\u00e0 degli Studi di Pisa).
\r\n
\r\nFebb. 1992 ricercatore universitario presso la Scuola Superiore di Studi Universitari e di Perfezionamento S. Anna (Pisa).
\r\n
\r\nSett. 1992 dottorato di ricerca in Ingegneria Elettronica e dell'Informazione, (Universit\u00e0 degli Studi di Pisa).
\r\n
\r\nSett. 2000 ricercatore universitario presso l'Universita` di Pisa.
\r\n
\r\nAttivita` scientifica
\r\n
\r\nImplementazione ed applicazioni di linguaggi logici: (1) analisi delle
\r\ntecniche di implementazione; (2) sviluppo di ambienti e strumenti di
\r\nprogrammazione per il linguaggio Prolog e per il linguaggio G\"odel; (3)
\r\nsviluppo di un prototipo di strumento CASE basato sull'integrazione di
\r\nlinguaggi logici e reti di Petri.
\r\n
\r\nArchitetture multiprocessore e sistemi concorrenti: (1) simulatore di tracce
\r\ndi esecuzione basato su un modello stocastico configurabile; (2) protocollo di acquisizione di risorse e rilevamento di condizioni di stallo in ambiente
\r\nmultiutente.
\r\n
\r\nMetodi e strumenti di progetto orientati agli oggetti: prototipo di strumento
\r\ndi analisi e progetto per sistemi distribuiti e in tempo reale, basato sul
\r\nlinguaggio UML.
\r\n
\r\nArchitetture GRID: (1) software GDMP (Grid Data Management Package) per la
\r\ngestione di dati nel progetto European Data Grid (EDG); (2) servizo di Replica Catalog in EDG; (3) strumenti di visualizzazione delle informazioni gestite da vari servizi middleware nel progetto Enabling Grids for E-Science in Europe (EGEE); (4) servizio di consistenza per dati replicati in EGEE; (5) analisi delle prestazioni del servizio di consistenza; (6) servizio di Storage Resource Manager (SRM, gestore di risorse di memorizzazione) in EGEE;
\r\n(7) metodi di testing per il servizio di SRM; (8) estensione del meccanismo di allocazione di risorse in EGEE, per tener conto di requisiti di affidabilita`; (9) sviluppo di un sistema efficiente per fornire servizi di calcolo ad alta disponibilita`.
\r\n
\r\nMetodi formali di specifica: (1) strumento per la generazione di codice
\r\nconcorrente partendo da specifiche formali basate sul modello degli automi
\r\ncomunicanti; (2) strumento per la simulazione di logiche digitali di controllo basato su specifiche in un linguaggio logico di ordine superiore; (3) strumento per l'analisi e simulazione di emph{soft errors} negli FPGA, basato su Stochastic Activity Networks; (4) identificazione di guasti non eccitabili con metodi di emph{model-checking}.
\r\n
\r\nAttivita` didattica
\r\n
\r\nEsercitazioni nel corso di Calcolatori Elettronici presso la Facolta` di
\r\nIngegneria dell'Universit`a di Pisa, 1992 - 1995.
\r\n
\r\nCorsi interni e cicli di lezioni presso la SSSUP S. Anna, 1992 - 2000.
\r\n
\r\nDocenza di Ingegneria del Software nei corsi del Consorzio Universitario in
\r\nIngegneria della Qualita`, maggio 1998.
\r\n
\r\nCorso di Ingegneria del Software presso la Facolta` di Ingegneria
\r\ndell'Universit`a di Pisa, a titolo di supplente dall'a.a. 1995-96 al 1999-2000, in affidamento nell'a.a. 2000-2001.
\r\n
\r\nDocenza su ``Introduction to Software Engineering'' nell'ambito dello
\r\n``International Master in Software Engineering'' presso la SSSUP S. Anna, Pisa, anni 2002, 2004, 2006, 2007.Corso di Ingegneria dei Sistemi Software, in affidamento dall'a.a. 2001-02
\r\nall'a.a. 2011-2012.
\r\n
\r\nCorso di Ingegneria del Software, in affidamento, a.a. 2012-2013.
\r\n
\r\nSupervisione di tre tesi di dottorato e numerose tesi di laurea.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"Martedi 9:30 - 12:30\nDIIEIT, Sez. Informatica, L.go Lucio Lazzarino","unipi-persone-luogo-ricevimento":"","unipi-persone-ore-ricevimento":"","unipi-persone-telefono":"","unipi-persone-sitoweb":"","unipi-persone-cariche":"","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=09435 ","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=09435 &tmplt=principale.tpl","unipi-persone-settore-scientifico":"","unipi-persone-ruolo":"Docente Esterno","unipi-persone-arpi":"https:\/\/arpi.unipi.it\/cris\/rp\/rp13635","unipi-persone-pubblicazioni":"