CURRICULUM VITAE DI FRANCESCO TIEZZI

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "CURRICULUM VITAE DI FRANCESCO TIEZZI"

Transcript

1 CURRICULUM VITAE DI FRANCESCO TIEZZI Dichiarazione sostitutiva di certificazioni (Art.46 del D.P.R. 28 dicembre 2000, n. 445) Dichiarazione sostitutiva dell atto di notorietà (Art. 47 del D.P.R. 28 dicembre 2000, n. 445) Il sottoscritto Francesco Tiezzi nato ad Arezzo il 08/10/1978, residente in Lucca, e domiciliato in Lucca, via Fontana n. 10, 55100, a conoscenza di quanto prescritto dall art. 76 del D.P.R. 28 dicembre 2000, n. 445, sulla responsabilità penale cui può andare incontro in caso di falsità in atti e di dichiarazioni mendaci, ai sensi e per gli effetti del citato D.P.R. n. 445/2000 e sotto la propria personale responsabilità: DICHIARA che quanto affermato e riportato nel curriculum corrisponde al vero. Letto, confermato e sottoscritto. Lucca, 12 luglio 2014 IL DICHIARANTE Informazioni personali Cognome e nome Indirizzo Via Fontana 10, Lucca Telefono Web Nazionalità Italiana Data di nascita 08 Ottobre 1978 Posizione corrente Ricercatore universitario a tempo determinato (art. 24 comma 3-a L. 240/10) Recapito ufficio IMT Institute for Advanced Studies Lucca Piazza S. Ponziano, Lucca (LU) - Italia Tel: Fax: Pagina 1 - Curriculum vitæ di

