Curriculum Vitae. Enrico Tassi 19 luglio Dottorato di Ricerca in Informatica presso il dipartimento di Scienze dell Informazione

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Curriculum Vitae. Enrico Tassi 19 luglio 2013. Dottorato di Ricerca in Informatica presso il dipartimento di Scienze dell Informazione"

Transcript

1 Curriculum Vitae Enrico Tassi 19 luglio Dati personali Nome Affiliazione Indirizzo di lavoro Enrico Tassi INRIA - Saclay Bâtiment Alan Turing, 1 rue Honoré d Estienne d Orves, Campus de l École Polytechnique, Palaiseau Telefono d ufficio Data di nascita 10/06/1980 Homepage GPG Fingerprint chiavi pubbliche: 60D E B 9507 EE49 1C3E 0123 F2F2 C11A A 7C8C 1758 E CC A29B 764F 2 Educazione Apr 28, 2008 Ott 20, 2004 Dic 12, 2002 Dottorato di Ricerca in Informatica presso il dipartimento di Scienze dell Informazione dell Università degli studi di Bologna. Laurea specialistica in Informatica con voto 110/110 e lode presso il dipartimento di Scienze dell Informazione dell Università degli studi di Bologna. Laurea breve in Informatica con voto 110/110 presso il dipartimento di Scienze dell Informazione dell Università degli studi di Bologna. 3 Interessi scientifici Interactive Theorem Provers Mi sono concentrato sullo sviluppo di Interactive Theorem Provers basati sulla teoria dei tipi, e in particolare all inferenza di tipo, all integrazione di procedure per la ricerca automatica di dimostrazioni e ai linguaggi utilizzati per interagire con l utente. Prove Formali Ho dedicato parte della mia ricerca alla formalizzazione di matematica (principalmente costruttiva) usando i sistemi Coq e Matita. In particolare ho formalizzato risultati di teoria dell integrazione astratta, topologia formale e teoria dei gruppi finiti. 1

2 4 Interessi personali Free Software e Open Source in particolate il sistema operativo Debian GNU/Linux. Scrittura di software in ogni aspetto: dal design all implementazione e al management dello sviluppo. Ha partecipato allo sviluppo di svariati progetti free software. 5 Esperienze lavorative 1 Set 2012 CR2 INRIA, prima nel gruppo di ricerca Typical, poi SpecFun. 1 Nov Aug 2012 Post-doc presso il LIX, Parigi, nel gruppo di ricerca Typical. 1 Nov Ott 2011 Post-doc presso il Microsoft Research-INRIA Joint Center, Parigi, nel gruppo di ricerca Mathematical Components. 01 Gen Ott 2009 Assegno di ricerca con titolo Formalizzazione nel theorem prover interattivo Matita di risultati di topologia formale presso il dipartimento di Matematica pura ed applicata dell Università di Padova. 20 Dic Dic 2008 Assegno di ricerca con titolo Implementazione e validazione di strumenti di supporto alla verifica automatica di teoremi, con applicazioni alla didattica presso il dipartimenti di Sciende dell Informazione dell Università di Bologna. 1 Gen Dic 2007 Dottorato in informatica presso il dipartimenti di Sciende dell Informazione dell Università di Bologna. Debian Developer È uno sviluppatore del sistema operativo Debian GNU/Linux dal Gennaio Attualmente mantiene alcuni pacchetti relativi ai linguaggi di programmazione OCaml e Lua, e alcuni altri pacchetti di interesse generale. 6 Software Sono elencati solo i software a cui è stato dato un contributo di rilievo Small Scale Reflection è una estensione per il proof assistant Coq inizialmente sviluppata da Georges Gonthier per la prova al calcolatore del teorema dei quattro colori Matita è un proof assistant basato sull isomorfismo di Curry-Howard sviluppato dal team HELM all Università di Bologna. Scritto in OCaml Debian packages (co-)mantiene più di 30 pacchetti per il sistema operativo Debian GNU/Linux SyncMailDir è una collezione di utility per sincronizzare caselle di posta elettronica in formato maildir. Scritto in C, Lua e Vala FreePOPs è un server POP3 estensibile, utilizzato principalmente come convertitore da web-mail a POP3. Scritto in C e Lua ULN (User Level Networking) è una patch per il kernel Linux kernel (2.4.x e 2.6.x) e una collezione di utility in userspace per assegnare indirizzi IP personali agli utenti del sistema Unix secondo policy centralizzate. Scritto in C. 2

