CURRICULUM VITAE DI FRANCESCO TIEZZI

Save this PDF as:
 WORD  PNG  TXT  JPG

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 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

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

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

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

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

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

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

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

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

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 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 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

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

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

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

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

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

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

Trani (BA) Via Bari, 74-70010 Capurso (BA) PPLNTN83E01L328C

Trani (BA) Via Bari, 74-70010 Capurso (BA) PPLNTN83E01L328C Curriculum Vitae ANTONIO POPOLIZIO Cell: 329 8830256 e mail: antonio.popolizio@yesoft.it Dati personali Data di nascita: 01/05/1983 Luogo di nascita: Residenza e Domicilio: Codice fiscale: Trani (BA) Via

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

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 Qualifica/Incarico attuale DIRETTORE SERVIZIO INFORMATICO COMUNE DI MONCALIERI Telefono 0116401302 Fax 0116401424

Dettagli

giulia.lisena@rai.it / ing.glisena@gmail.com

giulia.lisena@rai.it / ing.glisena@gmail.com C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome Giulia Lisena Telefono 334-6215404 / 320-7503489 E-mail giulia.lisena@rai.it / ing.glisena@gmail.com Nazionalità Italiana Data di nascita 11-05

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

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'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

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

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

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

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

Il/La sottoscritto/a... nato/a a il... codice fiscale n residente in ( indirizzo completo) ...

Il/La sottoscritto/a... nato/a a il... codice fiscale n residente in ( indirizzo completo) ... MODELLO A (Domanda da compilare ) Al Presidente della Fondazione dell'università degli Studi di Teramo Coste Sant Agostino 64100 TERAMO Selezione per titoli e colloquio, per la stipula di un incarico di

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

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

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

Abituato a lavorare in team e a condividere le sue conoscenze, nella speranza che i suoi colleghi facciano lo stesso con lui.

Abituato a lavorare in team e a condividere le sue conoscenze, nella speranza che i suoi colleghi facciano lo stesso con lui. Presentazione Raffaele Galante nato a Torino il 09/07/1979, diplomato come Perito Elettronico e Telecomunicazioni nel Luglio del 1999. Nel periodo che va da Settembre 1999 a Settembre 2001, lavora come

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

F ORMATO EUROPEO PER IL CURRICULUM VITAE

F ORMATO EUROPEO PER IL CURRICULUM VITAE F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Indirizzo Rita Arzeni I.N.R.C.A. Via Santa Margherita, 5-60124 Ancona Telefono 0718004761 Fax E-mail r.arzeni@inrca.it Nazionalità italiana

Dettagli

Nome SPINAZZA FABIO Indirizzo VIA MATTEOTTI, 113 21051 ARCISATE - VA Telefono Uff. 0332 255229 Fax E-mail faspin@tin.it

Nome SPINAZZA FABIO Indirizzo VIA MATTEOTTI, 113 21051 ARCISATE - VA Telefono Uff. 0332 255229 Fax E-mail faspin@tin.it 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 ) INFORMAZIONI PERSONALI Nome SPINAZZA FABIO Indirizzo VIA MATTEOTTI, 113 21051 ARCISATE - VA Telefono Uff. 0332 255229 Fax E-mail

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

Curriculum vitae. Informazioni personali. Titoli di studio e professionali ed esperienze lavorative Titoli di studio

Curriculum vitae. Informazioni personali. Titoli di studio e professionali ed esperienze lavorative Titoli di studio Curriculum vitae Informazioni personali Nome Montanaro Raffaele Data di nascita 31/12/1973 Nazionalità Italiana Titoli di studio e professionali ed esperienze lavorative Titoli di studio 1992 Diploma di

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

briola.daniela@gmail.com

briola.daniela@gmail.com C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome BRIOLA DANIELA Indirizzo VIA CAPOLUNGO 25/5, 16167 GENOVA Telefono 010 4040449 3404193348 E-mail Nazionalità briola.daniela@gmail.com Italiana

Dettagli

348.0901238. Valutazione finale: 103/110. Valutazione finale: 56/60

348.0901238. Valutazione finale: 103/110. Valutazione finale: 56/60 CURRICULUM VITAE INFORMAZIONI PERSONALI Cognome e nome Strambi Patrizio Residenza Via Mendozza, 36 Monvalle (VA) Telefono 0332.799362 348.0901238 E-mail patrizio.strambi@gmail.com Data di nascita 22.12.1964

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

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

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

Curriculum vitae di Emanuela Brancati