2 Istruzione, formazione e attività di ricerca Ricercatore a tempo determinato Assegno di ricerca Collaborazione Da Marzo Posizione di Assistant Professor (ricercatore a tempo determinato) nell area tecnologica INF/01 presso IMT Alti Studi Lucca, unità di ricerca SysMA (http://sysma.lab.imtlucca.it/). L attività di ricerca è incentrata sullo sviluppo di basi formali, metodologie di ingegneria del software e strumenti per la specifica, l analisi e la programmazione di sistemi complessi, concorrenti, distribuiti e software-intensive. Parte di tale attività rientra nell ambito dei progetti di ricerca europei ASCENS e QUANTICOL, dove sono presi in esame sistemi la cui caratteristica distintiva è la capacità di gestire se stessi al fine di adattarsi, dinamicamente e autonomamente, al variare delle condizioni dell ambiente e/o dei requisiti che devono soddisfare. Marzo 2010 / Febbraio Assegno di ricerca nell area tecnologica INF/01 presso il Dipartimento di Sistemi e Informatica dell Università degli Studi di Firenze. L attività di ricerca svolta si è incentrata sullo studio di diverse tecniche per la realizzazione di applicazioni software in grado di adattare il proprio comportamento al presentarsi di nuovi requisiti e/o condizioni dell ambiente di esecuzione. Gennaio / Febbraio Collaborazione occasionale con il Dipartimento di Sistemi e Informatica dell Università degli Studi di Firenze, finanziata dal progetto di ricerca europeo SENSORIA (Software Engineering for Service-Oriented Overlay Computers, IST ). L obbiettivo di questa collaborazione è stato lo sviluppo di uno strumento software, basato su metodi formali, per l analisi di specifiche UML di sistemi orientati ai servizi. Assegno di ricerca Dottorato Scuole di dottorato Gennaio 2009 / Dicembre Assegno di ricerca nell area tecnologica INF/01 presso il Dipartimento di Sistemi e Informatica dell Università degli Studi di Firenze, finanziato dal progetto di ricerca europeo SENSORIA. L attività di ricerca svolta ha riguardato lo studio di diverse tecniche di analisi per calcoli di processo orientati ai servizi definiti nel progetto SENSORIA e nel loro utilizzo per l analisi di alcuni dei casi di studio proposti dalle diverse unità del progetto. Gennaio 2006 / Dicembre Dottorato di ricerca in Informatica e Applicazioni presso il Dipartimento di Sistemi e Informatica dell Università degli Studi di Firenze, sotto la supervisione del Prof. Rosario Pugliese. L attività di ricerca svolta si è incentrata sulla definizione di basi formali e rigorose per le tecnologie relative ai servizi Web e al Service-Oriented Computing.Tale attività rientrava anche nell ambito del progetto europeo SENSORIA. Durante il dottorato, una parte dell attività di ricerca (da Febbraio ad Aprile 2008), è stata effettuata presso il Department of Computing dell Imperial College di Londra in collaborazione con la Dr. Nobuko Yoshida. Titolo tesi: Specification and Analysis of Service-Oriented Applications Relatore: Prof. Rosario Pugliese Revisori: Prof. Mariangiola Dezani e Dr. Kohei Honda Discussione: 30 Aprile Settembre SEFM School 2010, Advanced applications of model-checking techniques, Pisa, Italia Luglio Summer School in Advances in Software Engineering, Lipari, Italia Agosto International Summer School GLOBAN 2006, The Global Computing Approach to Analysis of Systems, Lyngby, Danimarca. Pagina 2 - Curriculum vitæ di

3 Collaborazione Laurea Aprile/Dicembre Collaborazione coordinata e continuativa con il Dipartimento di Sistemi e Informatica dell Università degli Studi di Firenze. L obbiettivo di questa collaborazione è stato lo studio di alcune tecnologie per il l orchestrazione di servizi Web e la definizione di relativi linguaggi formali. Gennaio Laurea quinquennale in Informatica, vecchio ordinamento, presso l Università degli Studi di Firenze, con la votazione di 110/110 con lode. Titolo tesi: Assiomatizzazione di equivalenze comportamentali per calcoli basati su KLAIM. Relatore: Prof. Rosario Pugliese Attività scientifica ABILITAZIONI Abilitazione Scientifica Nazionale per Professore universitario di seconda fascia (Professore associato), settore Informatica-01/B1, tornata 2012, validità: dal 29/01/2014 al 29/01/2018. INTERESSI DI RICERCA L attività di ricerca di Tiezzi è incentrata sullo studio fondazionale dei sistemi distribuiti, concorrenti e reattivi, e sull applicazione di metodi formali per lo sviluppo ed analisi di tali sistemi. Particolare attenzione è rivolta alla definizione di basi formali e rigorose per Service-Oriented Computing (SOC) e Autonomic Computing (AC). Alcuni risultati di questa attività di ricerca sono: la definizione di linguaggi formali per la specifica di applicazioni SOC [C1, C2, C3, RE1, RE4, C7, R6, T1] e lo sviluppo di relative tecniche di analisi [C4, C5, L1, C8, RE8, R4, R8], anche supportate da strumenti software [R3, R8, L2]; in particolare, il calcolo di processo COWS (a Calculus for Orchestration of Web Services [C2, R6], ha assunto un ruolo di rilievo tra i linguaggi progettati, in quanto è stato oggetto di collaborazioni con altri gruppi di ricerca ed è stato utilizzato da altri ricercatori nei propri lavori; lo sviluppo di linguaggi e modelli per la programmazione di applicazioni SOC [C6] e dei relativi strumenti software di supporto all implementazione [C10, R2]; in particolare, è stato definito Blite [C6] (http://rap.dsi.unifi.it/blite), un linguaggio di orchestrazione ispirato a WS-BPEL; lo sviluppo di un approccio formale per la programmazione di sistemi AC [R11]; in particolare, sono stati definiti il linguaggio SCEL [R11] (http://rap.dsi.unifi.it/ scel) e il relativo ambiente di esecuzione jresp (http://jresp.sourceforge.net/). Attualmente, l attività di ricerca di Tiezzi è focalizzata su: linguaggi e modelli per la specifica e la programmazione di applicazioni SOC [T1, C12, R5, C26]; specifica e verifica di proprietà di applicazioni SOC [T1]; studio dell espressività relativa di calcoli di processo [RE5]; linguaggi e tipi per reversible computing [RE9]; analisi di proprietà di sicurezza di protocolli di comunicazione per lo scambio di dati sanitari [C9, C11, C13, R7, C18]; formalizzazione ed implementazione di meccanismi per il controllo degli accessi [C15, C16, C18, C21, C23]; specifica e analisi di sistemi di trust e reputazione [C19, C20, C26, C27]; formalizzazione di sistemi Mobile Cloud Computing [C25]; linguaggi e meccanismi per la specifica e la programmazione di applicazioni self-adaptive [C14, C17, R9, C22, C24, C23, R11, C28, C29, C30]. Pagina 3 - Curriculum vitæ di

4 PARTECIPAZIONE A PROGETTI DI RICERCA SENSORIA (Software Engineering for Service-Oriented Overlay Computers, finanziato dall Unione Europea ( ); DISCO (Distribution, Interaction, Specification, Composition for Object Systems, finanziato dal Ministero dell Istruzione, dell Università e della Ricerca, nell ambito dei Programmi di ricerca di Rilevante Interesse Nazionale ( ); ASCENS (Autonomic service-component ensemble, finanziato dall Unione Europea ( ); CINA (Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura) finanziato dal Ministero dell Istruzione, dell Università e della Ricerca, nell ambito dei Programmi di ricerca di Rilevante Interesse Nazionale ( ); QUANTICOL (A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours, finanziato dall Unione Europea ( ). SEMINARI E PRESENTAZIONI Vari seminari tenuti al Dipartimento di Sistemi e Informatica dell Università degli Studi di Firenze. Seminario dal titolo COWS: a Calculus for Orchestration of Web Services tenuto al Queen Mary, University of London, e seminario dal titolo Causal- Consistent Reversibility in a Tuple-Based Distributed Language tenuto al Department of Computing, Imperial College London. Presentazioni alle seguenti conferenze internazionali e workshop: ICTAC 2007, FSEN 2007, WWV 2007, FASE 2008, COORDINATION 2008, PLACES 2008, ICALP 2009, SAC 2010, EXPRESS 2010, Healthcom 2011, TGC 2011, ESSoS 2012, SAC 2012, ICFEM 2012, PDP 2014, PLACES Presentazioni a numerosi meeting di progetti di ricerca, tra cui la presentazione dal titolo Using formal methods without knowing them alla review finale del progetto SENSORIA. ATTIVITÀ DI SUPPORTO A CONFERENZE E WORKSHOP Membro dello Steering Committee del International Workshop on Automated Specification and Verification of Web Systems (WWV). Program Chair di: WWV 2011 [RE6], parte del 6th International Federated Conferences on Distributed Computing Techniques (DisCoTec 2011), tenutosi il 9 giugno a Reykjavik (Islanda); WWV 2012 [RE7], affiliato a DisCoTec 2012, tenutosi il 16 giugno a Stoccolma (Svezia); 4th International Workshop on Modeling and Simulation of Peer-to-Peer and Autonomic Systems (MOSPAS 2014), parte del International Conference on High Performance Computing & Simulation (HPCS 2014), che si terrà a luglio 2014 a Bologna (Italia); 16th Special Track on Coordination Models, Languages and Applications del 30th ACM Symposium on Applied Computing (SAC 15), che si terrà ad aprile 2015 a Salamanca (Spagna). Publicity Chair degli eventi 8th International Federated Conferences on Distributed Computing Techniques (DisCoTec 2013, e 15th International Conference on Coordination Models and Languages (COORDINATION 2013, tenutosi a giugno 2013 a Firenze (Italia). Pagina 4 - Curriculum vitæ di

5 Membro dei comitati di programma delle seguenti conferenze e workshop internazionali: HEALTHINF 2011, INFOCOMP 2011, WWV 2011, HEALTHINF 2012, IN- FOCOMP 2012, WWV 2012, ICE 2012, FOCLASA 2012, SAC SOAP 2013, HEAL- THINF 2013, MOSPAS 2013, WWV 2013, FOCLASA 2013, INFOCOMP 2013, HEAL- THINF 2014, INFOCOMP 2014, SAC SOAP 2014, MOSPAS 2014, WWV 2014, GLOBAL HEALTH 2014, FOCLASA 2014, 2014, HEALTHINF 2015, SAC CM Revisore di conferenze internazionali, tra cui ACSD, CONCUR, COORDINATION, ECOWS, ESOP, FM, FACS, FASE, FMICS, FORTE, HEALTHINF, ICALP, ICFEM, ICSOFT, ICTAC, ifm, SAC, SASO, SEFM, TGC, WS-FM, WWV. Revisore di riviste internazionali, tra cui Computer Languages, Systems and Structures; Journal of Internet Services and Applications; Multiagent and Grid Systems; Science of Computer Programming; Service Oriented Computing and Applications; Software and Systems Modeling; The Computer Journal; Transactions on Petri Nets and Other Models of Concurrency. Guest Editor della special issue del Journal of Logic and Algebraic Programming (JLAP, Elsevier) intitolata Automated Specification and Verification of Web Systems [R10]. SOFTWARE L attività di ricerca svolta ha portato allo sviluppo dei seguenti strumenti software: Venus (A Verification ENvironment for UML models of Services, cows): Venus è uno strumento software che mira ad automatizzare il processo di verifica di servizi specificati con UML4SOA, nascondendo agli utenti il sottostante utilizzo di metodi formali. In questo modo, gli sviluppatori di servizi possono concentrarsi nella modellazione del comportamento di alto livello del sistema e usare Venus a livello intuitivo per analizzarlo. Venus prende in input modelli di servizi specificati tramite diagrammi di attività UML 2.0 conformi al profilo UML4SOA, mentre le sue basi teoriche sono il calcolo di processo COWS e la logica temporale SocL. Venus è composto da tre componenti principali: un interfaccia grafica, un traduttore automatico da UML4SOA a COWS e il model checker CMC. CMC (COWS Model Checker, CMC è uno strumento per la specifica e la verifica di termini COWS. In particolare, CMC è in grado di derivare tutte le computazioni di un termine COWS in modo automatico e consente il model checking di formule SocL. CMC è stato sviluppato in collaborazione con ISTI-CNR di Pisa. Una versione prototipale di CMC, implementata dal Dr. Franco Mazzanti, può essere utilizzata sia tramite un interfaccia web sia tramite l esecuzione in locale dei file binari (disponibili per le piattaforme Linux, Solaris, Windows e Mac OS X). Korc (Klaim-orc, Korc è un formalismo che mira a riconciliare il paradigma di orchestrazione di Orc con quello di coordinamento basato su spazi di tuple di Klaim. Un programma Korc consiste in un espressione Orc e un insieme di reti Klaim. Le espressioni sono arricchite con primitive che agiscono sugli spazi delle tuple dei nodi presenti nelle reti Klaim. Tali reti sono identificate da nomi e possono quindi essere riferite all interno delle espressioni. Un implementazione prototipale di supporto alla programmazione Korc è stata sviluppata sfruttando gli strumenti di compilazione e supporto a run-time di Klaim e Orc. BliteC (Blite Compiler, BliteC è uno strumento software progettato per supportare un rapido e facile sviluppo di applicazioni WS-BPEL. BliteC accetta in input una specifica scritta in Blite e genera il corrispondente programma WS-BPEL insieme al documento WSDL e al deployment descriptor ad esso associati. I file generati vengono opportunamente organizzati in archivi che possono essere immediatamente trasferiti ed eseguiti su un motore WS-BPEL. Pagina 5 - Curriculum vitæ di

6 NEVER (Network-aware Evaluation Environment for Reputation Systems, sysma.lab.imtlucca.it/tools/never): NEVER è uno strumento software che consente la definizione, implementazione e valutazione di sistemi di reputazione tenendo conto sia degli aspetti specifici di tali sistemi che degli ambienti di rete in cui verranno eseguiti. La valutazione network-aware dei sistemi di reputazione viene condotta tramite esperimenti eseguiti secondo opportuni parametri specificati dall utente. Attualmente, NEVER supporta modelli di reputazione basati sulla distribuzione beta e su maximum likelihood estimation, e anche alcune delle loro varianti. FACPL (Formal Access Control Policy Language, FACPL è un linguaggio formale per scrivere politiche di controllo degli accessi. È basato sullo standard OASIS XACML, ma al contempo ha solide basi matematiche, che rendono il linguaggio facile da imparare ed utilizzare. FACPL è fornito di un IDE dedicato, implementato come un plug-in di Eclipse, che supporta gli utenti nel processo di sviluppo di politiche, tramite caratteristiche quali l auto-completamento del codice, controlli sintattici, generazione automatica di codice XACML e di codice Java. Quest ultima caratteristica si basa su un compilatore che trasforma politiche FACPL in classi Java seguendo le regole della semantica formale di FACPL. Decisioni di accesso sono quindi calcolate eseguendo il codice Java delle politiche con il codice delle richieste di accesso passato come parametro. Attività didattica CORSI UNIVERSITARI October Corso di Software Engineering for Service-Oriented and Autonomic Systems (IMT Institute for Advanced Studies Lucca, 10 ore). Febbraio/Giugno Corso di Informatica (Università Europea di Roma, Laurea in Economia e Gestione Aziendale, 48 ore). Novembre Corso di Formal Methods in Computer Science (GSSI Gran Sasso Science Institute, L Aquila, 10 ore). Settembre Corso di Software Engineering and Service-Oriented Systems (IMT Institute for Advanced Studies Lucca, 10 ore). Febbraio/Giugno Corso di Informatica (Università Europea di Roma, Laurea in Economia e Gestione Aziendale, 48 ore). Aprile Corso di Formal Methods in Computer Science (IMT Institute for Advanced Studies Lucca, 10 ore). Settembre/Ottobre Corso di Software Engineering and Service-Oriented Systems (IMT Institute for Advanced Studies Lucca, 10 ore). Settembre/Dicembre Modulo di laboratorio all interno del corso di Sistemi Distribuiti e Reti di Calcolatori (Università degli Studi di Firenze, Laurea Magistrale in Informatica, 24 ore). Settembre/Dicembre Modulo di laboratorio all interno del corso di Sistemi Distribuiti e Reti di Calcolatori (Università degli Studi di Firenze, Laurea Magistrale in Informatica, 24 ore). Ottobre 2009 / Febbraio Modulo di laboratorio all interno del corso di Sistemi Distribuiti e Reti di Calcolatori (Università degli Studi di Firenze, Laurea Magistrale in Informatica, 24 ore). SCUOLE DI DOTTORATO Giugno Partecipazione al PhD Forum come membro del comitato di programma (AWASS Summer School 2013, IMT Lucca, Italy). Pagina 6 - Curriculum vitæ di

7 Settembre Lezione Applications in orchestration of web services - Specifying and analisying SOC applications with COWS (SEFM School 2010, CNR Pisa, Italy). CORSI DI FORMAZIONE Aprile/Giugno Corso di formazione World Wide Web e guida a Office 2007 presso MAROIL S.r.l. (38 ore). Aprile/Maggio Corso di formazione CSIAF (Centro Servizi Informatici dell Ateneo Fiorentino) JSP: Tecnologia Java per lo sviluppo di applicazioni web (32 ore). Ottobre/Dicembre Corso di formazione CSIAF (Centro Servizi Informatici dell Ateneo Fiorentino) sulle tecnologie utilizzate nel progetto PEOPLE (60 ore). TUTORAGGIO TESI Co-relatore di numerose tesi di laurea triennale, specialistica e quinquennale in Informatica, Università degli Studi di Firenze (Relatori Prof. Rosario Pugliese e Prof. Rocco De Nicola). Co-superviore della tesi di dottorato di Massimiliano Masi (Università degli Studi di Firenze, XXIII Ciclo, SSD INF/01, Supervisore Prof. Rosario Pugliese) e della tesi di dottorato di Alessandro Celestini (IMT Lucca, XXV Ciclo, SSD INF/01, Supervisore Prof. Rocco De Nicola). Attualmente supervisore di tre studenti di dottorato presso IMT Lucca: Rafael Brundo Uriarte (XXVII Ciclo), Andrea Morichetta (XXVIII Ciclo) e Van Tien Hoang (XXIX Ciclo). Capacità e competenze personali CONOSCENZE LINGUISTICHE Madrelingua Italiano. Ottima conoscenza della lingua inglese parlata e scritta certificata dal English for Speakers of Other Languages of University of Cambridge (livello FCE). Conoscenza scolastica della lingua francese. CAPACITÀ E COMPETENZE RELAZIONALI I tre anni di dottorato, l attività di ricerca svolta presso il Dipartimento di Sistemi e Informatica di Firenze e il gruppo SysMA di IMT Lucca, la partecipazione a numerosi workshop e conferenze internazionali, e la pluriennale esperienza in progetti nazionali e internazionali, mi hanno consentito di acquisire dinamicità e capacità relazionali adatte a vari tipi di situazioni e interlocutori. CAPACITÀ E COMPETENZE TECNICHE Buona conoscenza di: Java e tecnologie correlate (Servlet, JSP,... ); Web Services e tecnologie correlate (HTML, XML, XSD, DTD, SOAP, WSDL, WS-BPEL,... ); linguaggi C, C++, SQL, PHP, Pascal, Matlab, Latex; sistemi operativi Windows, Linux e Mac OS X; Microsoft Office e OpenOffice. Pubblicazioni con recensione RIVISTE INTERNAZIONALI [R11] A formal approach to autonomic systems programming: The SCEL Language. R. De Nicola, M. Loreti, R. Pugliese, F. Tiezzi. Transactions on Autonomous and Adaptive Systems. ACM Press, In corso di pubblicazione. [R10] Special issue on Automated Specification and Verification of Web Systems. L. Kovács, R. Pugliese, J. Silva, F. Tiezzi. Journal of Logic and Algebraic Programming, volume 82, numero 8, pagg Elsevier, (doi: /j.jlap ) [R9] Modeling Adaptation with Klaim. E. Gjondrekaj, M. Loreti, R. Pugliese, F. Tiezzi. SIGAPP Applied Computing Review, volume 12, numero 4, pagg ACM Press, (doi: / ) Pagina 7 - Curriculum vitæ di

8 [R8] A Logical Verification Methodology for Service-Oriented Computing. A. Fantechi, S. Gnesi, A. Lapadula, F. Mazzanti, R. Pugliese, F. Tiezzi. ACM Transactions on Software Engineering and Methodology, volume 21, numero 3, pagg. 16:01-16:46. ACM Press, (doi: / ) [R7] Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. M. Masi, R. Pugliese, F. Tiezzi, Journal of Medical Systems, volume 36, numero 6, pagg Springer, (doi: /s ) [R6] A Calculus for Orchestration of Web Services. R. Pugliese, F. Tiezzi. Journal of Applied Logic, volume 10, numero 1, pagg Elsevier, (doi: /j.jal ) [R5] Using formal methods to develop WS-BPEL applications. A. Lapadula, R. Pugliese, F. Tiezzi. Science of Computer Programming, volume 77, numero 3, pagg Elsevier, (doi: /j.scico ) [R4] A WSDL-based type system for asynchronous WS-BPEL processes. L. Lapadula, R. Pugliese, F. Tiezzi. Formal Methods in System Design, volume 38, numero 2, pagg Springer, (doi: /s ) [R3] An Accessible Verification Environment for UML Models of Services. F. Banti, R. Pugliese, F. Tiezzi. Journal of Symbolic Computation, volume 46, numero 2, pagg Elsevier, (doi: /j.jsc ) [R2] A tool for rapid development of WS-BPEL applications. L. Cesari, R. Pugliese, F. Tiezzi. SIGAPP Applied Computing Review, volume 11, numero 1, pagg ACM Press, (doi: / ) [R1] TAPAs: a Tool for the Analysis of Process Algebras. F. Calzolai, R. De Nicola, M. Loreti, F. Tiezzi. Transactions on Petri Nets and Other Models of Concurrency, volume 1, LNCS 5100, pagg Springer, (doi: / _4) RIVISTE INTERNAZIONALI ELETTRONICHE [RE9] Towards Reversible Sessions. F. Tiezzi, N. Yoshida. In Proc. of 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014), volume 155 di EPTCS, pagg (doi: /EPTCS.155.3) [RE8] Blind-date Conversation Joining. L. Cesari, R. Pugliese, F. Tiezzi. In Proc. of 9th International Workshop on Automated Specification and Verification of Web Systems (WWV 2013), volume 123 di EPTCS, pagg (doi: /EPTCS.123.3) [RE7] Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). J. Silva, F. Tiezzi. Volume 98 di EPTCS, (doi: /EPTCS.98) [RE6] Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). L. Kovács, R. Pugliese, F. Tiezzi. Volume 61 di EPTCS, (doi: /EPTCS.61) [RE5] A criterion for separating process calculi. F. Banti, R. Pugliese, F. Tiezzi. In Proc. of 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), volume 41 di EPTCS, pagg , (doi: /EPTCS.41.2) [RE4] A Symbolic Semantics for a Calculus for Service-Oriented Computing. R. Pugliese, F. Tiezzi, N. Yoshida. In Proc. of 1st Programming Language Approaches to Concurrency and Communication-cEntric Software (PLA- CES 08), volume 241 di ENTCS, pagg Elsevier, (doi: /j.entcs ) Pagina 8 - Curriculum vitæ di

9 [RE3] From Architectural to Behavioural Specification of Services. L. Bocchi, J.L. Fiadeiro, A. Lapadula, R. Pugliese, F. Tiezzi. In Proc. of 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 09), volume 253/1 di ENTCS, pagg Elsevier, (doi: /j.entcs ) [RE2] Specification and analysis of SOC systems using COWS: A finance case study. F. Banti, A. Lapadula, R. Pugliese, F. Tiezzi. In Proc. of 4th International Workshop on Automated Specification and Verification of Web Systems (WWV 08), volume 235 di ENTCS, pagg Elsevier, (doi: /j.entcs ) [RE1] Service discovery and negotiation with COWS. A. Lapadula, R. Pugliese, F. Tiezzi. In Proc. of 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 07), volume 200/3 di ENTCS, pagg Elsevier, (doi: /j.entcs ) CAPITOLI DI LIBRI [L2] The Sensoria Approach Applied to the Finance Case Study. S. Gnesi, R. Pugliese, F. Tiezzi. In Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (M. Wirsing, M. Hölzl, Eds.), LNCS 6582, pagg Springer, (doi: / _34) [L1] Specifying and Analysing SOC Applications with COWS. A. Lapadula, R. Pugliese, F. Tiezzi. In Concurrency, Graphs and Models (P. Degano, R. De Nicola, J. Meseguer, Eds.), LNCS 5065, pagg Springer, (doi: / _43) ATTI DI CONFERENZE INTERNAZIONALI [C30] On Programming and Policing Autonomic Computing Systems. M. Loreti, A. Margheri, R. Pugliese, F. Tiezzi. In Proc. of 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2014), LNCS. Springer, In corso di pubblicazione. [C29] Self-expression and Dynamic Attribute-based Ensembles in SCEL. G. Cabri, N. Capodieci, L. Cesari, R. De Nicola, R. Pugliese, F. Tiezzi, F. Zambonelli. In Proc. of 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2014), LNCS. Springer, In corso di pubblicazione. [C28] Programming and Verifying Component Ensembles. R. De Nicola, A. Lluch Lafuente, M. Loreti, A. Morichetta, R. Pugliese, V. Senni, F. Tiezzi. In Proc. of ETAPS Workshop From Programs to Systems (FPS 2014), volume 8415 di LNCS, pagg Springer, (doi: / _5) [C27] Reputation-based Cooperation in the Clouds. A. Celestini, A. Lluch Lafuente, P. Mayer, S. Sebastio, F. Tiezzi. In Proc. of 8th IFIP WG International Conference on Trust Management (IFIPTM 2014), volume 430 di IFIP AICT, pagg Springer, (doi: / _15) [C26] Reputation-based Composition of Social Web Services. A. Celestini, G. Costantino, R. De Nicola, Z. Maamar, F. Martinelli, M. Petrocchi, F. Tiezzi. In Proc. of 28th IEEE International Conference on Advanced Information Networking and Applications (AINA 2014), pagg IEEE, (doi: /AINA ) [C25] Towards a Formal Approach to Mobile Cloud Computing. M. Amoretti, A. Grazioli, V. Senni, F. Tiezzi, F. Zanichelli. In Proc. of 22nd EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP 2014), pagg IEEE, (doi: /PDP ) Pagina 9 - Curriculum vitæ di

10 [C24] Formalising Adaptation Patterns for Autonomic Ensembles. L. Cesari, R. De Nicola, R. Pugliese, M. Puviani, F. Tiezzi, F. Zambonelli. In Proc. of 10th International Symposium on Formal Aspects of Component Software (FACS 2013), volume 8348 di LNCS, pagg Springer, (doi: / _8) [C23] Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. A. Margheri, R. Pugliese, F. Tiezzi. In Proc. of 10th IEEE International Conference on Autonomic and Trusted Computing (ATC 2013), pagg IEEE, (doi: /UIC-ATC ) [C22] The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. P. Mayer, A. Klarl, R. Hennicker, M. Puviani, F. Tiezzi, R. Pugliese, J. Keznikl, T. Bures. In Proc. of 7th International Conference on Self-Adaptation and Self- Organizing Systems Workshops (SASOW 2013), pagg IEEE, (doi: /SASOW ) [C21] Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: A Practical Approach. A. Margheri, M. Masi, R. Pugliese, F. Tiezzi. In Proc. of 10th International Workshop on Web Services and Formal Methods (WS-FM 2013), volume 8379 di LNCS, pagg Springer, (doi: / _6) [C20] Network-aware Evaluation Environment for Reputation Systems. A. Celestini, R. De Nicola, F. Tiezzi. In Proc. of 7th IFIP WG International Conference on Trust Management (IFIPTM 2013), volume 401 di IFIP AICT, pagg Springer, (doi: / _17) [C19] Specifying and Analysing Reputation Systems with Coordination Languages. A. Celestini, R. De Nicola, F. Tiezzi. In Proc. of 28th Symposium On Applied Computing (SAC 2013), pagg , ACM Press, (doi: / ) [C18] On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. A. Margheri, M. Masi, R. Pugliese, F. Tiezzi. In Proc. of 6th International Conference on Health Informatics (HEALTHINF 2013). SciTePress, (doi: / ) [C17] Towards a Formal Verification Methodology for Collective Robotic Systems. E. Gjondrekaj, M. Loreti, R. Pugliese, F. Tiezzi, C. Pinciroli, M. Brambilla, M. Birattari, M. Dorigo. In Proc. of 14th International Conference on Formal Engineering Methods (ICFEM 2012), volume 7635 di LNCS, pagg Springer, (doi: / ) [C16] Towards Model-Driven Development of Access Control Policies for Web Applications. M. Busch, N. Koch, M. Masi, R. Pugliese, F. Tiezzi. In Proc. of 1st International Workshop on Model-Driven Security (MDsec 2012), Articolo No. 4, ACM Press, (doi: / ) [C15] Formalisation and Implementation of the XACML Access Control Mechanism. M. Masi, R. Pugliese, F. Tiezzi. In Proc. of 2nd International Symposium on Engineering Secure Software and Systems (ESSoS 2012), volume 7159 di LNCS, pagg Springer, (doi: / _7) [C14] Modeling adaptation with a tuple-based coordination language. E. Gjondrekaj, M. Loreti, R. Pugliese, F. Tiezzi. In Proc. of 27th Symposium On Applied Computing (SAC 2012), pagg , ACM Press, (doi: / ) [C13] e-health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. M. Masi, R. Pugliese, F. Tiezzi. In Proc. of 3rd International IC- ST Conference on e-infrastructure and e-services for Developing Countries (AFRICOMM 2011), volume 92 di LNICST, pagg Springer, (doi: / _18) [C12] Orchestrating Tuple-based Languages. R. De Nicola, A. Margheri, F. Tiezzi. In Proc. of 6th International Symposium on Trustworthy Global Computing (TGC 2011), volume 7173 di LNCS, pagg Springer, (doi: / _10) Pagina 10 - Curriculum vitæ di

11 [C11] A standard-driven communication protocol for disconnected clinics in rural areas. M. Masi, R. Pugliese, F. Tiezzi. In Proc. of 13th IEEE International Conference on e-health Networking, Application Services (Healthcom 11), pagg IEEE, (doi: /HEALTH ) [C10] A tool for rapid development of WS-BPEL applications. L. Cesari, A. Lapadula, R. Pugliese, F. Tiezzi. In Proc. of 25th Symposium On Applied Computing (SAC 2010), pagg ACM Press, (doi: / ) [C9] On secure implementation of an IHE XUA-based protocol for authenticating healthcare professionals. M. Masi, R. Pugliese, F. Tiezzi. In Proc. of 5th International Conference on Information Systems Security (ICISS 09), volume 5905 di LNCS, pagg Springer, (doi: / _6) [C8] On observing dynamic prioritised actions in SOC. R. Pugliese, F. Tiezzi, N. Yoshida. In Proc. of 36th International Colloquium on Automata, Languages and Programming (ICALP 09), volume 5556 di LNCS, pagg Springer, (doi: / _46) [C7] SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. M. Wirsing, et al. In Proc. of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 08), volume 17 di Communications in Computer and Information Science, pagg Springer, (doi: / _13) [C6] A formal account of WS-BPEL. A. Lapadula, R. Pugliese, F. Tiezzi. In Proc. of 10th International conference on Coordination Models and Languages (COORDINATION 08), volume 5052 di LNCS, pagg Springer, (doi: / _13) [C5] A model checking approach for verifying COWS specifications. A. Fantechi, S. Gnesi, A. Lapadula, F. Mazzanti, R. Pugliese, F. Tiezzi. In Proc. of 11th International Conference on Fundamental Approaches to Software Engineering (FASE 08), volume 4961 di LNCS, pagg Springer, (doi: / _17) [C4] Regulating data exchange in service oriented applications. A. Lapadula, R. Pugliese, F. Tiezzi. In Proc. of 2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 07), volume 4767 di LNCS, pagg Springer, (doi: / _15) [C3] C WS: A timed service-oriented calculus. A. Lapadula, R. Pugliese, F. Tiezzi. In Proc. of 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 07), volume 4711 di LNCS, pagg Springer, (doi: / _19) [C2] Calculus for Orchestration of Web Services. A. Lapadula, R. Pugliese, F. Tiezzi. In Proc. of 16th European Symposium on Programming (ESOP 07), volume 4421 di LNCS, pagg Springer, (doi: / _4) [C1] A WSDL-based type system for WS-BPEL. A. Lapadula, R. Pugliese, F. Tiezzi. In Proc. of 8th International Conference on Coordination Models and Languages (COORDINATION 06), volume 4038 di LNCS, pagg Springer, (doi: / _10) ALTRE PUBBLICAZIONI [A3] BliteC: a tool for developing WS-BPEL applications. L. Cesari, R. Pugliese, F. Tiezzi. In Proc. of 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010), Poster and Tool Demo Session (F. Mazzanti, G. Trentanni, Eds.), ISBN , pagg CNR Pisa, Pagina 11 - Curriculum vitæ di