3 7 Convegni (Membro PC, Organizzatore, Talks) Aug 2012 Jul 2012 Jul 2012 Aug 2011 Nov 2010 Lug 2011 Dic 2010 Ott 2010 Ott 2010 Lug 2010 Mag 2009 Ago 2008 Mag 2007 Mar 2007 Feb 2007 Apr 2006 Giu 2005 Feb 2005 Interviene alla conferenza ITP 2012 (Princeton): A language of patterns for subterm selection Membro del Program Committee di MKM2012, the 11th International Conference on Mathematical Knowledge Management. Membro del Program Committee di UITP2012, 10th International Workshop On User Interfaces for Theorem Provers. Partecipa alla conferenza ITP 2011 tenutasi a Nijmegen (Netherlands). Partecipa alla conferenza MAP 2010 tenutasi a Logroño (Spain). Membro del Program Committee di MKM2011, the 10th International Conference on Mathematical Knowledge Management. Interviene alla conferenza Merging Knowledge, Trento, CoSBi: Proving the odd order theorem, formally Interviene all ADT Interfaces workshop, INRIA Rocquencourt (Parigi): Matita s user interaction Interviene presso l Universit a di Varsavia (Polonia) durante la conferenza TYPES2010: Nonuniform coercions via unification hints. Membro del Program Committee di MKM2010, the 9th International Conference on Mathematical Knowledge Management. Interviene presso il centro CNRS di Assois (France) durante la conferenza TYPES conference dal titolo Hints in Unification Interviene presso l Università Concordia a Montreal (Canada) durante la conferenza UITP (satellite di TPHOLs): An interactive driver for goal directed proof strategies Partecipa alla conferenza TYPES 2007 tenutasi a Cividale del Friuli. Interviene presso il Microsoft Research-INRIA Joint Center di Orsay (Paris): A modular approach to the formalisation of finite groups Interviene presso il Microsoft Research-INRIA Joint Center a Orsay (Paris): The matita proof assistant and its disambiguation manager Interviene alla conferenza TYPES 2006 a Nottingham: The Matita Proof Assistant Partecipa al poject meeting finale del progetto McTafi (Constructive Methods in Topology, Algebra and Foundation of Computer Science) tenutosi a Genova, Italy. Partecipa alla conferenza AILA-2005 (XXII Incontro di Logica Matematica), tenutasi a Pisa, Italy. 8 Scuole (Partecipazione, Organizzatore) Mar 2012 Organizza la scuola primaverile della conferenza MAP, tenutasi a Sophia Antipolis, France. Ago 2007 Organizza, insieme a with Andrea Asperti e Claudio Sacerdoti Coen, la scuola estiva per il dottorato del progetto Types, tenutasi a Bertinoro, Italy. Ago 2005 Partecipa alla scuola estiva per il dottorato del progetto TYPES 2005, tenutasi a Göteborg, Sveden. group/logic/typesss05/ Mar 2005 Partecipa alla scuola per il dottorato BISS-2005, tenutasi a Bertinoro, Italy. 3

4 9 Pubblicazioni 9.1 Riviste 1. A bi-directional refinement algorithm for the Calculus of (Co)Inductive Constructions Andrea Asperti, Wilmer Ricciotti, Enrico Tassi and Claudio Sacerdoti Coen. Accepted for publication in the journal Logical Methods in Computer Science. 2. Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover Andrea Asperti, Wilmer Ricciotti, Enrico Tassi and Claudio Sacerdoti Coen. Published in the journal of Automated Rasoning, Special issue on the POPL mark challenge, 16 May Pages 1-25, Year ISSN: Formalizing Overlap Algebras in Matita Claudio Sacerdoti Coen and Enrico Tassi. Published in the Journal Mathematical Structures in Computer Science, Volume 21, Issue 3, Pages 1-31, Year ISSN: EISSN: A compact kernel for the calculus of inductive constructions. Andrea Asperti, Wilmer Ricciotti, Enrico Tassi and Claudio Sacerdoti Coen. Published in the Journal Sadhana, Volume 34, Pages , Year ISSN: A constructive and formal proof of Lebesgues Dominated Convergence Theorem in the interactive theorem prover Matita. Claudio Sacerdoti Coen and Enrico Tassi. Published by the Journal of Formalized Reasoning, Issue 1, Volume 1, Pages 51-89, Year ISSN: User Interaction with the Matita Proof Assistant. Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi and Stefano Zacchiroli. Published in the Journal of Automated Reasoning, Springer Netherlands, ISSN , Volume 39, Issue 2 (August 2007) Pages: Atti di Conferenze 7. A Machine-Checked Proof of the Odd Order Theorem Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Franois Garillot, Stphane Le Roux, Assia Mahboubi, Russell O Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi and Laurent Thery. Published in the proceedings of ITP 2013, LNCS, Volume 7998, Year 2013, Pages???. 8. Canonical Structures for the working Coq user Assia Mahboubi and Enrico Tassi. Published in the proceedings of ITP 2013, LNCS, Volume 7998, Year 2013, Pages???. 9. Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems Bruno Barras, Hugo Herbelin, Lourdes del Carmen Gonzlez Huesca, Yann Rgis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff. Published in the proceedings of Conference on Intelligent Computer Mathematics (CICM 2013), LNCS, Volume 7961, Year 2013, Pages??? 10. A language of patterns for subterm selection Georges Gonthier and Enrico Tassi. Published in the proceedings of ITP 2012, LNCS, Volume 7406, Year 2012, Pages The Matita Interactive Theorem Prover Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen and Enrico Tassi. Published in the proceedings of CADE 2011, LNCS 6803, 2011, Pages 64-69, ISBN Superposition as a logical glue Andrea Asperti and Enrico Tassi. Published in the proceedings of TYPES 2009, EPTCS Volume 53, Pages 1-15, Year 2011, ISSN: , DOI: /EPTCS.53. 4