Curriculum vitae di Emanuela Brancati CURRICULUM VITAE DI EMANUELA BRANCATI INFORMAZIONI ANAGRAFICHE NOME: Emanuela COGNOME: Brancati DATA DI NASCITA: 07 Gennaio 1980 LUOGO: Terni RESIDENZA: Via San Lorenzo, 322, 90146 Palermo DOMICILIO: Via

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

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

Verbale n. 2 (valutazione dei titoli e delle pubblicazioni scientifiche)

Verbale n. 2 (valutazione dei titoli e delle pubblicazioni scientifiche) Procedura di valutazione comparativa per la copertura di un posto di professore ordinario per il settore scientifico-disciplinare ING INF/05 Sistemi di Elaborazione delle Informazioni presso la Facoltà

Dettagli

CURRICULUM VITAE DATI PERSONALI

CURRICULUM VITAE DATI PERSONALI CURRICULUM VITAE DATI PERSONALI Nome: Massimo Cognome: Bacci Titolo: Avvocato Stato Civile: libero Data di nascita: 8 Ottobre 1982 Luogo di nascita: Bagno a Ripoli (FI) Sesso: maschile Cittadinanza: italiana

Dettagli

CHIARA BERTI CURRICULUM ATTIVITA SCIENTIFICA E DIDATTICA INTERESSI DI RICERCA E SUPPORTO ALLA DIDATTICA FORMAZIONE

CHIARA BERTI CURRICULUM ATTIVITA SCIENTIFICA E DIDATTICA INTERESSI DI RICERCA E SUPPORTO ALLA DIDATTICA FORMAZIONE CHIARA BERTI CURRICULUM ATTIVITA SCIENTIFICA E DIDATTICA Dati personali Nata a Faenza il 14.08.1986 Cittadinanza Italiana Residente a Castel Bolognese, via Zanelli, 529 48014 Tel. +39 333 7340594 Posizione

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

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

Curriculum Vitae Mariadomenica Santamaria

Curriculum Vitae Mariadomenica Santamaria Curriculum Vitae Mariadomenica Santamaria Informazioni personali Nome/ Cognome Indirizzo E-mail Cittadinanza SANTAMARIA Mariadomenica 11, Benito Rossi, 82100 Benevento mariadomenica.santamaria@virgilio.it

Dettagli

Gaspare Di Gesù Via Gaetano Martino 51/b Alcamo (TP) gdigesu@provincia.trapani.it

Gaspare Di Gesù Via Gaetano Martino 51/b Alcamo (TP) gdigesu@provincia.trapani.it CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Indirizzo Via Gaetano Martino 51/b Alcamo (TP) Telefono 328 0410307 Fax E-mail gdigesu@provincia.trapani.it Nazionalità italiana Data di nascita 1 Maggio 1962

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

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

Formato europeo per il curriculum vitae

Formato europeo per il curriculum vitae Formato europeo per il curriculum vitae Informazioni personali Nome Boschetti Nicola Telefono 340/7475466 Fax 051/43.91.302 E-mail n.boschetti@iconsulting.biz Nazionalità Italiana Data di nascita 16/02/1984

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

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

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

INFORMAZIONI PERSONALI CAPRIOLI, GIOVANNI ESPERIENZA LAVORATIVA. Nome. Indirizzo. Telefono. Fax E mail. giovanni.caprioli@istruzione.

INFORMAZIONI PERSONALI CAPRIOLI, GIOVANNI ESPERIENZA LAVORATIVA. Nome. Indirizzo. Telefono. Fax E mail. giovanni.caprioli@istruzione. CURRICULUM VITAE INFORMAZIONI PERSONALI Nome CAPRIOLI, GIOVANNI Indirizzo Telefono Fax E mail giovanni.caprioli@istruzione.it Nazionalità Italiana Data di nascita Codice fiscale ESPERIENZA LAVORATIVA Ministero

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

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 E-mail Sito Web Nazionalità info@antoninoancona.it http://www.antoninoancona.it Italiana Data di nascita

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

Pagina 1 - Curriculum vitae di [ SOSIO, ANDREA ]

Pagina 1 - Curriculum vitae di [ SOSIO, ANDREA ] 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 Pagina 1 - Curriculum vitae di 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 SOSIO

Dettagli

PUGLIA SEBASTIANA VIA DEI GERANI N 6, 95028 VALVERDE, CATANIA. puglia@lns.infn.it DOTTORE DI RICERCA IN INGEGNERIA FISICA

PUGLIA SEBASTIANA VIA DEI GERANI N 6, 95028 VALVERDE, CATANIA. puglia@lns.infn.it DOTTORE DI RICERCA IN INGEGNERIA FISICA F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Indirizzo PUGLIA SEBASTIANA VIA DEI GERANI N 6, 95028 VALVERDE, CATANIA Telefono 3471069347 Fax E-mail puglia@lns.infn.it Nazionalità