12 [A2] Towards a Framework for the Verification of UML Models of Services. F. Banti, R. Pugliese, F. Tiezzi. In 5th Int l Workshop on Automated Specification and Verification of Web Systems (WWV 09), pagg , 2009 (url: risc.jku.at/publications/download/risc_3852/wwv-2009-proceedings.pdf). [A1] TAPAs: a Tool for the Analysis of Process Algebras. F. Calzolai, R. De Nicola, M. Loreti, F. Tiezzi. In 2nd Workshop on Teaching Concurrency (TeaConc 07), TESI DI DOTTORATO [T1] Specification and Analysis of Service-Oriented Applications. F. Tiezzi. Tesi di Dottorato in Informatica e Applicazioni (XXI ciclo), Biblioteche Nazionali di Roma e Firenze, Ai sensi e per gli effetti di cui alla legge 196/2003 e successive modificazioni autorizzo il trattamento dei miei dati personali ai fini connessi alla gestione del presente curriculum vitae. Lucca, 12 luglio 2014 Francesco Tiezzi Pagina 12 - Curriculum vitæ di

Curriculum di Jeremy James SPROSTON

Curriculum di Jeremy James SPROSTON Studi Curriculum di Jeremy James SPROSTON 1996-2001: PhD in Computer Science, School of Computer Science dell Università di Birmingham, Regno Unito, con tesi: Model Checking of Probabilistic Timed and

