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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(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

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

FACOLTA DI ECONOMIA. CORSO DI LAUREA MAGISTRALE IN SCIENZE ECONOMICHE Classe LM-56 Insegnamento di Marketing SSD SECS-P/08 9 CFU A.A.

FACOLTA DI ECONOMIA. CORSO DI LAUREA MAGISTRALE IN SCIENZE ECONOMICHE Classe LM-56 Insegnamento di Marketing SSD SECS-P/08 9 CFU A.A. FACOLTA DI ECONOMIA CORSO DI LAUREA MAGISTRALE IN SCIENZE ECONOMICHE Classe LM-56 Insegnamento di Marketing SSD SECS-P/08 9 CFU A.A. 2014-2015 Docente: Prof. Mario Risso E-mail: mario.risso@unicusano.it

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

Scuola Normale Superiore (Pisa)

Scuola Normale Superiore (Pisa) F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome TOMMASO ALPINA Nazionalità Italiana Data di nascita 02/10/1986 ESPERIENZA LAVORATIVA Date (da a) Nome e indirizzo del datore di lavoro

Dettagli

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

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

Dettagli

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

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

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 Vitae Paolo Di Giamberardino

Curriculum Vitae Paolo Di Giamberardino Informazioni generali Curriculum Vitae Paolo Di Giamberardino Luogo e data di nascita : Roma, 2 dicembre 1978 Nazionalità : Italiana Indirizzo privato : Via Lorenzo Vidaschi 12 00151 Roma Telefono : 3387197558

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

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

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

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

FACOLTA DI ECONOMIA. CORSO DI LAUREA TRIENNALE IN ECONOMIA AZIENDALE E MANAGEMENT Classe L/18 Insegnamento di Economia e Gestione delle Imprese

FACOLTA DI ECONOMIA. CORSO DI LAUREA TRIENNALE IN ECONOMIA AZIENDALE E MANAGEMENT Classe L/18 Insegnamento di Economia e Gestione delle Imprese FACOLTA DI ECONOMIA CORSO DI LAUREA TRIENNALE IN ECONOMIA AZIENDALE E MANAGEMENT Classe L/18 Insegnamento di Economia e Gestione delle Imprese SSD SECS-P/08 9 CFU A.A. 2014-2015 Docente: Prof. Mario Risso

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 SCIENTIFICO E DIDATTICO

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

Dettagli

CURRICULUM VITAE di GRANATA GIUSEPPE

CURRICULUM VITAE di GRANATA GIUSEPPE CURRICULUM VITAE di GRANATA GIUSEPPE Professore a contratto di Marketing Relazionale a.a. 2015-16 Dipartimento Lettere e Filosofia Uniclam TITOLI: - Dottore di ricerca in Economia indirizzo Direziona aziendale

Dettagli

Fabio Raciti. Curriculum vitae et studiorum

Fabio Raciti. Curriculum vitae et studiorum Fabio Raciti. Curriculum vitae et studiorum Indice 1. Campi di ricerca 2 2. Titoli di studio, corsi di perfezionamento, borse di studio e posizione professionale 2 3. Attività didattica 3 4. Attività di

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

- 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 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 di ANDREA FIACCHI

CURRICULUM VITAE di ANDREA FIACCHI CURRICULUM VITAE di ANDREA FIACCHI DATI PERSONALI Nome ANDREA FIACCHI Indirizzo Via Clelia, 35 00181 Roma Telefono cell.: (+39) 334 17 67 147 E-mail andrea.fiacchi@gmail.com Nazionalità italiana Data di

Dettagli

Curriculum of Concetta Laurita

Curriculum of Concetta Laurita Curriculum of Concetta Laurita PERSONAL DATA Cognome e nome : Laurita Concetta Birthdate: July 2, 1971 Birthplace: Potenza Italy Pregnancy and maternity leave: 19/08/2005-28/02/2006, 16/07/2008-23/02/2009

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

(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

F ORMATO EUROPEO INFORMAZIONI PERSONALI. Data di nascita 21 GENNAIO 1966 ESPERIENZA LAVORATIVA PER IL CURRICULUM VITAE

F ORMATO EUROPEO INFORMAZIONI PERSONALI. Data di nascita 21 GENNAIO 1966 ESPERIENZA LAVORATIVA PER IL CURRICULUM VITAE F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome ARMANDO STERNIERI Nazionalità Italiana Data di nascita 21 GENNAIO 1966 ESPERIENZA LAVORATIVA Principali mansioni e responsabilità Principali

Dettagli

Curriculum Didattico e Scientifico

Curriculum Didattico e Scientifico Curriculum Didattico e Scientifico di Andrea Centomo 11 agosto 2012 Docente in ruolo di Matematica e Fisica presso il Liceo F. Corradini di Thiene (VI) Titolo di studio Laurea in Fisica dell Università

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

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

F O R M A T O E U R O P E O P E R 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 ARMANDO STERNIERI VIA SIROTTI, 19 42121 REGGIO EMILIA- ITALIA Telefono 0522/455141 Fax 0522/451382

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

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

F ORMATO EUROPEO PER IL CURRICULUM VITAE

F ORMATO EUROPEO PER IL CURRICULUM VITAE F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Foto Nome MAURO CHECCOLI Indirizzo VIA DEMETRIO BANDI 2 ARGENTA 44011 ITALIA Telefono Tel. 0532 85 24 22 Cel. 347 72 33 652 E-mail checcoli.info@gmail.com

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

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

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

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

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

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

Con la presente invio in allegato la mia candidatura come membro del Senato Accademico corredata dal mio curriculum. Cordiali saluti Emanuele Magi

Con la presente invio in allegato la mia candidatura come membro del Senato Accademico corredata dal mio curriculum. Cordiali saluti Emanuele Magi Da:"Per conto di: dcci@pec.unige.it" A: protocollo@pec.unige.it CC: Ricevuto il:25/09/2015 04:29 PM Oggetto:POSTA CERTIFICATA: candidatura Prof. Magi Senato Accademico

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

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

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

Dettagli

Curriculum di GEMME Luciano

Curriculum di GEMME Luciano Curriculum di GEMME Luciano Dati anagrafici: Nome: GEMME Luciano data di nascita: 14 agosto 1964 luogo di nascita: Serravalle Scrivia (AL) Telefono: 0143-65947 Cellulare: 392-0398907 E-mail: luciano@gemmeinformatica.it

Dettagli

LPIC-1 Junior Level Linux Certification

LPIC-1 Junior Level Linux Certification Corso 2012/2013 Introduzione a GNU/Linux Obiettivi Il percorso formativo ha l obiettivo di fornire ai partecipanti le competenze basilari necessarie per installare, configurare e gestire un server/workstation

Dettagli

Via Conte Amizzone, 10 Arona (NO) Italia. massimo@ramponi.eu; mramponi@liuc.it Italian. A.A. 2009/10 - oggi Professore a Contratto

Via Conte Amizzone, 10 Arona (NO) Italia. massimo@ramponi.eu; mramponi@liuc.it Italian. A.A. 2009/10 - oggi Professore a Contratto Europass Curriculum Vitae Informazioni Personali Nome e Cognome Indirizzo Massimo Ramponi Via Conte Amizzone, 10 Arona (NO) Italia Cellulare (+39) 348.3101147 Fax (+39) 0331.860998 E-mail Nazionalità massimo@ramponi.eu;

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

Relazioni triennali attività scientifica ricercatori universitari - art. 33 DPR 382/80. Dott.ssa Sara Biagini. Dott.

Relazioni triennali attività scientifica ricercatori universitari - art. 33 DPR 382/80. Dott.ssa Sara Biagini. Dott. Relazioni triennali attività scientifica ricercatori universitari - art. 33 DPR 382/80 Dott.ssa Sara Biagini Dott.ssa Elena Bruno Relazione triennale, ottobre 2011 - ottobre 2014 dott.ssa Sara Biagini

Dettagli

Laurea Triennale in Economia (TrEC)

Laurea Triennale in Economia (TrEC) Laurea Triennale in Economia (TrEC) Classe delle lauree in Scienze dell'economia e della gestione aziendale (L-18) Dipartimento di Scienze Economiche e Aziendali Marco Fanno Scuola di Economia e Scienze

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

Verbale del Consiglio Direttivo AILA

Verbale del Consiglio Direttivo AILA Verbale del Consiglio Direttivo AILA 21 ottobre 2006 Il giorno 21 ottobre 2006 alle ore 9.00 il Consiglio Direttivo AILA si è riunito per via telematica, convocato dal Presidente con messaggio di posta

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

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

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

Dettagli

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

nelle aziende (XX ciclo) Università degli Studi di Parma POSIZIONE ACCADEMICA ATTUALE POSIZIONE UNIVERSITARIA

nelle aziende (XX ciclo) Università degli Studi di Parma POSIZIONE ACCADEMICA ATTUALE POSIZIONE UNIVERSITARIA (Aggiornato a MARZO 2013) NOME E COGNOME E-MAIL Paola Ramassa ramassa@economia.unige.it CURRICULUM STUDI LAUREA Laurea in Economia e Commercio (indirizzo aziendale) Università degli Studi di Genova DOTTORATO

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

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

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

Agenda. Qualità e Misurazione: definizioni possibili. Modello QEST/LIME. Validazione degli indicatori di processo. Conclusioni

Agenda. Qualità e Misurazione: definizioni possibili. Modello QEST/LIME. Validazione degli indicatori di processo. Conclusioni Agenda Qualità e Misurazione: definizioni possibili Entità misurabili approccio IPO (Input-Processing-Output) approccio STAR (Software TAxonomy Revised) Analisi Multidimensionale Gestione dei progetti

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

Istruzione e formazione

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

Dettagli

CLAUDIO CICALI. Curriculum Vitae. Informazioni personali Domicilio: Via San Carlo 17, 40121 Bologna (ITALY) Nazionalità: Italiana

CLAUDIO CICALI. Curriculum Vitae. Informazioni personali Domicilio: Via San Carlo 17, 40121 Bologna (ITALY) Nazionalità: Italiana CLAUDIO CICALI Curriculum Vitae Informazioni personali Domicilio: Via San Carlo 17, 40121 Bologna (ITALY) Email: claudio@cicali.org, claudio.cicali@gmail.com Nazionalità: Italiana Data di nascita: 6 July

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