5 13. Nonuniform Coercions via Unification Hints Claudio Sacerdoti Coen and Enrico Tassi. Published in the proceedings of TYPES 2009, EPTCS Volume 53, Pages 16-29, Year 2011, ISSN: , DOI: /EPTCS Smart matching Andrea Asperti and Enrico Tassi. Published in the proceedings of MKM2010, LNCS, Volume 6167/2010, Year 2010, Pages , DOI / , ISBN A new type for tactics. Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen and Enrico Tassi. To appear in the proceedings of ACM SIGSAM PLMMS 2009, ISBN Published as technical report UBLCS Hints in Unification. Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen and Enrico Tassi. Published in the proceedings of TPHOLs 2009, LNCS, Volume 5674/2009, Pages 84-98, DOI / , ISBN Natural deduction environment for Matita. Claudio Sacerdoti Coen and Enrico Tassi. Published in the proceedings of MKM2009, LNCS, Volume 5625, Pages , ISBN , DOI / An interactive driver for goal directed proof strategies. Andrea Asperti and Enrico Tassi. Published in the Proceedings of UITP 2008: 8th International Workshop On User Interfaces for Theorem Provers, 22 August 2008, Montral, Qubec, Canada. ENTCS, Volume 226, 3 January 2009, Pages , ISSN , DOI /j.entcs Working with Mathematical Structures in Type Theory. Sacerdoti Coen and Enrico Tassi. Published in the Proceedings of TYPES 2007 conferece: Types for Proofs and Programs. Project, 2-5 May 2007 Cividale del Friuli (Udine), Italy. LNCS, ISSN (Print) (Online), DOI / , ISBN , Pages , Volume 4941, Year A modular formalisation of finite group theory. Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi and Laurent Thery. Published in the Proceedings of TPHOL 2007: The 20th International Conference on Theorem Proving in Higher Order Logics. LNCS, Volume 4732, ISBN: , DOI: / , Pages: , Higher order proof reconstruction from paramodulation-based refutations: the unit equality case. Andrea Asperti and Enrico Tassi. Published in the Proceedings of MKM-2007 The 6th International Conference on Mathematical Knowledge Management, LNAI Volume 4573, ISBN , Crafting a Proof Assistant. Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi and Stefano Zacchiroli. Published in the Proceedings of Types 2006, LNCS Volume 4502, Springer Berlin / Heidelberg, ISBN , pp , Tinycals: Step by Step Tacticals. Claudio Sacerdoti Coen, Enrico Tassi and Stefano Zacchiroli. In Proceedings of UITP-2006 User Interfaces for Theorem Provers. Seattle, WA August 21, ENTCS, Volume 174, Issue 2 (May 2007), Pages , ISSN: A content based mathematical search engine: Whelp. Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi and Stefano Zacchiroli. Published In Proceedings of TYPES-2004 conference: Types for Proofs and Programs. Paris, France December 15-18, LNCS 3839, Springer Berlin / Heidelberg, ISBN , pp User Level Networking-Personal IP: assigning each user his/her own IP addresses in multiuser operating systems. Enrico Tassi, Alessandro Pira and Renzo Davoli. Published in the proceedings of ICN04IEEE International Conference on Networking

6 9.3 Rapporti Tecnici 26. A small scale reflection extension for the Coq system. Georges Gonthier and Assia Mahboubi and Enrico Tassi. Technical report INRIA HAL Modified Realizability and Inductive Types. Andrea Asperti and Enrico Tassi, June Technical report UBLCS Tesi 28. Interactive Theorem Provers: issues faced as a user and tackled as a developer. Enrico Tassi. Ph.D. thesis, Department of Computer Science, University of Bologna, March Chairperson: Professor Andrea Asperti. Reviewers: Professor Georges Gonthier and Professor Frédéric Blanqui. Note Quanto dichiarato nel presente curriculum corrisponde a verità ai sensi degli articoli 46 e 47 del D.P.R. 445/2000 6

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

Corso di Sistemi Operativi

Corso di Sistemi Operativi Alma Graduate School - Universita' di Bologna Master in Tecnologia del Software Libero e Open Source A.A. 2005-2006 Corso di Sistemi Operativi Prof. Anna Ciampolini Dott. Stefano

Dettagli

MARCO ISOPI CURRICULUM VITAE ET STUDIORUM

MARCO ISOPI CURRICULUM VITAE ET STUDIORUM MARCO ISOPI CURRICULUM VITAE ET STUDIORUM DATA E LUOGO DI NASCITA:: 11 Aprile 1963. Roma. Recapito: Via Pavia 4, 00161 Roma. Telefono: 06-4441646 349 2701429 e-mail: isopi@mat.uniroma1.it TITOLI DI STUDIO

Dettagli

Curriculum in lingua italiana Laurea in Lettere classiche presso l Università degli Studi di Pisa nel 1972, con il massimo dei voti e la lode

Curriculum in lingua italiana Laurea in Lettere classiche presso l Università degli Studi di Pisa nel 1972, con il massimo dei voti e la lode TORRICELLI Patrizia Professore ordinario Curriculum in lingua italiana Laurea in Lettere classiche presso l Università degli Studi di Pisa nel 1972, con il massimo dei voti e la lode Perfezionamento in

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

La Laurea Magistrale in Informatica 2014-15

La Laurea Magistrale in Informatica 2014-15 Università degli studi di Udine La Laurea Magistrale in Informatica 2014-15 Consiglio del Corso di Studi (CCS) in Materie Informatiche Aprile 2014 E-mail: tutoratoinformatica@uniud.it Il piano di studi

Dettagli

AILA (Associazione Italiana di Logica e sue Applicazioni) RELAZIONE 2008

AILA (Associazione Italiana di Logica e sue Applicazioni) RELAZIONE 2008 AILA (Associazione Italiana di Logica e sue Applicazioni) RELAZIONE 2008 1. Attività 2008 1.1. Attività scientifica Nel 2008 sono stati patrocinati: - ManyVal '08, Application of Topological Dualities

Dettagli

Valentina Poggioni Curriculum Vitae