Dettagli

F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E

F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome ANISETTI MARCO Indirizzo Vicolo Piave 7 26010 Pianengo (Cr) Telefono 328-7016227 Fax E-mail marco.anisetti@unimi.it

Dettagli

Paolo Perlasca. Istruzione e formazione. Esperienza professionale. Attività di ricerca. Attività didattica

Paolo Perlasca. Istruzione e formazione. Esperienza professionale. Attività di ricerca. Attività didattica Paolo Perlasca Dipartimento di Informatica, Indirizzo: via Comelico 39/41, 20135 Milano Telefono: 02-503-16322 Email: paolo.perlasca@unimi.it Paolo Perlasca è ricercatore universitario confermato presso

Dettagli

Curriculum Vitae di Andrea Ribichini

Curriculum Vitae di Andrea Ribichini Dati Anagrafici Nome: Andrea Cognome: Ribichini Data e luogo di nascita: 14/01/1973, Roma Cittadinanza: italiana Titoli di Studio Conseguiti 29/02/2008 Titolo di Dottore di Ricerca in Ingegneria Informatica

Dettagli

FORMATO EUROPEO PER IL

FORMATO EUROPEO PER IL FORMATO EUROPEO PER IL CURRICULUM VITAE Autorizzo il trattamento dei miei dati personali ai sensi della Legge 675/96 Ing. jr. Giambruno Alessandro INFORMAZIONI PERSONALI Nome Giambruno Alessandro Indirizzo

Dettagli

Nuovo Corso di laurea magistrale in Ingegneria Informatica AA14-15. http://www.dis.uniroma1.it/~ccl_ii/site/

Nuovo Corso di laurea magistrale in Ingegneria Informatica AA14-15. http://www.dis.uniroma1.it/~ccl_ii/site/ Nuovo Corso di laurea magistrale in Ingegneria Informatica AA14-15 http://www.dis.uniroma1.it/~ccl_ii/site/ Laurea Magistrale L obiettivo della laurea magistrale in Ingegneria informatica (Master of Science

Dettagli

Curriculum Vitae et Studiorum

Curriculum Vitae et Studiorum Curriculum Vitae et Studiorum Claudio Guidi Dati Personali Nome e Cognome Claudio Guidi Luogo e Data di Nascita Cesena, 18 agosto 1974 Residenza Via Parataglio 2201, 47023 Cesena Tel. 392 1933049 Email

Dettagli

Curriculum Vitae Scientifico

Curriculum Vitae Scientifico Curriculum Vitae Scientifico Marco Berardi Nome: Marco; cognome: Berardi; data di nascita: 11 settembre 1980; cittadinanza: italiana; stato civile: coniugato; uff.: Ricerche. stanza 60a, I piano, Istituto

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Europass Informazioni personali Cognome/i nome/i Indirizzo/i Gallo Francesco DISIM - Dipartimento di Ingegneria e Scienze dell Informazione e Matematica, Università dell Aquila, Via Vetoio

Dettagli

Curriculum Vitae di ENRICO NARDELLI