Dettagli

The project. http://www.interdatanet.org

The project. http://www.interdatanet.org Università degli Studi di Firenze Facoltà di Ingegneria Dipartimento di Elettronica e Telecomunicazioni (DET) Laboratorio di Tecnologie della Telematica (LTT) The project http://www.interdatanet.org WORK

Dettagli

INFORMAZIONI PERSONALI. Alessandro Ballini. Omesso Omesso. Omesso ESPERIENZA LAVORATIVA 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

INFORMAZIONI PERSONALI. Alessandro Ballini. Omesso Omesso. Omesso ESPERIENZA LAVORATIVA 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 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 INFORMAZIONI PERSONALI Nome/Cognome Indirizzo Telefono Fax E-mail Nazionalità Italiana Data di nascita 17/04/1981 ESPERIENZA LAVORATIVA Date Tipo

Dettagli

Corso di Laurea Magistrale in Ingegneria Informatica

Corso di Laurea Magistrale in Ingegneria Informatica Corso di Laurea Magistrale in Ingegneria Informatica Siti web: corsidilaurea.uniroma1.it/it/corso/2017/ingegneria-informatica/ e cclii.dis.uniroma1.it Ingegneria Informatica L'ingegneria informatica è

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 GENEROSO RIGNANESE Indirizzo VIA STRADA 48 N 1/4, MONTE S. ANGELO (FG) C.A.P. 71037 Telefono +39 0884 56

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

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

Marco Guazzone. Curriculum vitae

Marco Guazzone. Curriculum vitae Marco Guazzone Curriculum vitae CURRICULUM VITAE ET STUDIORUM Attualmente, Marco Guazzone è ricercatore a tempo determinato (tipo A) presso il Dipartimento di Scienze e Innovazione Tecnologica dell Università

Dettagli

Ing.Ivan.Mazzarelli@gmail.com. Competenza di MS Office (tutte le versioni); AUTOCAD (tutte le versioni) ARCHICAD (tutte le versioni)

Ing.Ivan.Mazzarelli@gmail.com. Competenza di MS Office (tutte le versioni); AUTOCAD (tutte le versioni) ARCHICAD (tutte le versioni) 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 MAZZARELLI IVAN Indirizzo VIA VITTORIO LOCCHI 76 FIRENZE (FI) Telefono 339 1395878 E-mail Nazionalità Ing.Ivan.Mazzarelli@gmail.com

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

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

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

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Europass Informazioni personali Cognome/i nome/i Castelli Flavio Email flavio.castelli@gmail.com Sito web personale http://www.flavio.castelli.name Nazionalità Italiana Data di nascita

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

APPENDICE 4 AL CAPITOLATO TECNICO. Descrizione dei profili professionali e template del CV

APPENDICE 4 AL CAPITOLATO TECNICO. Descrizione dei profili professionali e template del CV APPENDICE 4 AL CAPITOLATO TECNICO Descrizione dei profili professionali e template del CV INDICE INTRODUZIONE... 3 1 PROFILI PROFESSIONALI RICHIESTI... 4 1.1 CAPO PROGETTO DI SISTEMI INFORMATIVI (CPI)...

Dettagli

IL RETTORE DECRETA. Art. 1 OGGETTO DEL BANDO

IL RETTORE DECRETA. Art. 1 OGGETTO DEL BANDO Decreto n. 477.15 Selezione comparativa per titoli e colloquio finalizzata all assegnazione di n. 4 Borse di studio per Assistenti di Lingua Italiana nelle scuole del Victoria (Melbourne e Provincia),

Dettagli

DIST Dipartimento di Informatica, Sistemistica e Telematica UNIVERSITÀ DEGLI STUDI DI GENOVA

DIST Dipartimento di Informatica, Sistemistica e Telematica UNIVERSITÀ DEGLI STUDI DI GENOVA DIST Dipartimento di Informatica, Sistemistica e Telematica UNIVERSITÀ DEGLI STUDI DI GENOVA Genova, 8 gennaio 2010 AVVISO PUBBLICO DI PROCEDURA PER IL CONFERIMENTO DI N. 1 (UNO) INCARICO DI COLLABORAZIONE

Dettagli

Allegato 1 CIG 58703795FF PROCEDURA DI AFFIDAMENTO PER LA FORNITURA DI UNA PIATTAFORMA PER SERVICE MASHUP AND DELIVERY CAPITOLATO TECNICO