Valentina Poggioni Curriculum Vitae Valentina Poggioni Curriculum Vitae Dati Anagrafici Nome e Cognome: Valentina Poggioni Luogo e Data di Nascita: Umbertide (PG), 12/07/1976 Residenza: Umbertide (PG), Via Kennedy 7, Cap.06019 Codice Fiscale:

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

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 Indirizzo DALZOTTO GIORGIO VIA DEI FRANCESCONI 19F, 55061, CAPANNORI, ITALIA Telefono 3490676576 Fax E-mail

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

Formazione, attività scientifica e/o professionale

Formazione, attività scientifica e/o professionale IDA DE BONIS NATA A FONDI l'8/11/1985 Formazione, attività scientifica e/o professionale Titoli accademici e altri titoli Diploma di maturità classica con indirizzo piano nazionale informatico (PNI), c/o

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

Nome TAMBORRA VALERIA INES VALENTINA Indirizzo Via Gramegna, 34, 70037 Ruvo di Puglia (BA) Telefono 392 395 86 79 E-mail valeria.tamborra@gmail.

Nome TAMBORRA VALERIA INES VALENTINA Indirizzo Via Gramegna, 34, 70037 Ruvo di Puglia (BA) Telefono 392 395 86 79 E-mail valeria.tamborra@gmail. F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome TAMBORRA VALERIA INES VALENTINA Indirizzo Via Gramegna, 34, 70037 Ruvo di Puglia (BA) Telefono 392 395 86 79 E-mail valeria.tamborra@gmail.com

Dettagli

CURRICULUM VITAE - PAOLA RUBBIONI

CURRICULUM VITAE - PAOLA RUBBIONI CURRICULUM VITAE - PAOLA RUBBIONI PERSONAL DATA Full Name: PAOLA RUBBIONI Place and Date of Birth: Perugia, 16.09.1968 Citizenship: italian Marital status: married CURRICULUM STUDIORUM and POSITIONS Grant

Dettagli

Tavola 1 - Prezzi al consumo relativi alla benzina verde con servizio alla pompa. Firenze, Grosseto, Pisa, Pistoia. Da Agosto 2008 ad Aprile 2012

Tavola 1 - Prezzi al consumo relativi alla benzina verde con servizio alla pompa. Firenze, Grosseto, Pisa, Pistoia. Da Agosto 2008 ad Aprile 2012 Tavola 1 - Prezzi al consumo relativi alla benzina verde con servizio alla pompa. Firenze, Grosseto, Pisa, Pistoia. Benzina verde con servizio alla pompa Ago-08 Set-08 Ott-08 Nov-08 Dic-08 Firenze 1,465

Dettagli

Mar2007- Professore di II fascia nel settore Scientifico-disciplinare SPS/04 (Scienza Politica), Università di Pavia

Mar2007- Professore di II fascia nel settore Scientifico-disciplinare SPS/04 (Scienza Politica), Università di Pavia Guido Legnante - Curriculum Dati personali Nato a Pavia il 20 Marzo 1971, coniugato, due figli Indirizzo: Dipartimento di Studi Politici e Sociali, Università degli Studi di Pavia, Corso Strada Nuova 65,

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

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

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

Curriculum Vitæ: Maria-Laura TORRENTE

Curriculum Vitæ: Maria-Laura TORRENTE Curriculum Vitæ: Maria-Laura TORRENTE Informazioni Personali Indirizzo: Via Sarciara, 2/G 19020 Vezzano Ligure (SP) Italia Email: torrente@dima.unige.it Data di nascita: 17 Gennaio 1979 a La Spezia Nazionalità:

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

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 LUCCARONI ANDREA Indirizzo Telefono 0546 691361 Fax 0546 691169 E-mail andrea.luccaroni@comune.faenza.ra.it

Dettagli

Curriculum Vitae. Attività di Ricerca

Curriculum Vitae. Attività di Ricerca Curriculum Vitae Elena Bellodi ha conseguito la laurea triennale con lode in Ingegneria Informatica e dell Automazione presso l Università di Ferrara nel 2007, e la laurea specialistica con lode ed encomio

Dettagli

VI Conferenza Italiana sul Software Libero

VI Conferenza Italiana sul Software Libero VI Conferenza Italiana sul Software Libero Università Politecnica delle Marche 22/23 giugno 2012 con giornata del 21 aspettando la CONFSL La Conferenza Italiana sul Software Libero è una manifestazione

Dettagli

Curriculum Vitae Samuele Mongodi

Curriculum Vitae Samuele Mongodi Curriculum Vitae Samuele Mongodi Contatti Nome: Samuele Mongodi Recapito Ufficio: p/o SNS, Piazza dei Cavalieri 7, 56126 Pisa, Italy Studio: 118 E-mail: s.mongodi@sns.it, samuele.mongodi@gmail.com Home-page:

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

Via L. Bianciardi n 93, 58100, Grosseto (GR), Italia TELEFONO +39 0564 495032 CELLULARE +39 347 8689180 EMAIL

Via L. Bianciardi n 93, 58100, Grosseto (GR), Italia TELEFONO +39 0564 495032 CELLULARE +39 347 8689180 EMAIL CURRICULUM VITAE -2010 Informazioni personali NOME Giulio Rossetti INDIRIZZO Via L. Bianciardi n 93, 58100, Grosseto (GR), Italia TELEFONO +39 0564 495032 CELLULARE +39 347 8689180 EMAIL giulio.rossetti@gmail.com

Dettagli

Italian Journal Of Legal Medicine