Curriculum Vitae di ENRICO NARDELLI Curriculum Vitae di ENRICO NARDELLI (Versione Abbreviata) Ultimo Aggiornamento: 24 Febbraio 2011 1 Posizioni Enrico Nardelli si è laureato nel 1983 in Ingegneria Elettronica (110/110 con lode) presso l

Dettagli

RELAZIONE ANNUALE CONSUNTIVA

RELAZIONE ANNUALE CONSUNTIVA RELAZIONE ANNUALE CONSUNTIVA PROGRAMMA DI RICERCA SETTORE Legge 449/97 SETTORE: Strumenti, Ambienti e Applicazioni per la Società dell Informazione PROGETTO: SP1 Reti Internet: efficienza, integrazione

Dettagli

Curriculum Vitae - Alessandra Rizzardi

Curriculum Vitae - Alessandra Rizzardi Curriculum Vitae - Alessandra Rizzardi Dati personali Nome: Cognome: E-mail: Nazionalità: Alessandra Rizzardi mail@alessandrarizzardi.com Italiana Titoli di studio Dall'anno accademico 2011-2012 all'anno

Dettagli

DANIELE VARACCA. Curriculum vitæ 30/11/2006. Parigi 75012 175 Rue de Chevaleret

DANIELE VARACCA. Curriculum vitæ 30/11/2006. Parigi 75012 175 Rue de Chevaleret DANIELE VARACCA Curriculum vitæ 30/11/2006 Indirizzo Ufficio Casa PPS - Universit Paris 7 Parigi 75012 175 Rue de Chevaleret tel +33 6 31177034 (mobile) 75013 Paris tel +33 1 44273755 http://www.pps.jussieu.fr/~varacca

Dettagli

Da Settembre 2010 Oggi. Go Project srl via Alessandria 88, Roma. Inail Istituto Nazionale Infortuni sul Lavoro

Da Settembre 2010 Oggi. Go Project srl via Alessandria 88, Roma. Inail Istituto Nazionale Infortuni sul Lavoro F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E Qualifica: INFORMAZIONI PERSONALI Nome Nazionalità italiana Data di nascita 08/10/1974 ESPERIENZA LAVORATIVA Date (da a) Da Settembre

Dettagli

Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione. Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione

Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione. Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione Ugo Montanari Dipartimento di Informatica, Università di Pisa 0 Roadmap Perchè i linguaggi? Che cosa sono i linguaggi? Esempio: i numeri

Dettagli

Curriculum dell'attività scientifica e didattica di Felice Cardone

Curriculum dell'attività scientifica e didattica di Felice Cardone Curriculum dell'attività scientifica e didattica di Felice Cardone Indirizzo Dipartimento di Informatica Università di Torino Corso Svizzera 185 10149 Torino e-mail: felice@di.unito.it pagina web: http://www.di.unito.it/~felice

Dettagli

SILVIA MICHELI. Curriculum Vitae

SILVIA MICHELI. Curriculum Vitae SILVIA MICHELI Curriculum Vitae DATI PERSONALI Indirizzo: Via A. Pascoli 20 06123 Perugia (PG), Italia Tel.: +39 075 585 5208 e-mail: silviamicheli4@gmail.com POSIZIONE ATTUALE 01/02/2014 in corso Università

Dettagli

Dario Trevisan Curriculum dell attività scientifica e didattica

Dario Trevisan Curriculum dell attività scientifica e didattica Dario Trevisan Curriculum dell attività scientifica e didattica Il sottoscritto nato il Dario Trevisan 15 giugno 1987, a Mirano (VE) consapevole delle sanzioni penali richiamate dagli artt. 75 e 76 del

Dettagli

Residenza: Via Rio Rosso n 73 Milazzo (ME) Domicilio: Via Vitaliano Brancati n 32 Gravina di Catania (CT) Esente dagli obblighi di leva

Residenza: Via Rio Rosso n 73 Milazzo (ME) Domicilio: Via Vitaliano Brancati n 32 Gravina di Catania (CT) Esente dagli obblighi di leva CURRICULUM VITAE INFORMAZIONI PERSONALI Nome e Cognome Indirizzo Stefano D Amico Residenza: Via Rio Rosso n 73 Milazzo (ME) Domicilio: Via Vitaliano Brancati n 32 Gravina di Catania (CT) Telefono Cellulare:

Dettagli

Appunti del corso di Informatica Generale 1 (IN110 Fondamenti) 1 Presentazione del corso

Appunti del corso di Informatica Generale 1 (IN110 Fondamenti) 1 Presentazione del corso Università Roma Tre Dipartimento di Matematica e Fisica Corso di Laurea in Matematica Appunti del corso di Informatica Generale 1 (IN110 Fondamenti) 1 Presentazione del corso Prof. Marco Liverani (liverani@mat.uniroma3.it)

Dettagli

CURRICULUM'VITAE'ET'STUDIORUM''/'PROF.'ING.'VINCENZO'GALDI'

CURRICULUM'VITAE'ET'STUDIORUM''/'PROF.'ING.'VINCENZO'GALDI' CURRICULUM'VITAE'ET'STUDIORUM''/'PROF.'ING.'VINCENZO'GALDI' VincenzoGaldi,ènatoaSalerno,doverisiede,il03Marzo1967.ÈsposatoconMariaRosaria. Formazione' Nel 1994 ha conseguito con Lode la laurea in Ingegneria

Dettagli

Curriculum Vitae et Studiorum

Curriculum Vitae et Studiorum Curriculum Vitae et Studiorum Dr. Ippazio Dionisi DATI ANAGRAFICI E RECAPITI Dr. Ippazio Dionisi Nato il 9 Marzo 1985 a Casarano (Lecce) Residente in Via Mazzini 8, 73046, Matino (Lecce) Cell. (+39) 320.1446903

Dettagli

lcosmo@dsi.unive.it Computer Vision, in particolare Nonrigid Matching.

lcosmo@dsi.unive.it Computer Vision, in particolare Nonrigid Matching. F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome COSMO LUCA Indirizzo 6, VIA ACHILLE GRANDI, 31038 PAESE, TREVISO, ITALIA Telefono +39 349 1580861 E-mail lcosmo@dsi.unive.it Nazionalità

Dettagli

G R A Z I A D I C U O N Z O

G R A Z I A D I C U O N Z O G R A Z I A D I C U O N Z O ISTRUZIONE E FORMAZIONE 2 Dicembre 2013 ad oggi Titolare di assegno di ricerca (s.s.d. SECS-P/07) dal titolo I marchi di impresa: un analisi empirica dei divari tra valori e

Dettagli

Abilitazione all esercizio professionale conseguita in data 1 SESSIONE 2002 con votazione 120/120

Abilitazione all esercizio professionale conseguita in data 1 SESSIONE 2002 con votazione 120/120 CURRICULUM FORMATIVO E PROFESSIONALE FORMULATO AI SENSI DEGLI ARTT. 46 E 47 DPR 445/2000 (DICHIARAZIONE SOSTITUTIVA DI CERTIFICAZIONE DICHIARAZIONE SOSTITUTIVA DI ATTO DI NOTORIETA ) Il sottoscritto LORENZO

Dettagli

Professore Ordinario Facoltà di Medicina e chirurgia Università degli Studi di Siena - Italia. Università degli Studi di Siena

Professore Ordinario Facoltà di Medicina e chirurgia Università degli Studi di Siena - Italia. Università degli Studi di Siena Curriculum Vitae Europass Informazioni personali Nome / Cognome Alessandro Rossi Indirizzo(i) Via Alcide De Gasperi, 1 53100 Siena - Italia Telefono(i) 0577/233484 0577/585768 Cellulare: 3201435964 Fax

Dettagli

Università degli Studi di Cassino e del Lazio meridionale. Cultore della materia Management dell impresa pubblica. Università degli Studi di Cassino

Università degli Studi di Cassino e del Lazio meridionale. Cultore della materia Management dell impresa pubblica. Università degli Studi di Cassino CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Fabio Pezone Data di nascita 11.11.1976 Luogo di nascita ROMA Telefono 06.65932038 E-mail fpezone@regione.lazio.it ATTIVITÀ ACCADEMICA A. A. 2013/2014 Dipartimento

Dettagli

CIG 6223997CCB COD. ALICE G00292

CIG 6223997CCB COD. ALICE G00292 APPENDICE 2 Descrizione dei profili professionali richiesti Sommario APPENDICE 2 Descrizione dei profili professionali richiesti... 1 1. PROFILI PROFESSIONALI RICHIESTI... 2 1.1 Capo progetto... 2 1.2

Dettagli

Esperto informatico e Tutor E.C.D.L. e M.O.S. D.C.S. Diffusione Corsi Specializzati Corso Secondigliano, 166, 80100 Napoli

Esperto informatico e Tutor E.C.D.L. e M.O.S. D.C.S. Diffusione Corsi Specializzati Corso Secondigliano, 166, 80100 Napoli CURRICULUM VITAE INFORMAZIONI PERSONALI Nome e Cognome Indirizzo Web Angelo Bencivenga http://anjeloinformatic.altervista.org/ http://anjelopotenza.spaces.live.com/ e Mail anjeloinformatica@gmail.com Nazionalità

Dettagli

Attenzione! il valore della Rimodulazione è superiore alla cifra di Negoziazione

Attenzione! il valore della Rimodulazione è superiore alla cifra di Negoziazione Riepilogo Dipartimento ICT Dipartimento ICT nel 2005 diretta nel terzi fondi diretta Reti in Tecnologia Wireless 434.890 79.788 712.457 94.953 578.280 351.500 94.000 Internet di prossima generazione 639.484

Dettagli

MANIFESTO DEGLI STUDI A.A. 2014/2015

MANIFESTO DEGLI STUDI A.A. 2014/2015 MANIFESTO DEGLI STUDI A.A. 2014/2015 CORSO DI LAUREA MAGISTRALE INFORMATICA Classe LM-18 Informatica 1. ASPETTI GENERALI La durata normale del Corso di Laurea Magistrale in Informatica è di due anni. Lo