Allegato 1 CIG 58703795FF PROCEDURA DI AFFIDAMENTO PER LA FORNITURA DI UNA PIATTAFORMA PER SERVICE MASHUP AND DELIVERY CAPITOLATO TECNICO PROCEDURA DI AFFIDAMENTO PER LA FORNITURA DI UNA PIATTAFORMA PER SERVICE MASHUP AND DELIVERY CAPITOLATO TECNICO SOMMARIO 1 Oggetto della Fornitura... 3 2 Composizione della Fornitura... 3 2.1 Piattaforma

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

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

Angela Sciammetta asciammetta@unime.it Italiana 07\07\1984. Giugno 2014 oggi Università degli Studi di Messina. Facoltà di Ingegneria

Angela Sciammetta asciammetta@unime.it Italiana 07\07\1984. Giugno 2014 oggi Università degli Studi di Messina. Facoltà di Ingegneria F ORMATO EUROPEO PER IL CURRICULUM VITAE Nome e-mail Nazionalità Data di nascita Angela Sciammetta asciammetta@unime.it Italiana 07\07\1984 ESPERIENZE LAVORATIVE Giugno 2014 oggi Università degli Studi

Dettagli

CURRICULUM VITAE MATTEO MOSOLO ITALY. Civiform via Gemona, 5 Cividale del Friuli. classe A047.

CURRICULUM VITAE MATTEO MOSOLO ITALY. Civiform via Gemona, 5 Cividale del Friuli. classe A047. CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Indirizzo Telefono MATTEO MOSOLO ITALY E- mail Nazionalità Data di nascita Italiana ESPERIENZA LAVORATIVA Date Da 15 settembre 2014 Civiform via Gemona, 5 Cividale

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

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

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

Sistema Informativo del Ministero dell'istruzione, Università e Ricerca

Sistema Informativo del Ministero dell'istruzione, Università e Ricerca (I dati sono stati inseriti a cura del docente, titolare della scheda, in occasione della rilevazione "Anagrafe Professionalità Docente" anno 2012) Dati Anagrafici Cognome Nome Data di Nascita Provincia

Dettagli

C U R R I C U L U M DOTT. ANDREA MARIA ALTIERI AGGIORNAMENTO NOVEMBRE 2013

C U R R I C U L U M DOTT. ANDREA MARIA ALTIERI AGGIORNAMENTO NOVEMBRE 2013 C U R R I C U L U M DOTT. ANDREA MARIA ALTIERI AGGIORNAMENTO NOVEMBRE 2013 INFORMAZIONI PERSONALI Nome Cognome Luogo di Nascita Data di nascita Cittadinanza Nazionalità Residenza Telefono E-Mail Codice

Dettagli

INGEGNERIA DEL SOFTWARE. Prof. Paolo Salvaneschi

INGEGNERIA DEL SOFTWARE. Prof. Paolo Salvaneschi Università di Bergamo Facoltà di Ingegneria Corso di Laurea in Ingegneria Informatica INGEGNERIA DEL SOFTWARE Prof. Paolo Salvaneschi 1 Obiettivi Scopi del corso: - Fornire gli elementi di base della disciplina,

Dettagli

Anno Scolastico: 2014/2015. Indirizzo: Sistemi informativi aziendali. Classe quarta AS. Disciplina: Informatica. prof.

Anno Scolastico: 2014/2015. Indirizzo: Sistemi informativi aziendali. Classe quarta AS. Disciplina: Informatica. prof. Anno Scolastico: 2014/2015 Indirizzo: Sistemi informativi aziendali Classe quarta AS Disciplina: Informatica prof. Competenze disciplinari: Secondo biennio 1. Identificare e applicare le metodologie e

Dettagli

Corso di Laurea in Informatica

Corso di Laurea in Informatica Università degli Studi di Parma Dipartimento di Matematica e Informatica Corso di Laurea in Informatica Laurea di primo livello Classe L-31 Scienze e Tecnologie Informatiche (studenti immatricolati negli

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 Bellometti Simona Aurelia Indirizzo Via I. Nievo 7, 35037 Teolo (PD) Telefono 3371195497 Fax 049.8215790 E-mail simona.bellometti@ioveneto.it

Dettagli

CURRICULUM VITAE BISCEGLIA MAURO GIANFRANCO

CURRICULUM VITAE BISCEGLIA MAURO GIANFRANCO CURRICULUM VITAE BISCEGLIA MAURO GIANFRANCO data e luogo di nascita: 28.02.1961 Lavello (PZ) Nazionalità: italiana Stato civile: divorziato Servizio militare: congedato Residenza: Piazza Leone, 5 70020

Dettagli