Italian Journal Of Legal Medicine Versione On Line: ISSN 2281-8987 Italian Journal Of Legal Medicine Volume 1, Number 1. December 2012 Editore: Centro Medico Legale SRL - Sede Legale: Viale Brigata Bisagno 14/21 sc D 16121 GENOVA C.F./P.IVA/n.

Dettagli

F ORMATO EUROPEO PER IL CURRICULUM VITAE

F ORMATO EUROPEO PER IL CURRICULUM VITAE F ORMATO EUROPEO PER IL CURRICULUM VITAE Il sottoscritto/a Antonio Picerni, ai sensi degli art.46 e 47 DPR 445/2000, consapevole delle sanzioni penali previste dall art.76 del DPR 445/2000 e successive

Dettagli

(D.R. n. 362 del 18/6/2008, il cui avviso è stato pubblicato nel supplemento ordinario alla G.U. - 4 serie speciale - n. 50 del 27/06/2008)

(D.R. n. 362 del 18/6/2008, il cui avviso è stato pubblicato nel supplemento ordinario alla G.U. - 4 serie speciale - n. 50 del 27/06/2008) VALUTAZIONE COMPARATIVA PER LA COPERTURA DI N. 1 POSTO DI PROFESSORE UNIVERSITARIO DI RUOLO DI PRIMA FASCIA PER IL SETTORE SCIENTIFICO-DISCIPLINARE INF/01 (INFORMATICA) DELLA FACOLTA' DI SCIENZE E TECNOLOGIE

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

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

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

DEIS Università degli studi di Bologna Viale Risorgimento 2 Bologna Tipo di azienda o settore Università Tipo di impiego Collaborazione professionale

DEIS Università degli studi di Bologna Viale Risorgimento 2 Bologna Tipo di azienda o settore Università Tipo di impiego Collaborazione professionale Date (da a) dal 25/09/2010 al 25/12/2010 Principali mansioni e Attività di supporto al progetto UE SMILING Date (da a) dal 01/06/2010 al 01/09/2010 Principali mansioni e Attività di supporto al progetto

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

Curriculum Vitae et Studiorum

Curriculum Vitae et Studiorum Curriculum Vitae et Studiorum Dati Personali Andrea Orazio Caruso Nato a Catania il 26/09/1967, coniugato con figli. Codice Fiscale: CRSNRR67P26C351Y Contatti: Res. e Dom.: Contrada Cubba Marletta 1, 95045,

Dettagli

Giovanni Belluzzo. Riepilogo. Esperienza. Head of Project & Portfolio Management Office giovanni.belluzzo@infocert.it

Giovanni Belluzzo. Riepilogo. Esperienza. Head of Project & Portfolio Management Office giovanni.belluzzo@infocert.it Giovanni Belluzzo Head of Project & Portfolio Management Office giovanni.belluzzo@infocert.it Riepilogo Ingegnere Elettronico, da circa 25 anni opero nel mondo ICT. Nel corso della mia carriera ho condotto

Dettagli

PROF.SSA CLAUDIA CASADIO - CURRICULUM ACCADEMICO, DIDATTICO E SCIENTIFICO

PROF.SSA CLAUDIA CASADIO - CURRICULUM ACCADEMICO, DIDATTICO E SCIENTIFICO PROF.SSA CLAUDIA CASADIO - CURRICULUM ACCADEMICO, DIDATTICO E SCIENTIFICO CURRICULUM ACCADEMICO Laurea in FILOSOFIA, conseguita presso l'università degli Studi di Bologna, A. A. 1975-76. Titolo della tesi

Dettagli

- 5 - Gen-03 Feb-03 Mar-03 Apr-03 Mag-03 Jun-03 Lug-03 Ago-03 Set-03

- 5 - Gen-03 Feb-03 Mar-03 Apr-03 Mag-03 Jun-03 Lug-03 Ago-03 Set-03 - 5 - Figura 1: Tassi di interesse a breve termine sui depositi bancari e un corrispondente tasso di mercato monetario (valori percentuali in ragione d anno; tassi sulle nuove operazioni) 2,5 2,5 1,5 0,5

Dettagli

Curriculum Vitae et Studiorum Caterina Stoppato

Curriculum Vitae et Studiorum Caterina Stoppato Curriculum Vitae et Studiorum Caterina Stoppato Informazioni personali Nome Caterina Stoppato Data e luogo di nascita 14 novembre 1982, Firenze Nazionalità italiana e statunitense Stato civile sposata

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

Votazione finale: 110/110. Conseguimento Laurea: 28/01/2014

Votazione finale: 110/110. Conseguimento Laurea: 28/01/2014 INFORMAZIONI PERSONALI Luigi Mignano Roma 25/03/2014 Sesso M Data di nascita 22/09/1986 Nazionalità Italiana Luogo di nascita Formia (LT) TITOLO DI STUDIO Laurea Magistrale Ingegneria delle Comunicazioni,

Dettagli

Piano Studi LS Classe 100/s 2006/2007 FATTO PREPARATO IN PREPAZIONE

Piano Studi LS Classe 100/s 2006/2007 FATTO PREPARATO IN PREPAZIONE 1 semestre: 26/09/2006 23/12/2006 (sospensione: 23/12/2006 19/02/2007) SESSIONE AUTUNNALE (09/01 18/02) ESAME Internet e e-government (Prof. Gianni Vercelli) Debito Cdl/SdC Descrizione CFU Sem Sede 33290

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