Dettagli

Stefano Bistarelli Dipartimento di Matematica e Informatica Università degli Studi di Perugia

Stefano Bistarelli Dipartimento di Matematica e Informatica Università degli Studi di Perugia Stefano Bistarelli Dipartimento di Matematica e Informatica Università degli Studi di Perugia CURRICULUM BREVE Stefano Bistarelli, laureato con lode in Scienze dell Informazione presso l università di

Dettagli

simplesoad SOA/BPO ARCHITECT

simplesoad SOA/BPO ARCHITECT SIMPLE ENGINEERING simplesoad SOA/BPO ARCHITECT TRAINING CYCLE SHEET SIMPLESOAD_SA_COURSE_SHEET_IT_2007032701 SIMPLE ENGINEERING 2007 - ALL RIGHTS RESERVED. SIMPLE ENGINEERING IS AN INDEPENDENT EUROPEAN

Dettagli

F O R M A T O E U R O P E O

F O R M A T O E U R O P E O F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome BEATRICE MIOTTI Indirizzo Telefono 3351212515 E-mail VIA DELLO SCANNERINO 16, 51100 PISTOIA cice.stella@gmail.com

Dettagli

T O M M A S O P U C C I

T O M M A S O P U C C I T O M M A S O P U C C I C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome TOMMASO PUCCI Indirizzo VIA A. LA MARMORA, 38 50121 FIRENZE Telefono +39.055.580548 Fax +39.055.583129 E-mail tommaso@studiopucci.fi.it

Dettagli

G I A N L U C A C A S S E S E

G I A N L U C A C A S S E S E G I A N L U C A C A S S E S E DIPARTIMENTO DI STATISTICA Università Milano Bicocca U7-2081, via Bicocca degli Arcimboldi, 8, 20126 Milano - Italy DATI ANAGRAFICI E INFORMAZIONI GENERALI: Luogo e data di

Dettagli

Paolo Perlasca. Università degli Studi di Milano December 2002 present

Paolo Perlasca. Università degli Studi di Milano December 2002 present Paolo Perlasca Dipartimento di Informatica, Address: via Comelico 39/41, 20135 Milano Phone: 02-503-16322 Email: paolo.perlasca@unimi.it Paolo Perlasca is assistant professor at the Computer Science Department

Dettagli

Via della Resistenza 50 94013 Leonforte (Enna) Telefono +39 0935 904261 Cellulare: +39 3288593848 messinaantonio@yahoo.it

Via della Resistenza 50 94013 Leonforte (Enna) Telefono +39 0935 904261 Cellulare: +39 3288593848 messinaantonio@yahoo.it CURRICULUM VITAE INFORMAZIONI PERSONALI Nome / Cognome Inrizzo Via della Resistenza 50 94013 Leonforte (Enna) Telefono +39 0935 904261 Cellulare: +39 3288593848 E-mail Nazionalità Data e luogo nascita

Dettagli

drini@unistrapg.cvcl.it

drini@unistrapg.cvcl.it CURRICULUM VITAE INFORMAZIONI PERSONALI Nome RINI DANILO MARIA VALERIO Indirizzo Telefono 3497336713 E-mail Nazionalità italiana Data di nascita 25 MAGGIO 1972 VIA CIALDINI 24, 06122 PERUGIA drini@unistrapg.cvcl.it

Dettagli

ROBERTA LARASPATA. Phone: +39 0805963312 E-mail: roberta.laraspata@gmail.com

ROBERTA LARASPATA. Phone: +39 0805963312 E-mail: roberta.laraspata@gmail.com ROBERTA LARASPATA Phone: +39 0805963312 E-mail: roberta.laraspata@gmail.com FORMAZIONE Febbraio 2011 Ottobre 2007 Maggio 2007 Dottorato di Ricerca in Ingegneria dell Informazione Titolo della Tesi di Dottorato:

Dettagli

Punto della Situazione. Dipartimento di Informatica e Comunicazione Università degli Studi di Milano e-mail: cazzola@dico.unimi.it

Punto della Situazione. Dipartimento di Informatica e Comunicazione Università degli Studi di Milano e-mail: cazzola@dico.unimi.it Punto della Situazione Dipartimento di Informatica e Comunicazione Università degli Studi di e-mail: cazzola@dico.unimi.it Slide 1 of 8 EOS-DUE: Informazioni Generali. L (responsabile), Lorenzo Capra e

Dettagli

Dal 31 Dicembre 2011 e tutt ora in corso. Date (da a) Dal 31 Dicembre 2004 al 31 Dicembre 2011

Dal 31 Dicembre 2011 e tutt ora in corso. Date (da a) Dal 31 Dicembre 2004 al 31 Dicembre 2011 CURRICULUM VITAE Il sottoscritto Alberto Piotto ai sensi degli art.46 e 47 DPR 445/2000, consapevole delle sanzioni penali previste dall art.76 del DPR 445/2000 e successive modificazioni ed integrazioni

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Europass Informazioni personali Nome(i) / Cognome(i) Indirizzo(i) Via Michele Morelli, 21 I-88100 Catanzaro (Italia) Telefono(i) 0961795515 Cellulare 3204934375 3204405419 E-mail cruglianovincenzo@yahoo.it

Dettagli

Votazione finale: 60/60

Votazione finale: 60/60 CURRICULUM VITAE Filippo Gallocchio Via Lion, 44/D 35020 Maserà di Padova (Padova) Cell. : 348/6085710 E-mail: filippo.gallocchio@hotmail.it Dati personali Nato a Conselve (PD) il 19 maggio 1972 Coniugato

Dettagli

Sistemi elettronici per la sicurezza dei veicoli: presente e futuro. Il ruolo della norma ISO 26262 per la Sicurezza Funzionale

Sistemi elettronici per la sicurezza dei veicoli: presente e futuro. Il ruolo della norma ISO 26262 per la Sicurezza Funzionale La Sicurezza Funzionale del Software Prof. Riccardo Sisto Ordinario di Sistemi di Elaborazione delle Informazioni Dipartimento di Automatica e Informatica Sicurezza Funzionale del Vari Aspetti Sicurezza

Dettagli

CURRICULUM VITAE INFORMAZIONI PERSONALI RITROVATO PIERLUIGI ESPERIENZA LAVORATIVA

CURRICULUM VITAE INFORMAZIONI PERSONALI RITROVATO PIERLUIGI ESPERIENZA LAVORATIVA CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Indirizzo di lavoro Residenza Cellulare Telefono Abitazione Telefono Lavoro Nazionalità Data di nascita Titolo di Studio RITROVATO PIERLUIGI E-mail ; Italiana

Dettagli

Candela Mariangela. Specializzanda presso la Scuola di Psicoterapia Cognitiva SPC Via Gaetano Trezza, 12-37129 Verona

Candela Mariangela. Specializzanda presso la Scuola di Psicoterapia Cognitiva SPC Via Gaetano Trezza, 12-37129 Verona F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Residenza Domicilio Candela Mariangela Via Roberto Ruffilli, 25, 83030 Savignano Irpino - AV Via Manara Valgimigli, 6/int.5, 35125 Padova

Dettagli

Curriculum Vitae di Paola Boito

Curriculum Vitae di Paola Boito Curriculum Vitae di Paola Boito Dati anagrafici e personali Data e luogo di nascita: 1/8/1978, Asolo (TV). Cittadinanza italiana. E-mail: boito@mathcs.emory.edu boito@mail.dm.unipi.it Homepage: http://www.mathcs.emory.edu/~boito

Dettagli

Titolo del corso in Catalogo del corso (in ore)

Titolo del corso in Catalogo del corso (in ore) Tematica formativa del Catalogo * Titolo del corso in Catalogo Durata del corso (in ore) Livello del corso ** Modalità di verifica finale *** Abilità personali Intelligenza relazionale: processo di comunicazione

Dettagli

ICOMLAB Computing and Creativity

ICOMLAB Computing and Creativity INFORMAZIONI PERSONALI Nome e Cognome LORENZO SANZARI Indirizzo sede Icomlab PIAZZA CASTELLO, 18 82034 GUARDIA SANFRAMONDI (BN) ITALY Telefono +39 0824 864242 E-mail info@icomlab.it ESPERIENZA LAVORATIVA

Dettagli

CURRICULUM VITAE DATI PERSONALI STUDI CORSI DI FORMAZIONE

CURRICULUM VITAE DATI PERSONALI STUDI CORSI DI FORMAZIONE CURRICULUM VITAE DATI PERSONALI Nome e Cognome: Giampiero Vantaggiato Luogo e data di nascita: Roma, 2 agosto 1971 Residenza via Kiiciro Toyoda 58-00135 Roma Telefono: 06 60200309 STUDI Attualmente è iscritto

Dettagli

Curriculum vitae del prof. Nicola Mazzocca

Curriculum vitae del prof. Nicola Mazzocca Curriculum vitae del prof. Nicola Mazzocca Attuale posizione accademica Nicola Mazzocca è professore ordinario di Sistemi di Elaborazione (settore ING INF/05) presso il Dipartimento di Informatica e Sistemistica

Dettagli

F O R M A T O E U R O P E O

F O R M A T O E U R O P E O F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome Indirizzo Telefono Fax E-mail Linkedin Skype DEL COCO MARCO Nazionalità Italiana Data di nascita 28/06/1984

Dettagli

Introduzione ai Web Services Alberto Polzonetti

Introduzione ai Web Services Alberto Polzonetti PROGRAMMAZIONE di RETE A.A. 2003-2004 Corso di laurea in INFORMATICA Introduzione ai Web Services alberto.polzonetti@unicam.it Introduzione al problema della comunicazione fra applicazioni 2 1 Il Problema

Dettagli

Carriera Universitaria

Carriera Universitaria Marco Mulas DATA DI NASCITA 6 giugno 1989 TELEFONO 347-7768502 E-MAIL mlsmrc@gmail.com me@marcomulas.com WEB www.marcomulas.com me@marcomulas.com WEB www.marcomulas.com 6 giugno 198 TELEFONO 347-7768502