CURRICULUM VITAE PERCORSO SCOLASTICO CURRICULUM VITAE Assegnista di ricerca in Psicologia dello Sviluppo e dell Educazione Dipartimento di Psicologia, Università degli studi di Parma B.go Carissimi, 10 43100 Parma. Telefono: 0521-904825 Fax.

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

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 PASQUALE D'ANDRETI. Nome

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 PASQUALE D'ANDRETI. Nome 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 PASQUALE D'ANDRETI Telefono +39-0776-2993348 Fax +39-0776-299-3908 E-mail dandreti@unicas.it Nazionalità

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

L integrazione del Progetto ESTABLISH nel contesto della Scuola italiana

L integrazione del Progetto ESTABLISH nel contesto della Scuola italiana SEZIONE 6: FISICA GENERALE, DIDATTICA E STORIA DELLA FISICA TAVOLA ROTONDA: La ricerca didattica italiana nei Progetti Europei L integrazione del Progetto ESTABLISH nel contesto della Scuola italiana Claudio

Dettagli

CURRICULUM ATTIVITÀ DIDATTICA E SCIENTIFICA. di FRANCO TUTINO (Siderno, 13 dicembre 1947) franco.tutino@uniroma1.it

CURRICULUM ATTIVITÀ DIDATTICA E SCIENTIFICA. di FRANCO TUTINO (Siderno, 13 dicembre 1947) franco.tutino@uniroma1.it CURRICULUM ATTIVITÀ DIDATTICA E SCIENTIFICA di FRANCO TUTINO (Siderno, 13 dicembre 1947) franco.tutino@uniroma1.it ATTUALE POSIZIONE ACCADEMICA Professore Ordinario di Economia degli Intermediari Finanziari

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

(D.R. n. 362 del 18/6/2008, il cui avviso è stato pubblicato nel supplemento ordinario alla G.U. - 4 serie speciale - n. 50 del 27/06/2008)

(D.R. n. 362 del 18/6/2008, il cui avviso è stato pubblicato nel supplemento ordinario alla G.U. - 4 serie speciale - n. 50 del 27/06/2008) VALUTAZIONE COMPARATIVA PER LA COPERTURA DI N. 1 POSTO DI PROFESSORE UNIVERSITARIO DI RUOLO DI PRIMA FASCIA PER IL SETTORE SCIENTIFICO-DISCIPLINARE INF/01 (INFORMATICA) DELLA FACOLTA' DI SCIENZE E TECNOLOGIE

Dettagli

CURRICULUM VITAE. 2000 Diploma Linguistico conseguito presso il Liceo Scientifico Statale A. Roiti, Ferrara, con votazione finale 100/100.

CURRICULUM VITAE. 2000 Diploma Linguistico conseguito presso il Liceo Scientifico Statale A. Roiti, Ferrara, con votazione finale 100/100. CURRICULUM VITAE Dati personali Elena Polastri Nata a Portomaggiore (FE) il 27/03/1981 e-mail: plslne@unife.it Studi e Formazione 2000 Diploma Linguistico conseguito presso il Liceo Scientifico Statale

Dettagli

MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME.

MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. MATT. POME. TURNI FARMACIE APRILE 2016 Sab. 2 apr. Dom. 3 apr. Sab. 9 apr. Dom. 10 apr. Sab. 16 apr. Dom. 17 apr. Sab. 23 apr. Dom. 24 apr. Lun. 25 apr. Sab. 30 apr. Dom. 1 mag. MATT. POME. MATT. POME. MATT. POME.

Dettagli

Basi di dati. Basi di dati = database. Basi di dati

Basi di dati. Basi di dati = database. Basi di dati Basi di dati Da leggere: Cap. 6 Sawyer, Williams (testo A) Basi di dati = database Sono una delle applicazioni informatiche che hanno avuto il maggiore utilizzo in uffici, aziende, servizi -> oggi anche

Dettagli

Dott. FABRIZIO CUZZOTTI

Dott. FABRIZIO CUZZOTTI Dott. FABRIZIO CUZZOTTI Indirizzo: xxxxxxxxxxxxxxx, xxxxxxxxxxx Borgo Vercelli (Vc) Cellulare: 328-2922818 Telefono: xxxx-xxxxxxxxxx Sito Web: www.fabriziocuzzotti.com E-Mail: fabrizio@fabriziocuzzotti.com

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

Massimo Matthias Professore a contratto - Università degli Studi di Siena Consulente Aziendale

Massimo Matthias Professore a contratto - Università degli Studi di Siena Consulente Aziendale Massimo Matthias Professore a contratto - Università degli Studi di Siena Consulente Aziendale CURRICULUM VITAE FORMAZIONE Laurea in Economia e Commercio conseguita presso l Università degli Studi La Sapienza

Dettagli

2017 Cambridge Exams

2017 Cambridge Exams YLE starters - 57,00 44,00 YLE Movers A1 Qualunque data La prova ORALE generalmente 45/60 gg 60/90 gg 9 settimane è tenuta nella stessa data dopo dopo prima dello scritto l'esame l'esame 63,00 47,00 YLE

Dettagli

AVV. MATTEO GIACOMO JORI

AVV. MATTEO GIACOMO JORI CURRICULUM VITAE 1. Dati anagrafici e informazioni personali Matteo Giacomo Jori, nato a Milano il 1 giugno 1976 e ivi residente tel. 02.55011592 fax 02.5513884 email: matteo.jori@unimi.it - mg.jori@jori.org

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 Indirizzo BRIANTE CLAUDIO 51/A, via Drizza 20020 Solaro (Mi) Telefono 02 61 29 13 32 Cellulare 347 33 42

Dettagli

Mario Ossorio Curriculum vitae

Mario Ossorio Curriculum vitae Mario Ossorio Curriculum vitae Informazioni personali Data e luogo di nascita: Nazionalità: e-mail: 22/06/1977 - Napoli, Italia Italiana mario.ossorio@unina2.it Posizione accademica attuale 2012 - Ricercatore

Dettagli

ISTRUZIONE E FORMAZIONE

ISTRUZIONE E FORMAZIONE Principali mansioni e responsabilità Attività di ricerca negli ambiti: - Pari opportunità e carriere - Genere e immigrazione Date (da a) 01.09.2008 31.07.2009 Nome e indirizzo del datore di Universidad

Dettagli

Unipol Assicurazioni SpA Cumulative Auto Bologna 12/01/2015 11:18

Unipol Assicurazioni SpA Cumulative Auto Bologna 12/01/2015 11:18 ESER. POL AGEN. POL RAMO POL NUM. POL. ESER. SIN AGEN. SIN. NUM. SIN RAMO SIN. ISPETTORATO DATA AVVENIM. DATA CHIUSURATIPO DEN. TIPO CHIUSTP RESP ASSICURATO PREVENTIVO PAGATO DA RECUPERARE 2007 1467 130

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

Curriculum formativo e professionale

Curriculum formativo e professionale Curriculum formativo e professionale Informazioni personali Nome Sardi Alessandra Indirizzo 32, Piazza Leonardo da Vinci Milano - Italia Telefono +39 0223995160 Fax +39 0223996039 E-mail alessandra.sardi@polimi.it

Dettagli

SCHEDA BIOGRAFICA Le informazioni contenute in questa scheda verranno pubblicate sul sito dell Università Telematica UNINETTUNO

SCHEDA BIOGRAFICA Le informazioni contenute in questa scheda verranno pubblicate sul sito dell Università Telematica UNINETTUNO SCHEDA BIOGRAFICA Le informazioni contenute in questa scheda verranno pubblicate sul sito dell Università Telematica UNINETTUNO Corso di Laurea: Economia e gestione delle imprese Insegnamento/i: Matematica

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

a.trabucchi@trabuzone.com Project Manager Strategia e Sviluppo Analisi e miglioramento attività ospedaliere.

a.trabucchi@trabuzone.com Project Manager Strategia e Sviluppo Analisi e miglioramento attività ospedaliere. F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome ANDREA TRABUCCHI Indirizzo VIA CHAVEZ, 18 20131 MILANO (MI) Telefono (329) 7493893 Fax 0239296788 E-mail a.trabucchi@trabuzone.com Nazionalità

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

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 dell attività scientifica e didattica di. Stefania Funari

Curriculum dell attività scientifica e didattica di. Stefania Funari Curriculum dell attività scientifica e didattica di Stefania Funari Dipartimento di Matematica Applicata Università Ca Foscari di Venezia Dorsoduro 3825/E, 30123 Venezia Tel.: 0412346921, Fax: 0415221756

Dettagli

L Università telematica e la formazione a distanza

L Università telematica e la formazione a distanza L Università telematica e la formazione a distanza Prof.ssa Elisabetta Cioni Presidente del Corso di Laurea in Scienze della Comunicazione 1 IV Conferenza di Ateneo sulla Didattica, 17 maggio 2010 Prof.ssa

Dettagli

Corsi di Laurea in Scienze e Tecnologie Informatiche

Corsi di Laurea in Scienze e Tecnologie Informatiche Corsi di Laurea in Scienze e Tecnologie Informatiche Carla Piazza Facoltà di Scienze Matematiche Fisiche e Naturali Università degli Studi di Udine www.dimi.uniud.it/piazza/salone_studente_2012.pdf Corsi

Dettagli

Modina Silvio. silvio.modina@unimib.it FIRENZE, 11 FEBBRAIO 1959 MDN SLV 59B11 D612B

Modina Silvio. silvio.modina@unimib.it FIRENZE, 11 FEBBRAIO 1959 MDN SLV 59B11 D612B CURRICULUM VITAE INFORMAZIONI PERSONALI Cognome e Nome Indirizzo Modina Silvio VIA MOSCHINI, 17 37129 VERONA E-mail Nazionalità Luogo e Data di nascita Codice Fiscale silvio.modina@unimib.it ITALIANA FIRENZE,

Dettagli

0552347373 3291528022 jacopo.mazzoni@gmail.com

0552347373 3291528022 jacopo.mazzoni@gmail.com FORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Indirizzo Telefono Cellulare E-mail MAZZONI,JACOPO 20, VIA CARLO BOTTA, 50136, FIRENZE 0552347373 3291528022 jacopo.mazzoni@gmail.com

Dettagli

CURRICULUM DELL ATTIVITÀ SCIENTIFICA E DIDATTICA. di Giorgia Bellomonte

CURRICULUM DELL ATTIVITÀ SCIENTIFICA E DIDATTICA. di Giorgia Bellomonte CURRICULUM DELL ATTIVITÀ SCIENTIFICA E DIDATTICA di Giorgia Bellomonte La Dr. Giorgia Bellomonte è nata a Palermo il 30 Gennaio 1980. Ha conseguito il diploma di maturità scientifica presso il Liceo Scientifico

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Europass Informazioni personali Cognome(i) / Nome(i) Indirizzo(i) via G.B. Vico, 23, 20037 Paderno Dugnano (MI) (Italia) Cellulare +39 3381626150 E-mail marco_pitzalis@libero.it Cittadinanza