Dettagli

Curriculum Vitae. Informazioni personali. Esperienza professionale

Curriculum Vitae. Informazioni personali. Esperienza professionale Curriculum Vitae Informazioni personali Cognome e nome Gatti Paolo Indirizzo Via Ischia, 4 64018 Tortoreto Teramo Telefono +39 085.8061724 +39 349.7920672 E-mail paolo.gatti@gmail.com, info@webedintorni.net

Dettagli

I corsi di Dottorato del Dipartimento di Ingegneria Enzo Ferrari

I corsi di Dottorato del Dipartimento di Ingegneria Enzo Ferrari I corsi di Dottorato del Dipartimento di Ingegneria Enzo Ferrari Corsi di Dottorato in Ingegneria 1. PhD "Enzo Ferrari" in Industrial and Environmental Engineering: http://www.phd-enzoferrari.unimore.it

Dettagli

Analytical and simulation performance models for software system analysis and prediction

Analytical and simulation performance models for software system analysis and prediction Performance Evaluation of Complex Systems: Techniques, Methodologies and Tools Analytical and simulation performance models for software system analysis and prediction S. Balsamo, M. Marzolla, M. Simeoni

Dettagli

CURRICULUM VITAE INFORMAZIONI PERSONALI. Nome Indirizzo. Telefono E-mail Nazionalità Data di nascita Codice fiscale

CURRICULUM VITAE INFORMAZIONI PERSONALI. Nome Indirizzo. Telefono E-mail Nazionalità Data di nascita Codice fiscale CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Indirizzo Telefono E-mail Nazionalità Data di nascita Codice fiscale ESPERIENZA LAVORATIVA Data (da fino a) Aprile 2013 - Maggio 2013 Docente di Lingua Inglese

Dettagli

Curriculum vitae di Alessio ANCAIANI

Curriculum vitae di Alessio ANCAIANI Curriculum vitae di Alessio ANCAIANI INFORMAZIONI PERSONALI Nome e cognome Alessio Ancaiani Luogo e data di nascita Roma 11/12/1969 Residenza OMISSIS Codice fiscale NCNLSS69T11H501M telefono OMISSIS e-mail

Dettagli

via del mare n.45-61040 Frontone (PU) Italia mail@marco.tagnani.name marco.tagnani@gmail.com http://www.marco.tagnani.name/

via del mare n.45-61040 Frontone (PU) Italia mail@marco.tagnani.name marco.tagnani@gmail.com http://www.marco.tagnani.name/ MARCO TAGNANI CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Data e luogo di nascita Residenza MARCO TAGNANI 10 Marzo 1985, Urbino (PU) Italia via del mare n.45-61040 Frontone (PU) Italia Telefono (0039)

Dettagli

CURRICULUM SCIENTIFICO E DIDATTICO

CURRICULUM SCIENTIFICO E DIDATTICO CURRICULUM SCIENTIFICO E DIDATTICO INFORMAZIONI PERSONALI Cognome e Nome: MAZZU SEBASTIANO E-mail: s.mazzu@unict.it Nazionalità: ITALIANA Data e luogo di nascita: 27/11/1967 - BARCELLONA POZZO DI GOTTO

Dettagli

CURRICULUM VITAE di PAOLA RUBBIONI

CURRICULUM VITAE di PAOLA RUBBIONI CURRICULUM VITAE di PAOLA RUBBIONI DATI ANAGRAFICI Nome: PAOLA RUBBIONI Luogo e data di nascita: Perugia, 16.09.1968 Nazionalità: italiana Stato civile: coniugata CURRICULUM STUDIORUM ed ITER LAVORATIVO

Dettagli

Università del Sannio (Benevento) (Italia)

Università del Sannio (Benevento) (Italia) INFORMAZIONI PERSONALI DE PALMA FIORELLO OCCUPAZIONE DESIDERATA ESPERIENZA PROFESSIONALE 01/09/2009 31/07/2010 Docente a contratto per gli insegnamenti di Lingua Inglese I-II-III. Corso di Laurea in Scienze

Dettagli

Curriculum vitae sintetico Prof. Fabio Donato

Curriculum vitae sintetico Prof. Fabio Donato Curriculum vitae sintetico Prof. Fabio Donato Ordinario di Economia Aziendale Dipartimento di Economia e Management Università di Ferrara Percorso Universitario Dal 1 Novembre 2012, Vice Direttore del

Dettagli

Mario Verdicchio. Dati anagrafici. Nato a Milano, il 23 dicembre 1975

Mario Verdicchio. Dati anagrafici. Nato a Milano, il 23 dicembre 1975 Mario Verdicchio Dati anagrafici Nato a Milano, il 23 dicembre 1975 Indirizzo Università degli Studi di Bergamo Dipartimento di Ingegneria Gestionale, dell Informazione e della Produzione Via Marconi 5

Dettagli

AICA - Associazione Italiana per l Informatica ed il Calcolo Automatico. Certificazioni informatiche europee

AICA - Associazione Italiana per l Informatica ed il Calcolo Automatico. Certificazioni informatiche europee - Associazione Italiana per l Informatica ed il Calcolo Automatico Certificazioni informatiche europee Milano, 6 ottobre 2003 1 AICA Profilo istituzionale Ente senza fini di lucro, fondato nel 1961 Missione:

Dettagli

GRIN - Associazione Italiana dei Docenti Universitari di Informatica

GRIN - Associazione Italiana dei Docenti Universitari di Informatica Certificazione bollino GRIN per i corsi di Laurea in Informatica versione beta 2016 N.B.: Sono in evidenza le variazioni rispetto alla versione standard 2015. 1. Requisiti per la certificazione bollino

Dettagli

Via G. Marconi 22, 73042 Casarano (LE) elisa.monsellato@gmail.com

Via G. Marconi 22, 73042 Casarano (LE) elisa.monsellato@gmail.com F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Residenza Domicilio Via G. Marconi 22, 73042 Casarano (LE) Via G. Marconi 22, 73042 Casarano (LE) Telefono 327 1631656 Fax E-mail elisa.monsellato@gmail.com

Dettagli

Curriculum Vitae di Martina Ranzi

Curriculum Vitae di Martina Ranzi Curriculum Vitae di Martina Ranzi Informazioni personali Nome Martina Cognome Ranzi E-mail martina.ranzi@unife.it Luogo e data di nascita Ferrara, 21 agosto 1984 Abilitazioni professionali - Iscritta all

Dettagli

AZIENDA SANITARIA PROVINCIALE DI ENNA

AZIENDA SANITARIA PROVINCIALE DI ENNA CURRICULUM VITAE INFORMAZIONI PERSONALI No me Bisignano Mario Data di nascita 05/06/1974 Qualifica DIRIGENTE INGEGNERE Amministrazione AZIENDA SANITARIA PROVINCIALE DI ENNA Incarico attuale e servizio

Dettagli

Security and Trust issues for Services