Dettagli

Algoritmi e Complessità

Algoritmi e Complessità Algoritmi e Complessità Università di Camerino Corso di Laurea in Informatica (tecnologie informatiche) III periodo didattico Docente: Emanuela Merelli Email:emanuela.merelli@unicam.it Lezione 2 Teoria

Dettagli

NVivo 7 Workshop July 14th 2007 presso International Institute of Qualitative Methodology IIQM, University of Alberta, Edmonton, AB, Canada.

NVivo 7 Workshop July 14th 2007 presso International Institute of Qualitative Methodology IIQM, University of Alberta, Edmonton, AB, Canada. Luca Ghirotto, Ph.D. Formazione accademica 2008 Curriculum scientifico, professionale e formativo Dottorato in Scienze della Cognizione e della Formazione, conseguito il 10/12/08 presso il Dipartimento

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

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

Arch. Davide Borra Presidente MIMOS

Arch. Davide Borra Presidente MIMOS 3 3 3 Arch. Davide Borra Presidente MIMOS presentazione generale 2010 www.mimos.it - info@mimos.it breve storia 1 Incontro informale, 23 Febbraio 2000, Torino 2 Work-shop SIREN, 3 Maggio 2000 Savona 3

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

MAURO BORIONI via Dal Lino, 27/2 40134 BOLOGNA 338 1539733 051 6154978 mauroborioni@gmail.com

MAURO BORIONI via Dal Lino, 27/2 40134 BOLOGNA 338 1539733 051 6154978 mauroborioni@gmail.com MAURO BORIONI via Dal Lino, 27/2 40134 BOLOGNA 338 1539733 051 6154978 mauroborioni@gmail.com DATI PERSONALI Data di nascita: 24-01-1973 Luogo di nascita: Bologna Stato civile: coniugato Posizione rispetto

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

Pisa, 15/02/2012. Corsi di studi in Ingegneria Informatica

Pisa, 15/02/2012. Corsi di studi in Ingegneria Informatica Pisa, 15/02/2012 Corsi di studi in Ingegneria Informatica Corsi di studi in Ingegneria Informatica Laurea triennale in Ingegneria Informatica Lauree magistrali in Computer Engineering Embedded Computing

Dettagli

Domenico Soldo Ingegnere

Domenico Soldo Ingegnere Curriculum VITÆ Novembre 2010 Domenico Soldo Dati personali Nome Cognome Data di nascita Indirizzo abitazione E-mail P. IVA Domenico Soldo 21/03/1983 Viale Liguria, 60, 74121, Taranto, Italy d.soldo@aeflab.net

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 MAURIZIO BIASINI 10, CHEMIN DES MOISSONS, 1294 GENTHOD, SVIZZERA Telefono 0041 22 9180 834 Fax

Dettagli

I progetti di ricerca del Dipartimento

I progetti di ricerca del Dipartimento Università di Pisa Dipartimento di Informatica I progetti di ricerca del Dipartimento Pisa, 12 13 giugno 2003 Progetti di ricerca Mix di progetti in essenziale alla luce dell evoluzione delle tecnologie

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 INFORMAZIONI PERSONALI. Casullo Fabiola Data di nascita 07/04/1961. Amministrazione ASL AVELLINO (EX ASL 1 e 2)

CURRICULUM VITAE INFORMAZIONI PERSONALI. Casullo Fabiola Data di nascita 07/04/1961. Amministrazione ASL AVELLINO (EX ASL 1 e 2) INFORMAZIONI PERSONALI Nome Casullo Fabiola Data di nascita 07/04/1961 Qualifica I Fascia Amministrazione ASL AVELLINO (EX ASL 1 e 2) Incarico attuale Numero telefonico dell ufficio Dirigente - UOC SIA

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) Cinzia Bocchi Via Canelli 97-10127 Torino Telefono(i) 011 6638207 Cellulare: 333 7241467 E-mail bocchicinzia@alice.it

Dettagli

CURRICULUM VITAE RAGIONATO

CURRICULUM VITAE RAGIONATO CURRICULUM VITAE RAGIONATO CURRICULUM SINTETICO Cognome e nome: FLOREANI MARIA GRAZIA Luogo e data di nascita: Milano, 24/03/1967 Titolo di studio: Posizione attuale: Società: Sede: Laurea in Fisica (110/110)

Dettagli

V E R B A L E N. 2 (PRESA VISIONE DEI DOCUMENTI INVIATI DAI CANDIDATI)

V E R B A L E N. 2 (PRESA VISIONE DEI DOCUMENTI INVIATI DAI CANDIDATI) Valutazione comparativa per la copertura di n. 1 posti di ricercatore universitario per il settore scientifico disciplinare ING-INF04 (Automatica) presso la Facoltà di Ingegneria dell Università degli

Dettagli

Alberto Benvegnù. Titoli di studio

Alberto Benvegnù. Titoli di studio Padova, gennaio 2014 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

AVV. MATTEO GIACOMO JORI

AVV. MATTEO GIACOMO JORI CURRICULUM VITAE 1. Dati anagrafici e informazioni personali Matteo Giacomo Jori, nato a Milano il 1 giugno 1976 e ivi residente tel. 02.55011592 fax 02.5513884 - email: matteo.jori@unimi.it - mg.jori@jori.org

Dettagli