Security and Trust issues for Services Security and Trust issues for Services Fabio Martinelli Institute for Informatics and Telematics National Research ouncil (IIT-NR) Outline Brief overview of SENSORIA project (Software Engineering for Service

Dettagli

MORANDI WALTER VIA LUIGI SALMA, 33/C CORSICO, 20094, MI - ITALY 024471813 (casa) 3409073398 (personale) walter.morandi@gmail.com

MORANDI WALTER VIA LUIGI SALMA, 33/C CORSICO, 20094, MI - ITALY 024471813 (casa) 3409073398 (personale) walter.morandi@gmail.com C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome Indirizzo Telefono Telefono Cellulare Fax E-mail MORANDI WALTER VIA LUIGI SALMA, 33/C CORSICO, 20094, MI - ITALY 024471813 (casa) 3409073398 (personale)

Dettagli

fpezone@regione.lazio.it Università degli Studi di Cassino e del Lazio meridionale Cultore della materia Management dell impresa pubblica

fpezone@regione.lazio.it Università degli Studi di Cassino e del Lazio meridionale Cultore della materia Management dell impresa pubblica CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Fabio Pezone Data di nascita Luogo di nascita Telefono 06.65932038 E-mail fpezone@regione.lazio.it ATTIVITÀ ACCADEMICA A. A. 2013/2014 Dipartimento A. A. 2007/2008

Dettagli

CATERINA DI COSTANZO CV

CATERINA DI COSTANZO CV CATERINA DI COSTANZO CV INFORMAZIONI PERSONALI NOME COGNOME DATA DI NASCITA NATIONALITA CATERINA DI COSTANZO 30-07-1979 ITALIANA RESIDENZA VIA ASPROMONTE 51, 59100 PRATO TELEFONO 389 4504065 E-MAIL cate.dicostanzo@gmail.com

Dettagli

PROTOTIPAZIONE DI UN TRADUTTORE DA SORGENTE PLC AD ASSEMBLY DI UNA MACCHINA VIRTUALE

PROTOTIPAZIONE DI UN TRADUTTORE DA SORGENTE PLC AD ASSEMBLY DI UNA MACCHINA VIRTUALE PROTOTIPAZIONE DI UN TRADUTTORE DA SORGENTE PLC AD ASSEMBLY DI UNA MACCHINA VIRTUALE Relatore: prof. Michele Moro Laureando: Marco Beggio Corso di laurea in Ingegneria Informatica Anno Accademico 2006-2007

Dettagli

Ing. Emanuela Guerriero Curriculum didattico scientifico

Ing. Emanuela Guerriero Curriculum didattico scientifico Ing. Emanuela Guerriero Curriculum didattico scientifico Curriculum vitae et studiorum Nata a Lecce il 03/08/1972; 1999 Laurea in Ingegneria Informatica, conseguita il 19/07/1999, presso l Università degli

Dettagli

Pipoli Antonio. Telefono: 3472225977 Email: antonio.pipoli@yesoft.it

Pipoli Antonio. Telefono: 3472225977 Email: antonio.pipoli@yesoft.it CURRICULUM VITAE Pipoli Antonio Telefono: 3472225977 Email: antonio.pipoli@yesoft.it Data e luogo di nascita: 26/03/1983 Foggia (FG) Nazionalità: Italiana Codice Fiscale: PPLNTN83C26D643F Residenza: via

Dettagli

SCUOLA POLITECNICA. 1 semestre Facoltativa Voto in trentesimi

SCUOLA POLITECNICA. 1 semestre Facoltativa Voto in trentesimi SCUOLA ANNO ACCADEMICO OFFERTA 2015/2016 ANNO ACCADEMICO EROGAZIONE 2017/2018 CORSO DILAUREA INSEGNAMENTO TIPO DI ATTIVITA' AMBITO CODICE INSEGNAMENTO 18033 SETTORI SCIENTIFICO-DISCIPLINARI SCUOLA POLITECNICA

Dettagli

01KTF CV. Architetture distribuite per i sistemi infomativi aziendali. Presentazione del corso http://elite.polito.it/courses/01ktf.

01KTF CV. Architetture distribuite per i sistemi infomativi aziendali. Presentazione del corso http://elite.polito.it/courses/01ktf. 01KTF CV Architetture distribuite per i sistemi infomativi aziendali Presentazione del corso http://elite.polito.it/courses/01ktf Fulvio Corno Dipartimento di Automatica e Informatica Politecnico di Torino

Dettagli

Informazioni generali: Ha conseguito il Diploma di maturità scientifica presso il Liceo Scientifico Statale "G.

Informazioni generali: Ha conseguito il Diploma di maturità scientifica presso il Liceo Scientifico Statale G. CURRICULUM VITAE ET STUDIORUM FRANCO FRATTOLILLO Informazioni generali: Ha conseguito il Diploma di maturità scientifica presso il Liceo Scientifico Statale "G. Rummo" di Benevento, con votazione 60/60.

Dettagli

Curriculum dell attività scientifica e professionale di Marina Popolizio

Curriculum dell attività scientifica e professionale di Marina Popolizio Curriculum dell attività scientifica e professionale di Marina Popolizio Titoli di Studio - Dottorato di Ricerca in Matematica conseguito presso l Università degli Studi di Bari in data 28-03-2008. Titolo

Dettagli

Andrea Maria Altieri Roma 15/07/1984 Italiana Italiana and.altieri@yahoo.it. 2003 Liceo Scientifico statale Talete, Roma 93/100

Andrea Maria Altieri Roma 15/07/1984 Italiana Italiana and.altieri@yahoo.it. 2003 Liceo Scientifico statale Talete, Roma 93/100 CURRICULUM VITAE Dott. Andrea Maria Altieri INFORMAZIONI PERSONALI Nome Cognome Luogo di Nascita Data di nascita Cittadinanza Nazionalità E-Mail Andrea Maria Altieri Roma 15/07/1984 Italiana Italiana and.altieri@yahoo.it

Dettagli

Istruzione e formazione

Istruzione e formazione ENRICO CAMPO Informazioni personali Data di nascita: 7 Novembre 1983 Indirizzo: Via Alfieri, 5 56017, Ghezzano - San Giuliano Terme (PI) Telefono: 377.30.80.364 Email: enricocampo@gmail.com Istruzione

Dettagli

Presentazione del Corso di Progettazione di Sistemi Embedded

Presentazione del Corso di Progettazione di Sistemi Embedded Presentazione del Corso di Progettazione di Sistemi Embedded Franco Fummi University of Verona Department of Computer Science Italy Laurea Magistrale in Ingegneria e Scienze Informatiche Embedded Systems

Dettagli

AGOSTINI MARISA. Curriculum Vitae di DATI PERSONALI ISTRUZIONE E FORMAZIONE. Marisa. Nome. Agostini. Cognome. Italiana.

AGOSTINI MARISA. Curriculum Vitae di DATI PERSONALI ISTRUZIONE E FORMAZIONE. Marisa. Nome. Agostini. Cognome. Italiana. Curriculum Vitae di AGOSTINI MARISA DATI PERSONALI Nome Cognome Nazionalità Marisa Agostini Italiana Telefono 340 2780971 E-mail Home Page marisa.agostini@unive.it http://virgo.unive.it/marisa.agostini/

Dettagli

UNIVERSITÀ DEGLI STUDI DI MILANO-BICOCCA CORSO EROGATO IN MODALITÀ BLENDED-LEARNING SYLLABUS

UNIVERSITÀ DEGLI STUDI DI MILANO-BICOCCA CORSO EROGATO IN MODALITÀ BLENDED-LEARNING SYLLABUS UNIVERSITÀ DEGLI STUDI DI MILANO-BICOCCA CORSO EROGATO IN MODALITÀ BLENDED-LEARNING SYLLABUS INFORMAZIONI DEL CORSO INFORMAZIONI DI BASE Nome Architettura del software Codice Esse3 F1801Q130M Corso di

Dettagli

Modina Silvio. Indirizzo VIA MOSCHINI, 17 37129 VERONA Telefono 045 8352075 348 3017886 silvio.modina@unimib.it

Modina Silvio. Indirizzo VIA MOSCHINI, 17 37129 VERONA Telefono 045 8352075 348 3017886 silvio.modina@unimib.it C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Cognome e Nome E-mail Nazionalità Luogo e Data di nascita Codice Fiscale Modina Silvio Indirizzo VIA MOSCHINI, 17 37129 VERONA Telefono 045 8352075

Dettagli

CURRICULUM VITAE di Salvatore Gaglio

CURRICULUM VITAE di Salvatore Gaglio Salvatore Gaglio 1 CURRICULUM VITAE di Salvatore Gaglio LUOGO DI NASCITA: Agrigento DATA DI NASCITA: 11 aprile 1954 Posizioni attuali Professore ordinario di Intelligenza Artificiale (Sett. disc. ING-INF/05

Dettagli

Alessia Perilli Curriculum vitae et studiorum

Alessia Perilli Curriculum vitae et studiorum Alessia Perilli Curriculum vitae et studiorum via Ripa 5, S. Rufina di Roio - L Aquila CAP 67100 AI FINI DELLA PUBBLICAZIONE Dati anagrafici Nascita L Aquila, 26 luglio 1987 Nazionalità Residenza Stato

Dettagli

CURRICULUM VITAE EUROPEO

CURRICULUM VITAE EUROPEO CURRICULUM VITAE EUROPEO INFORMAZIONI PERSONALI Nome e Cognome Simone Surcis Indirizzo Telefono Cellulare E-mail Nazionalità Italiana Data di Nascita 7 Ottobre 1984 ESPERIENZA LAVORATIVA Da A.A. 2009/10

Dettagli

A A Design Tool to Develop Agent-Based Workflow Management Systems

A A Design Tool to Develop Agent-Based Workflow Management Systems Università degli Studi di Genova Facoltà di Ingegneria DIST - Dipartimento di Informatica, Sistemistica e Telematica A A Design Tool to Develop Agent-Based Workflow Management Systems Marco Repetto, Massimo

Dettagli

CURRICULUM VITAE Ing. Alessandro Craviolatti

CURRICULUM VITAE Ing. Alessandro Craviolatti CURRICULUM VITAE Ing. Alessandro Craviolatti Via E. De Filippo, 13 S.Anastasia (NA) Tel. 0815305484 Cell. 3289684006 E-mail: ale.craviolatti@tiscali.it Data di nascita: 18/01/1975 Luogo di nascita: Napoli

Dettagli

Alberto Benvegnù. Dati personali Nome: Alberto Cognome: Benvegnù Data di nascita: 30/11/1976 Luogo di nascita: Padova Nazionalità: Italiana

Alberto Benvegnù. Dati personali Nome: Alberto Cognome: Benvegnù Data di nascita: 30/11/1976 Luogo di nascita: Padova Nazionalità: Italiana Padova, luglio 2015 Alberto Benvegnù Dati personali Nome: Alberto Cognome: Benvegnù Data di nascita: 30/11/1976 Luogo di nascita: Padova Nazionalità: Italiana Sesso: Maschile Stato civile: Coniugato Residenza:

Dettagli

Corso di Applicazioni Telematiche

Corso di Applicazioni Telematiche Corso di Applicazioni Telematiche Lezione n.1 Prof. Roberto Canonico Università degli Studi di Napoli Federico II Facoltà di Ingegneria Obiettivi del corso Supporti didattici Modalità d esame Panoramica

Dettagli

Tecnologie dei Linguaggi di Programmazione

Tecnologie dei Linguaggi di Programmazione Tecnologie dei Linguaggi di Programmazione a.a. 2013/2014 romina.eramo@univaq.it http://www.di.univaq.it/romina.eramo/tlp Goal Object Oriented Programming (OOP) Conoscere il paradigma di programmazione

Dettagli

F ORMATO EUROPEO PER IL CURRICULUM VITAE

F ORMATO EUROPEO PER IL CURRICULUM VITAE F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Enrico Rimini Indirizzo Via Alessandro Zanoli 3 20161 Milano Telefono +39 02 77075260-263 Fax +39 02 77075853 E-mail enrico.rimini.brsa@lawfed.com

Dettagli

REGOLAMENTO DIDATTICO

REGOLAMENTO DIDATTICO REGOLAMENTO DIDATTICO Laurea triennale in Classe Facoltà ECONOMIA E COMMERCIO XXVIII Scienze economiche Economia Art. 1. Finalità Il presente regolamento disciplina l articolazione dei contenuti e le modalità

Dettagli

Carolina Vittoria Beccari, PhD

Carolina Vittoria Beccari, PhD Carolina Vittoria Beccari, PhD CURRICULUM DELLE ATTIVITÀ SCIENTIFICHE E DIDATTICHE Dipartimento di Matematica Università di Bologna P.zza di Porta S. Donato 5 40126 Bologna beccari@dm.unibo.it DATI PERSONALI

Dettagli