Curriculum Vitae Graziano Pravadelli

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Curriculum Vitae Graziano Pravadelli"

Transcript

1 Curriculum Vitae Grazian Pravadelli 1. Intrduzine 3 2. Dati persnali 3 3. Educazine 4 4. Ricnscimenti 4 5. Attività didattica Relatre di tesi di laurea Relatre di tesi di laurea magistrale Incarichi didattici Libri per la didattica Attività scientifica e di crdinament della ricerca Tecniche di mdellazine e simulazine di sistemi embedded Metdi semifrmali per la verifica di sistemi embedded Generazine autmatica di sequenze di test e mdellazine di guast Attività rganizzativa Prgetti eurpei ammessi a finanziament sulla base di bandi cmpetitivi cn revisine tra pari Prgetti nazinali ammessi a finanziament sulla base di bandi cmpetitivi cn revisine tra pari Prgetti industriali Prgetti di ricerca valutati psitivamente ma nn ammessi a finanziament _ Cmitati di prgramma, attività di revisine e di rganizzazine Attività istituzinale Risultati ttenuti nel trasferiment tecnlgic Cllabrazini Nazinali e Internazinali Elenc delle pubblicazini Lavri pubblicati su riviste internazinali cn cmitat di revisine Lavri pubblicati su atti di cngressi internazinali cn cmitat di revisine Lavri accettati per la pubblicazine su atti di cngressi internazinali cn cmitat di revisine 35

2 10.4 Capitli di libr su invit 35 2

3 1. Intrduzine Quest dcument riassume l attività scientifica, didattica e rganizzativa svlta da Grazian Pravadelli fin a Febbrai Dati persnali Grazian Pravadelli: nat a Legnag (VR) il 04 Lugli 1974 cniugat, 2 figli. Cntatti: Psizine attuale: Dipartiment di Infrmatica, Università di Verna, Strada le Grazie 15, I Verna. Tel Fax Web page: Dal 01/01/2014 Prfessre assciat cnfermat press il Dipartiment di Infrmatica dell Università di Verna. Dal 16/07/2007 sci fndatre e direttre del persnale di EDALab s.r.l., spin-ff dell Università di Verna la cui missine cnsiste nel frnire supprt per l'innvazine tecnlgica nel camp dei sistemi embedded di rete. Psizini precedenti: Dal 01/01/2011 al 31/12/2013 Prfessre assciat nn cnfermat press il Dipartiment di Infrmatica dell Università di Verna. Dal 01/01/2008 al 31/12/2010 Ricercatre cnfermat press il Dipartiment di Infrmatica dell Università di Verna. Dal 01/01/2005 al 31/12/2007 Ricercatre nn cnfermat press il Dipartiment di Infrmatica dell Università di Verna. Dal 01/01/2004 al 31/12/2004 Assegnista di ricerca press il Dipartiment di Infrmatica dell Università di Verna. 3

4 3. Educazine Dttrat: Laurea: in infrmatica, cnseguit il 18 Marz 2004 press l Università di Verna cn discussine di una tesi dal titl Using functinal verificatin t evaluate the accuracy f mdel checking applied t embedded systems: thery and applicatin (relatre Prf. Franc Fummi). in infrmatica, cnseguita il 10 Aprile 2001 press l Università di Verna. Vt di laurea 110/110 e lde, cn discussine di una tesi dal titl Simulazine di errre per descrizini VHDL e SystemC per il test funzinale (relatre Prf. Franc Fummi). 4. Ricnscimenti Best paper candidate: F. Cucchett, A. Lnardi, G. Pravadelli A cmmn architecture fr c-simulatin f SystemC mdels in QEMU and OVP virtual platfrms, In: FIP/IEEE Internatinal Cnference n Very Large Scale Integratin (VLSI-SOC). Playa del Carmen, Messic, 6-8 Ottbre M. Bnat, G. Di Guglielm, M. Fujita, F. Fummi, G. Pravadelli, Dynamic prperty mining fr embedded sftware. In: ACM/IEEE Internatinal Cnference n Hardware/Sftware Cdesign and System Synthesis (CODES+ISSS). Tampere, Finland, 7-12 Ottbre 2012, p , ISBN: N. Bmbieri, F. Fummi, G. Pravadelli. A Mutatin Mdel fr the SystemC TLM 2.0 Cmmunicatin Interfaces. In: ACM/IEEE Design, Autmatin and Test in Eurpe (DATE). Munich, Germany, Marz 2008, p , ISBN: Selected best paper: G. Di Guglielm, F. Fummi, C. Marcncini, G. Pravadelli. FATE: a Functinal ATPG t Traverse unstabilized EFSMs. In: IEEE Eurpean Test Sympsium (ETS). Suthamptn, UK, Maggi p , ISBN: Attività didattica L'attività didattica svlta finra da Grazian Pravadelli si è articlata sui seguenti punti: Ha seguit, in qualità di relatre, 56 tesi di laurea e 16 tesi di laurea magistrale. E tutr di due studenti di dttrat (Tara Ghasempuri e Alessandr Danese). 4

5 Ha svlt e svlge tuttra attività di insegnament press l Università di Verna, il Plitecnic di Milan e l Università di Trent. Ha partecipat alla stesura, alla revisine e alla traduzine di alcuni libri per la didattica. 5.1 Relatre di tesi di laurea Grazian Pravadelli è stat relatre della tesi di laurea dei seguenti studenti press l Università di Verna. 1. Crin Andrea: Scheduling di macchine a stati finiti estese per la generazine del test. 2. Filippini Davide: Mdellazine grafica di EFSM per la verifica di sistemi embedded. 3. Sancassani Albert: Ridefinizine dei cstrutti SystemC per la generazine di sftware embedded. 4. Bussinell Silvia: analisi dell utilizz dei dischi RAID in ambiente Linux. 5. Facchetti Mattia: definizine e implementazine di un algritm per la rappresentazine grafica di HLDD. 6. Carazzl Marc: Parsing di cdice Verilg per la generazine autmatica di descrizini in frmat HIF. 7. Guarnieri Valeri: Autmatic cde generatin fr CLP in Eclipse. 8. Pasini Tmmas: Definizine e implementazine di un algritm per la rappresentazine grafica di EFSM. 9. Zampini Marc: Traduzine autmatica di cdice HIF in Verilg. 10. Zantedeschi Nicla: Estensine di HIFSuite per la generazine autmatica di cdice Verilg. 11. Alban Francesc: Sistemi perativi e virus: stat dell arte e analisi critica. 12. Avesani Federica: Simulatre di algritmi per la prevenzine e rilevazine di deadlck tra prcessi cncrrenti. 13. Baicc Nicla: Traduzine autmatica di cdice Verilg in frmat HIF. 14. Venturelli Alessandr: generazine autmatica di descrizini HIF a partire da cdice VHDL. 15. Agstini Andrea: maniplazine di cdice HIF per la maniplazine di descrizini Verilg in SystemC. 16. Rizzell Claudia: Algritmi per la sstituzine delle pagine della memria virtuale. 17. Crghi Omar: Maniplazine di cdice HIF per la cnversine vers il frmat nusmv. 18. Lanza Giacm: Analisi e cmparazine di file system: ext3 e NTFS. 19. Dimni Iris: Studi di un ambiente per un prfiling di applicazini applicate alla verifica di sistemi embedded. 20. Ferrett Alessandr: svilupp di una metdlgia per l appiattiment di rappresentazini gerarchiche di mdelli HW. 21. Mndc Iacb Claudiu: svilupp di una distribuzine Linux Open Embedded per applicazini VOIP. 22. Mletta Stefan: Implementazine di un sistema di strage virtualizzat. 5

6 23. Zampedri Filipp: analisi dell architettura della cnsle Nintend Wii. 24. Peretti Lrenz: Algritmi di scheduling per sistemi real time. 25. Cucchett Filipp: Generazine autmatica di high level decisin diagrams. 26. Lra Michele: prfiling and simulatin-based insertin and ptimizatin f fault-tlerance assertins in embedded time-cnstrained systems. 27. Bertasi Michele: Generazine autmatica di macchine a stati finiti estese. 28. Maraia Oscar: prting del sistema perativ GNU/Linux e svilupp di device drivers per Nintend Wii. 29. Maffiletti Fabi: Valutazine di un framewrk PHP per applicazini web Fracass Carl: Valutazine di librerie grafiche per l svilupp di sftware embedded. 31. Reffat Riccard: Persnalizzazine di un framewrk PHP per applicazini web Perdmini Michael: Prting e svilupp di applicazini in ambiente Andrid per piattafrma Gumstix. 33. Martinelli Francesc: Implementazine di una piattafrma per l interperabilità di dispsitivi nell ambit hme autmatin. 34. Trentin Patrick: Isafephne: applicazine di dmtica per iphne. 35. Angeleri Stefan: Creating an pen clud cmputing-based file strage service. 36. Sartrelli Luca: Analisi del framewrk QT. 37. Ferrarett Davide: Tecniche di iniezine di guast per simulatri di prcessre. 38. Picclbni Luca: Generazine autmatica di sequenze di test per SW embedded. 39. Cstanzi Davide: generazine autmatica di mdelli IP-XACT. 40. Dalla riva Niclò: Implementazine di una metdlgia di regressin suite per VHDL2HIF. 41. Maschi Katia: Implementazine di una metdlgia di regressin suite per Verilg2HIF. 42. Andrea Falc: Svilupp di device driver ecs per piattafrme ATMEL 43. Angeleri Stefan: Creating an pen clud cmputing-based file strage service 44. Valzelli Mattia: Cpy On Write Filesystem cme strumenti di backup incrementale 45. Martinelli Marc: Prgettazine di un architettura embedded per applicazini specifiche 46. Battisti Thmas: Svilupp di un mdul AMG per integrazine cn BOXIO 47. Santr Givanni: Integrazine tra Tizen e radgui 48. Mntanari Andrea: Svilupp e testing di widget per il framewrk AMG 49. Demrzi Flrenc: GUI per Generatri TSL 50. Danzi Niclò: Prting C del framewrk AMG 51. Antlini Luca: Svilupp di un applicazine Andrid per la gestine dei rapprtini di Help Desk 52. Pali Mattia: Prgettazine e implementazine di un sistema dmtic a bass cst 53. Castellani Nicla: Prgettazine di applicazini embedded per mbed LPC Negri Andrea: Il sistema di supervisine dell ente fiera di verna 55. Lrenz Nier: Svilupp di un applicazine andrid per librett digitale dell pera lirica 6

7 56. Girdan Enric: Un sistema dmtic a bass cst piltat cn prtcll Mdbus 5.2 Relatre di tesi di laurea magistrale Grazian Pravadelli è stat relatre della tesi di laurea magistrale dei seguenti studenti press l Università di Verna. 1. Macchiella Albert: Astrazine di IP-cre da livell RT al livell transazinale. 2. Perni Nicla: Middleware per la gestine di chischi digitali multi-funzine. 3. Destr Pal: Generazine autmatica di sftware embedded a partire da cdice SystemC. 4. Massignani Mirk: Apprcci pseud-deterministic per la generazine del test funzinale basat su risluzine di vincli e backjumping per macchine a stati finiti estese. 5. Di Guglielm Luigi: Metdlgie per analizzare la vacuità di un insieme di prprietà tramite simulazine di guast. 6. Ferrari Michele: Verifica semifrmale dispsitivi basata sulla struttura del device driver. 7. Rdegher Marika: mdellazine di sftware embedded in ambietne HIFSuite. 8. Righetti Albert: Metdlgia per la traduzine autmatica di mdelli di sistemi embedded in linguaggi NuSMV. 9. Sffia Stefan: Generazine autmatica di sequenze di test per il sftware embedded. 10. Bnat Marc: Dynamic prperty mining fr embedded sftware validatin. 11. Ts David: Tautlgical vacuity thrugh Büchi autmata. 12. Brnuzzi Simne: Prfiling f racles fr tuning self-checking embedded sftware deplyment. 13. Bertasi Michele: Dynamic prperty mining fr ESL descriptins. 14. Cucchett Filipp: A cmmn apprach fr virtual prttyping f embedded systems wrking n bth QEMU and OVP. 15. Alessandr Danese: Dynamic specificatin mining with prperty qualificatin 16. Riccard Filippzzi: Autmatic prperties abstractin prcedure thrugh the RTL t TLM verificatin flw 5.3 Incarichi didattici Grazian Pravadelli ha ricevut i seguenti incarichi didattici cme dcente dell Università di Verna. Ann Accademic Università Crsi di Studi Insegnament Ore 2004/2005 Università di Verna Laurea in Infrmatica/ Infrmatica Multimediale 2004/2005 Università di Verna Laurea Specialistica in Infrmatica Sistemi Operativi 48 Sistemi Operativi Avanzati 44 7

8 Ann Accademic Università Crsi di Studi Insegnament Ore 2005/2006 Università di Verna Laurea in Infrmatica/ Infrmatica Multimediale 2005/2006 Università di Verna Laurea in Infrmatica Multimediale 2005/2006 Università di Verna Laurea Specialistica in Infrmatica 2006/2007 Università di Verna Laurea in Infrmatica/ Infrmatica Multimediale Sistemi Operativi 48 Labratri di Sistemi Operativi 48 Sistemi Operativi Avanzati 44 Sistemi Operativi /2007 Università di Verna Laurea in Infrmatica Labratri di Sistemi Operativi 2006/2007 Università di Verna Laurea Specialistica in Infrmatica 2006/2007 Università di Verna Master Universitari in Prgettazine e Gestine dei Sistemi di Rete 2007/2008 Università di Verna Laurea in Infrmatica/ Infrmatica Multimediale 48 Sistemi Operativi Avanzati 44 Sistemi per l Elabrazine delle Infrmazini di Rete 12 Sistemi Operativi /2008 Università di Verna Laurea in Infrmatica Labratri di Sistemi Operativi 2007/2008 Università di Verna Laurea Specialistica in Infrmatica 2008/2009 Università di Verna Laurea in Infrmatica/ Infrmatica Multimediale 48 Sistemi Operativi Avanzati 44 Sistemi Operativi /2009 Università di Verna Laurea in Infrmatica Labratri di Sistemi Operativi 2008/2009 Università di Verna Laurea Specialistica in Infrmatica 2008/2009 Università di Verna Laurea in Lingue e Letterature Straniere 48 Sistemi Operativi Avanzati 44 Infrmatica /2010 Università di Verna Laurea in Infrmatica Sistemi Operativi /2010 Università di Verna Laurea Magistrale in Ingegneria e Scienze Infrmatiche 2009/2010 Università di Verna Laurea Magistrale in Ingegneria e Scienze Infrmatiche 2009/2010 Università di Verna Laurea in Lingue e Letterature Straniere Sftware per sistemi embedded 24 Sistemi Operativi Avanzati 56 Infrmatica /2011 Università di Verna Laurea in infrmatica Sistemi perativi 80 8

9 Ann Accademic Università Crsi di Studi Insegnament Ore 2010/2011 Università di Verna Laurea in ingegneria e scienze infrmatiche 2010/2011 Università di Verna Laurea in ingegneria e scienze infrmatiche 2010/2011 Università di Verna Laurea in lingue e e culture per il turism e il cmmerci internazinale 2010/2011 Università di Verna Laurea in scienze delle attività mtrie e sprtive Sistemi perativi avanzati 56 Sftware per sistemi embedded 21 Infrmatica 32 Abilità infrmatiche /2012 Università di Verna Laurea in infrmatica Sistemi perativi /2012 Università di Verna Laurea in ingegneria e scienze infrmatiche 2011/2012 Università di Verna Laurea in ingegneria e scienze infrmatiche 2011/2012 Università di Verna Laurea in lingue e e culture per il turism e il cmmerci internazinale 2011/2012 Università di Verna Laurea in scienze delle attività mtrie e sprtive Sistemi perativi avanzati 56 Sftware per sistemi embedded 21 Infrmatica 32 Abilità infrmatiche /2013 Università di Verna Laurea in infrmatica Sistemi perativi /2013 Università di Verna Laurea in ingegneria e scienze infrmatiche 2012/2013 Università di Verna Laurea in ingegneria e scienze infrmatiche 2012/2013 Università di Verna Laurea in lingue e e culture per il turism e il cmmerci internazinale 2012/2013 Università di Verna Laurea in scienze delle attività mtrie e sprtive Sistemi perativi avanzati 56 Sftware per sistemi embedded 21 Infrmatica 32 Abilità infrmatiche /2014 Università di Verna Laurea in infrmatica Sistemi perativi /2014 Università di Verna Laurea in ingegneria e scienze infrmatiche 2013/2014 Università di Verna Laurea in ingegneria e scienze infrmatiche Sistemi perativi avanzati 56 Sftware per sistemi embedded 2014/2015 Università di Verna Laurea in infrmatica Sistemi perativi

10 Ann Accademic Università Crsi di Studi Insegnament Ore 2014/2015 Università di Verna Laurea in ingegneria e scienze infrmatiche 2014/2015 Università di Verna Laurea in ingegneria e scienze infrmatiche Sistemi perativi avanzati 56 Sftware per sistemi embedded Grazian Pravadelli ha ricevut i seguenti incarichi didattici cme dcente a cntratt. Ann Università Crs di Studi Insegnament Ore 2002/2003 Plitecnic di Milan 2003/2004 Università di Verna 2003/2004 Plitecnic di Milan 2003/2004 Plitecnic di Milan 2004/2005 Plitecnic di Milan 2004/2005 Plitecnic di Milan 2005/2006 Plitecnic di Milan 2005/2006 Plitecnic di Milan 2006/2007 Plitecnic di Milan 2006/2007 Plitecnic di Milan 2007/2008 Plitecnic di Milan 2007/2008 Plitecnic di Milan 2008/2009 Plitecnic di Milan Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Infrmatica/Tecnlgie dell Infrmazine Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti e Lgistica Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti e Lgistica Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti e Lgistica Labratri di Infrmatica B/C Labratri di Architettura degli Elabratri Labratri di Infrmatica B/C Seminari di Infrmatica B/C Labratri di Infrmatica B/C Seminari di Infrmatica B/C Labratri di Infrmatica B/C Seminari di Infrmatica B/C Labratri di Infrmatica B/C Seminari di Infrmatica B/C Labratri di Infrmatica B/C Seminari di Infrmatica B/C Labratri di Infrmatica B/C

11 Ann Università Crs di Studi Insegnament Ore 2008/2009 Plitecnic di Milan 2009/2010 Plitecnic di Milan 2009/2010 Plitecnic di Milan 2010/2011 Plitecnic di Milan 2010/2011 Plitecnic di Milan 2011/2012 Plitecnic di Milan 2011/2012 Plitecnic di Milan 2012/2013 Plitecnic di Milan 2012/2013 Plitecnic di Milan 2013/2014 Plitecnic di Milan 2013/2014 Plitecnic di Milan 2014/2015 Plitecnic di Milan 2014/2015 Plitecnic di Milan 2014/2015 Università di Trent Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti e Lgistica Laurea in Ingegneria Meccanica Laurea in Ingegneria Meccanica Laurea in Ingegneria Meccanica Laurea in Ingegneria Meccanica Seminari di Infrmatica B/C Labratri di Infrmatica B Seminari di Infrmatica B Labratri di Infrmatica B Seminari di Infrmatica B Laurea in ingegneria meccanica Infrmatica B (seminari) 28 Laurea in ingegneria meccanica Infrmatica B (labratri) Laurea in ingegneria meccanica Infrmatica B (seminari) 30 Laurea in ingegneria meccanica Infrmatica B (labratri) Laurea in ingegneria meccanica Infrmatica B (seminari) 28 Laurea in ingegneria meccanica Infrmatica B (labratri) Laurea in ingegneria meccanica Infrmatica B (seminari) 28 Laurea in ingegneria meccanica Infrmatica B (labratri) Laurea in infrmatica Sistemi perativi Grazian Pravadelli ha inltre ricevut l incaric per i seguenti insegnamenti nell ambit del prgett TANDEM. Ann Accademic Università Insegnament Ore 2011/2012 Università di Verna Infrmatica di base /2012 Università di Verna Infrmatica di base /2014 Università di Verna Infrmatica di base /2015 Università di Verna Infrmatica di base /2015 Università di Verna Sistemi embedded 20 Infine, Grazian Pravadelli ha ricevut l incaric per i seguenti insegnamenti nell ambit del Percrsi Abilitanti Speciali (PAS). Ann Accademic Università Insegnament Ore 2013/2014 Università di Verna Didattica e Labratri (mdul di sistemi perativi) 9 11

12 Ann Accademic Università Insegnament Ore 2014/2015 Università di Verna Didattica e Labratri (mdul di sistemi perativi) 2014/2015 Università di Verna Sistemi perativi e reti (mdul di sistemi perativi) 5.4 Libri per la didattica Grazian Pravadelli è c-autre del seguente capitl di libr: D. Btturi, F. Fntana, G. Pravadelli, "Appendice A: Labratri di Linux", in V. Manca "Metdi Infrmazinali", Bllati Bringhieri 2003, pp Grazian Pravadelli ha curat la traduzine dall inglese all italian dei seguenti libri: D.M. Dhamdhere, Operating systems. A cncept based apprach, McGraw-Hill, D.M. Dhamdhere, A Slutins Manual fr Operating systems. A cncept based apprach, McGraw-Hill, Istruzini Macchina IA-32, in C. Hamacher, Z. Vranesic, S. Zacky Intrduzine all architettura dei calclatri, McGraw-Hill 2007, pp Elenc delle Istruzini Macchina IA-32, in C. Hamacher, Z. Vranesic, S. Zacky Intrduzine all architettura dei calclatri, McGraw-Hill 2007, pp Grazian Pravadelli ha svlt attività di revisine per il seguenti libri: D.M. Dhamdhere, Operating systems. A cncept based apprach, McGraw-Hill Intenatinal Editin A. Bellini, A. Guidi, Linguaggi C - Guida alla prgrammazine, McGraw-Hill Attività scientifica e di crdinament della ricerca L'attività di ricerca cndtta da Grazian Pravadelli si articla nelle seguenti tre tematiche, parzialmente svlte all intern dei prgetti di ricerca citati nella Sezine Tecniche di mdellazine e simulazine di sistemi embedded. 2. Metdi semifrmali per la verifica di sistemi embedded. 3. Generazine autmatica di sequenze di test e mdellazine di guast. Pertant, l attività di ricerca di Grazian Pravadelli ha tccat gli aspetti principali del fluss di prgettazine di sistemi embedded, partend dalla fase di mdellazine e simulazine per terminare cn la fase di verifica e test. Una breve descrizine delle attività più recenti cndtte da Grazian Pravadelli su questi argmenti è riprtata nelle Sezini 6.1, 6.2 e 6.3. In questi ambiti, Grazian Pravadelli è stat: Respnsabile scientific di 14 assegni di ricerca press l Università di Verna: 12

13 1. Autmatic generatin f tempral prperties (Giugn 2013 Maggi 2015) 2. Analisi di crrettezza dei sistemi di cmunicazine in ambit ferrviari (Marz 2014 Marz 2015) 3. Definizine di una piattafrma verificabile per il risparmi energetic in ambit data center (Marz 2014 Dicembre 2015) 4. Estrazine dinamica di prprietà per la verifica di SW embedded (Giugn 2012-Marz 2014) 5. Definitin f a virtual prttyping methdlgy based n Open Virtual Platfrms (Maggi 2013-Marz 2014) 6. Definitin f a framewrk fr the implementatin f remte cntrl interfaces fr embedded systems (Aprile 2013-Marz 2014) 7. Verifica di sftware embedded (Lugli 2012-Gennai 2013) 8. Verifica dinamica basata su asserzini per SW embedded (Dicembre 2011-Lugli 2012) 9. Generazine del test per SW embedded guidata da vincli di inizializzazine (Maggi 2011-Marz 2012) 10. Verifica di SW embedded basata su simulazine di checker (Maggi Maggi 2012) 11. Verifica di SW embedded basata su generazine di sequenze di test (Aprile Aprile 2012) 12. Generazine del test deterministica basata su attraversament di macchine a stati finiti estese (Aprile-Nvembre 2011) 13. Cnversine autmatica di descrizini HDL in frmat HIF (Gennai 2009-Marz 2011) 14. Studi e realizzazine di strumenti per l svilupp di applicazini basate su reti di sensri (Gennai-Dicembre 2010) Oppnent durante la difesa della seguente tesi di dttrat: 1. Uljana Reinsalu. Fault Simulatin and Cde Cverage Analysis f RTL Designs Using High-Level Decisin Diagrams. Advisrs: Prf. Jaan Raik, Prf. Peeter Ellerve and Dr. Aleksander Sudnitsõn. Tallinn, Estnia, 12 Giugn Tecniche di mdellazine e simulazine di sistemi embedded La sempre crescente cmplessità dei mderni sistemi embedded richiede che i prgettisti cnsiderin aspetti etergenei e spess tra lr cnflittuali, cme, per esempi, l adzine di differenti livelli di astrazine, l integrazine di cmpnenti digitali e analgiche, l impieg di HW-dependent sftware, la cnsapevlezza della presenza di un ambiente fisic in cui il sistema è inserit, ecc.. Tale etergeneità è stata affrntata per mezz di vari apprcci di mdellazine e simulazine, seguend metdlgie sia tpdwn che bttm-up, integrand tecniche di mdel-based design, cmpnent-based design e csimulazine. In tale cntest, appare evidente però la mancanza di un mdell cmputazinale 13

14 ampiamente accettat che permetta di integrare cmpnenti etergenee in una descrizine mgenea facilmente maniplabile e simulabile durante le varie fasi del fluss di prgettazine. In quest ambit, Grazian Pravadelli ha crdinat la definizine e l implementazine di un ambiente di mdellazine per sistemi embedded (HIFSuite) basat sul frmat di interscambi HIF (Hetergeneus Intermediate Frmat), e la definizine di un mdell cmputazinale UNIVERcm (Universal Versatile Cmputatinal Mdel) che permette di frmalizzare la semantica di descrizini HIF [3, 26]. Sulla base di HIFSuite, Grazian Pravadelli ha quindi definit varie tecniche e metdlgie per la mdellazine, l integrazine, la simulazine e la verifica (Sezine 6.2) di sistemi embedded [6, 22, 31, 33, 34, 42]. Di particlare interesse risulta essere la definizine di una tecnica autmatica per l astrazine di mdelli RTL (Register Transfer Level) in mdelli TLM (Transactin Level Mdel) [6] che permette di evitare la c-simulazine di descrizini miste RTL-TLM, il cui svantaggi principale cnsiste nel rallentament della simulazine a livell delle cmpnenti più lente (vver quelle RTL), per beneficiare appien della maggir velcità dei mdelli TLM. La maggir parte delle attività legate a HIFSuite e UNIVERcm sn state realizzate nell ambit dei prgetti Eurpei SYMBAD, VERTIGO, CONTREX, COMPLEX, SMAC e TOUCHMORE (Sezine 7.1) per i quali HIFSuite è divenut l strument principale per la realizzazine di piattafrme virtuali per la simulazine e la verifica di sistemi cmplessi. HIFSuite è attualmente un prdtt cmmerciale di EDALab. 6.2 Metdi semifrmali per la verifica di sistemi embedded Nell ambit della verifica di sistemi embedded, l attività di ricerca di Grazian Pravadelli si è fcalizzata sulla definizine di tecniche semi-frmali e in particlare sull studi di prcessi di autmatizzazine e ttimizzazine di metdlgie di verifica basate su asserzini temprali. In tale cntest, i principali filni di ricerca affrntati sn: Verifica basata su asserzini per sftware embedded [1, 5, 25, 30, 32, 36, 38, 40]. Il cntribut principale di Grazian Pravadelli è rappresentat dall aver definit una metdlgia e un strument autmatizzat (radcheck) per pter applicare assertin-based verificatin (ABV) al mnd del SW embedded. Le tecniche di ABV sn prevalentemente adttate per verificare descrizini basate su sistemi di transizine (e.g., macchine a stati finiti estese) tipici del livell di astrazine RTL, dve il riferiment temprale per la sincrnizzazine dei mdelli e dei checker (cmpnenti simulabili crrispndenti alle asserzini desiderate), è strettamente legat al cncett di cicl di clck. Nell ambit del sftware embedded, l assenza di un csì precis riferiment temprale rende mlt più difficile l applicazine di tecniche di ABV. Tale limitazine è stata superata in [1, 30] sfruttand i principi della mdellazine mdel-based. L attività di ricerca ha guidat l implementazine di radcheck, strument autmatic per la verifica basata su asserzini di sftware embedded realizzat nell ambit del prgett VAFER finanziat dalla regine Venet. radcheck è attualmente cmmercializzat da STMPrducts e 14

15 sviluppat in cllabrazine cn EDALab cn la supervisine scientifica di Grazian Pravadelli. Altri rilevanti cntributi sn stati prdtti nell ambit dell ttimizzazine delle asserzini in sistemi real-time, per evitare che i vincli temprali impsti da tali sistemi fsser sfrati a causa del temp richiest per la verifica delle asserzini in un cntest di self-checking [5, 25, 40]. Generazine autmatica di asserzini [18, 29, 97]. In questi lavri, il tradizinale fluss che prevede prima la definizine di asserzini crrispndenti alle specifiche e pi la lr verifica rispett all implementazine viene capvlt. In [8, 16, 97] sn presentate alcune metdlgie, per l estrazine autmatica di asserzini a partire dalle tracce di simulazine di una descrizine HW/SW. Le asserzini estratte pssn quindi essere cnfrntate cn le specifiche iniziali per analizzare eventuali discrepanze, sintm di una nn crretta implementazine. Rispett alle tecniche già esistenti in letteratura che si limitan ad estrarre prprietà Bleane, i lavri di Grazian Pravadelli si distingun per la capacità di generare asserzini che predican sia sul dmini Blean che su quell nn Blean estraend relazini aritmetic-lgiche tra tipi di dati interi. Riutilizz e astrazine autmatica di asserzini [37, 41, 19, 98]. Le prblematiche legate all integrazine e simulazine di descrizini rappresentate a differenti livelli di astrazine (e.g., RLT e TLM) e su dmini diversi (e.g., analgic, digitale) si rispecchian in md ancr più marcat nel cntest della lr verifica. Un asserzine inizialmente scritta per un mdell analgic nn può essere riutilizzata per verificare il crrispndente mdell digitale dp la sua discretizzazine. Analgamente, una asserzine definita a livell RTL necessità di essere riscritta quand ci si spsta vers il livell TLM. In quest ambit, l attività di Grazian Pravadelli si è cncentrata nella definizine di metdlgie autmatiche per il rius e l astrazine di asserzini su dmini e livelli diversi al fine di evitarne dispendise (in termini di temp) e rischise (in termini di errri che pssn essere intrdtti) riscritture manuali. In particlare, mentre esistn vari lavri che prpngn apprcci per il riutilizz di asserzini da TLM a RTL, l astrazine di asserzini da RTL a TLM è stata affrntata per la prima vlta in [19, 98]. La maggir parte delle attività legate alla verifica-semifrmale di sistemi embedded sn state realizzate nell ambit dei prgetti EFFORT, VAFER, OPTIMUM e SMAC e da cllabrazini tra EDALab e l Università di Verna. 6.3 Generazine autmatica di sequenze di test e mdellazine di guast La generazine autmatica di sequenze di test è alla base di tutte le tecniche di verifica e test che si basan su simulazine. Mlt spess tale generazine è guidata da metriche che richiedn l applicazine di mdelli di guast per simulare la presenza di errri (di prgettazine) di difetti (fisici) all intern del mdell e/ della sua implementazine. Tali metriche misuran la qualità delle sequenze generate in base alla lr capacità di trvare i guasti iniettati cmparand i risultati di mdell/implementazine priva di 15

16 guasti cn quelli dei mdelli/implementazini perturbati dai guasti. In quest ambit, Grazian Pravadelli ha prpst numerse tecniche per la generazine di sequenze di test integrand apprcci simblici, cnclici e cncreti [7, 35]. Inltre, Grazian Pravadelli ha definit un linguaggi per la specifica di sequenze di test (Testbench Specificatin Language) [27, 18] particlarmente adatt per rappresentare cn pche e semplici direttive i vincli che devn essere sddisfatti per attivare (e quindi verificare) particlari cndizini che nn sarebber analizzabili usand i più tradizinali apprcci prbabilistici e che richiederebber risrse spazi-temprali trpp nerse adttand tecniche esaustive. L attività di ricerca di Grazian Pravadelli è stata cndtta anche nell ambit della mdellazine di guast [4, 1, 23, 28, 39, 99], sia per descrizini hardware che per sftware embedded. In particlare, appare rilevante il lavr pubblicat in [7] dve per la prima vlta viene definit un mdell di guast per descrizini TLM. La maggir parte delle attività legate alla verifica-semifrmale di sistemi embedded sn state realizzate nell ambit dei prgetti VAFER e OPTIMUM e da cllabrazini tra EDALab e l Università di Verna. 7. Attività rganizzativa Grazian Pravadelli ha partecipat ad attività rganizzative nell ambit di: prgetti nazinali e internazinali; cmitati di prgramma, attività di revisine e rganizzazine; attività istituzinali. 7.1 Prgetti eurpei ammessi a finanziament sulla base di bandi cmpetitivi cn revisine tra pari Grazian Pravadelli ha partecipat all attività di ricerca scientifica per i seguenti prgetti. 1. Titl: Design f embedded mixed-criticality cntrl systems under cnsideratin f extrafunctinal prperties (CONTREX FP7-ICT ) Sggett finanziatre: Cmunità Eurpea Durata: Ottbre 2013-Settembre 2016 Numer di partner: 15 Finanziament ttenut: 241, Rul nel prgett: Respnsabile scientific delle attività di system analysis, validatin and explratin per l unità lcale e dell ambiente HIFSuite (www.hifuite.cm) Ente cinvlt: EDALab s.r.l. 2. Titl: Smart system c-design (SMAC FP7-ICT ) Sggett finanziatre: Cmunità Eurpea Durata: Ottbre 2011-Marz 2015 Numer di partner: 17 Finanziament ttenut: 473, Rul nel prgett: Respnsabile scientific del WP2 per l unità lcale e dell ambiente HIFSuite 16

17 (www.hifuite.cm) Ente cinvlt: EDALab s.r.l. 3. Titl: Autmatic Custmizable Tl-chain fr Hetergeneus Multicre Platfrm Sftware Develpment (TOUCHMORE FP7-ICT ) Sggett finanziatre: Cmunità Eurpea Durata: Settembre 2011-Settembre 2014 Numer di partner: 8 Finanziament ttenut: 300, Rul nel prgett: Respnsabile scientific dell ambiente HIFSuite (www.hifsuite.cm) Ente cinvlt: Università di Verna 4. Titl: Cdesign and pwer management in platfrm-based design space explratin (COMPLEX FP7-ICT ) Sggett finanziatre: Cmunità Eurpea Durata: Decembre 2009-Marz 2013 Numer di partner: 8 Finanziament ttenut: 258, Rul nel prgett: Respnsabile scientific dell ambiente HIFSuite (www.hifsuite.cm) Ente cinvlt: EDALab s.r.l. 5. Titl: A crrect-by Cnstructin Wrkbench fr Design and Verificatin f Embedded Systems (COCONUT FP IST ) Sggett finanziatre: Cmunità Eurpea Durata: Gennai 2008-Giugn 2010 Numer di partner: 11 Finanziament ttenut: Rul nel prgett: Direttre tecnic del prgett per gli aspetti legati alla verifica delle cmpnenti digitali Ente cinvlt: Università di Verna. 6. Titl: Verificatin and Validatin f Embedded Systems Design Wrkbench (VERTIGO IST ) Sggett finanziatre: Cmunità Eurpea Durata: Giugn 2006 Nvembre 2008 Numer di partner: 7 Finanziament ttenut: Rul nel prgett: Respnsabile tecnic dell unità lcale Ente cinvlt: Università di Verna. 7. Titl: Frmal verificatin in system level based design (SYMBAD IST ) Sggett finanziatre: Cmunità Eurpea Durata: Marz 2002 Ottbre 2004 Numer di partner: 4 17

18 Finanziament ttenut: Rul nel prgett: Crdinatre dell svilupp delle applicazini dell unità lcale Ente cinvlt: Università di Verna. 7.2 Prgetti nazinali ammessi a finanziament sulla base di bandi cmpetitivi cn revisine tra pari Prgetti nazinali ammessi a finanziament sulla base di bandi cmpetitivi cn revisine tra pari: 1. Titl: Smart ple WSN netwrk (SPAWNE) Sggett finanziatre: Università di Verna, Telefin (Jint prject) Durata: Gennai 2015-Dicembre 2015 Numer di partner: 2 Finanziament ttenut: 31, Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 2. Titl: Verifica frmale di sftware mdellat e generat autmaticamente (VAFER) Sggett finanziatre: Regine Venet / Assciazine Tempranea di Imprese denmianata Verilab Durata: Ottbre 2010 Settembre 2012 Numer di partner: 4 Finanziament ttenut: 221, Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 3. Titl: Optimizing dependability via mutatin analysis fr micrelectrnics (OPTIMUM) Sggett finanziatre: Università di Verna, STMPrducts (Jint prject) Durata: Gennai 2011-Dicembre 2012 Numer di partner: 2 Finanziament ttenut: 85, Rul nel prgett: C-respnsabile scientific del prgett Ente cinvlt: Università di Verna 4. Titl: An EFSM-based Framewrk fr Designing and Verifying Embedded Sftware (EFFORT) Sggett finanziatre: Università di Verna, STMPrducts (Jint prject) Durata: Gennai 2008-Dicembre 2009 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Direttre tecnic del prgett Ente cinvlt: Università di Verna 5. Titl: Yield Imprvement in Nantechnlgy Prductin Prcess f Standard Cells Based Integrated Circuits (ImpNanIC) Sggett finanziatre: Università di Verna, PDF Slutins (Jint prject) 18

19 Durata: Gennai 2007-Dicembre 2007 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Direttre tecnic del prgett Ente cinvlt: Università di Verna 6. Titl: A smth refinement flw fr c-designing f hardware/sftware threads (SOFT) Sggett finanziatre: Università di Verna (Givani ricercatri 2006) Durata: Gennai 2007-Dicembre 2007 Numer di partner: 1 Finanziament ttenut: 2500 Rul nel prgett: Respnsabile scientific Ente cinvlt: Università di Verna 7. Titl: Mdeling, simulatin and verificatin f MPSC platfrms Sggett finanziatre: MIUR (PRIN 2005) Durata: Gennai 2006-Dicembre 2008 Numer di partner: 5 Finanziament ttenut: Rul nel prgett: Direttre tecnic dell unità lcale Ente cinvlt: Università di Verna 8. Titl: Mdeling, simulatin and validatin f system n chip Sggett finanziatre: MIUR (PRIN 2002) Durata: Maggi Aprile 2004 Numer di partner: 6 Finanziament ttenut: Rul nel prgett: Crdinatre dell svilupp delle applicazini dell unità lcale Ente cinvlt: Università di Verna 9. Titl: Reuse f IP-cre in distributed embedded systems (RISE) Sggett finanziatre: Università di Verna (Givani ricercatri 2001) Durata: Gennai Dicembre 2002 Numer di partner: 1 Finanziament ttenut: 5900 Rul nel prgett: Respnsabile scientific Ente cinvlt: Università di Verna 10. Titl: Mdeling and simulatin f cmplex integrated systems fr multimedia applicatins Sggett finanziatre: CNR Durata: Ottbre Settembre 2002 Numer di partner: 4 Finanziament ttenut: Rul nel prgett: Crdinatre dell svilupp delle applicazini dell unità lcale Ente cinvlt: Università di Verna 19

20 7.3 Prgetti industriali Grazian Pravadelli ha partecipat all attività di ricerca scientifica per i seguenti prgetti industriali. 1. Titl: Prgettazine e implementazine di una piattafrma di teleassistenza mbile audi e vide basat sulla Realtà Aumentata e Reti di Sensri Wearable Sggett finanziatre: EDALab, s.r.l. Durata: Gennai 2015 Dicembre 2015 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 2. Titl: Smart green data center Sggett finanziatre: EDALab, s.r.l. Durata: Gennai 2014 Dicembre 2014 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 3. Titl: Lcalizzazine della MSDN Library di Visual Studi 2012 Sggett finanziatre: Micrsft Crp. Redmnd USA Durata: Ottbre 2013 Aprile 2014 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 4. Titl: TSL-guided testbench generatin and RTL-t-TLM hierarchical abstractin. Sggett finanziatre: EDALab s.r.l., Verna Durata: Gennai 2013 Dicembre 2013 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 5. Titl: Svilupp di un middleware per cmunicazini cn dispsitivi ZigBee/Encean. Sggett finanziatre: EDALab s.r.l., Verna Durata: Gennai 2013 Dicembre 2013 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 6. Titl: Lcalizzazine della MSDN Library di Visual Studi 2011 Sggett finanziatre: Micrsft Crp. Redmnd USA 20

ISTITUTO TECNICO COMMERCIALE STATALE ABBA - BALLINI

ISTITUTO TECNICO COMMERCIALE STATALE ABBA - BALLINI ISTITUTO TECNICO COMMERCIALE STATALE ABBA - BALLINI Via Tirandi n. 3-25128 BRESCIA tel. 030/307332-393363 - fax 030/303379 www.abba-ballini.it email: inf@abba-ballini.it DIPARTIMENTO DI INFORMATICA Attività

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 Nme Indirizz MAURI MAURIZIO Via XX Settembre,15 20123 Milan Telefn 02-36564165; 02-4816433 Fax E-mail mauri.maurizi@tin.it;

Dettagli

Soluzioni di supporto alla gestione e sviluppo di prodotto in ambito NPD e PLM

Soluzioni di supporto alla gestione e sviluppo di prodotto in ambito NPD e PLM Master in Alt Apprendistat Sluzini di supprt alla gestine e svilupp di prdtt in ambit NPD e Figura prfessinale e biettiv Gli apprendisti destinatari del prgett frmativ sn: laureati, di prim e secnd livell,

Dettagli

Emanuele Dalmasso. Curriculum Vitae Europass. Informazioni personali

Emanuele Dalmasso. Curriculum Vitae Europass. Informazioni personali Emanuele Dalmass Curriculum Vitae Eurpass Infrmazini persnali Cgnme/Nme Dalmass Emanuele Indirizz Larg Lenard Da Vinci 3, Mncalieri, TO, Italia. Telefn +39 0 979425 Cellulare +39 333 6677683 E-mail emanuele.dalmass@gmail.cm

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Eurpass Infrmazini persnali Cgnme(i/)/Nme(i) Indirizz(i) Telefn(i) E-mail Cittadinanza Dattil Brun Italiana Data di nascita Occupazine desiderata/settre prfessinale Dcente Espert di Infrmatica

Dettagli

Ricercatore nell'ambito della matematica applicata all'ingegneria

Ricercatore nell'ambito della matematica applicata all'ingegneria ALLEGATO 3 Curriculum Vitae Eurpass Infrmazini persnali Nme(i) / Cgnme(i) Anna Maria Mintti Indirizz(i) Piazzale Anna Frank n.7, 06100 Perugia (PG) Telefn(i) Cellulare: 3487258767 Fax E-mail mintti.am@gmail.cm

Dettagli

Classificazioni dei linguaggi di programmazione

Classificazioni dei linguaggi di programmazione Il Sftware (prgrammi) può essere classificat cme: di sistema di base (Sistema Operativ, cmpilatri,, interpreti 1 ) prgrammi applicativi (editr di test, fgli elettrnici, data base.) linguaggi di prgrammazine

Dettagli

LA FILIERA ICT DEL DISTRETTO HIGH TECH le Aziende presentano i loro progetti. 14-23 maggio 2012 APA Confartigianato - Monza.

LA FILIERA ICT DEL DISTRETTO HIGH TECH le Aziende presentano i loro progetti. 14-23 maggio 2012 APA Confartigianato - Monza. LA FILIERA ICT DEL DISTRETTO HIGH TECH le Aziende presentan i lr prgetti 14-23 maggi 2012 APA Cnfartigianat - Mnza Azcm Technlgy Relatri: D. Barra, C. Cansi Fndazine Distrett Green & High Tech Mnza Brianza

Dettagli

Introduzioneairisultatiprincipalidopo ilprimo anno

Introduzioneairisultatiprincipalidopo ilprimo anno Università degli Studi dell Aquila 1 Intrduzineairisultatiprincipalidp ilprim ann University f L Aquila Cmputer Science Department L Aquila (Italy) Risultati principali di UniAQ dp il prim ann (1/2) 2

Dettagli

Sperimentiamo in inglese

Sperimentiamo in inglese Istitut Omnicmprensiv Statale Beat Simne Fidati Scula d Infanzia, Primaria, Secndaria prim grad e Secndaria Superire (IPSIA) Lcalità La Stella - 06043 Cascia (PG) 074376203 0743751017 074376180 E-mail

Dettagli

L UNIVERSITA DEGLI STUDI DELLA TUSCIA DI VITERBO. con la collaborazione della. QUALITY AND MANAGEMENT SERVICES s.r.l.

L UNIVERSITA DEGLI STUDI DELLA TUSCIA DI VITERBO. con la collaborazione della. QUALITY AND MANAGEMENT SERVICES s.r.l. L UNIVERSITA DEGLI STUDI DELLA TUSCIA DI VITERBO cn la cllabrazine della QUALITY AND MANAGEMENT SERVICES s.r.l. - Rma ORGANIZZA Labratri di Micrsft Prject Durata 16 re PROGRAMMA DEL CORSO Direttre didattic:

Dettagli

PROTOCOLLO DI INTESA. tra. Il Collegio Geometri e Geometri Laureati di Monza e Brianza, nella

PROTOCOLLO DI INTESA. tra. Il Collegio Geometri e Geometri Laureati di Monza e Brianza, nella PROTOCOLLO DI INTESA tra Il Cllegi Gemetri e Gemetri Laureati di Mnza e Brianza, nella persna di Cesare Galbiati, in qualità di Presidente del Cllegi e L Istitut di Istruzine Superire Ezi Vanni di Vimercate,

Dettagli

Indicare le voci che risultano pertinenti alle attività dell ente e alle concrete modalità di tirocinio proposte

Indicare le voci che risultano pertinenti alle attività dell ente e alle concrete modalità di tirocinio proposte X Scietà sprtiva (campinat categria di appartenenza ) Centr fitness Centr sprtiv natatri/acquatic Centr riabilitativ/rieducativ Centr assistenziale per anziani, malati e disabili Ente sclastic Ente pubblic

Dettagli

MS VISUAL STUDIO 2008 - EFFECTIVE TEAM DEVELOPMENT USING MICROSOFT VISUAL STUDIO TEAM SYSTEM

MS VISUAL STUDIO 2008 - EFFECTIVE TEAM DEVELOPMENT USING MICROSOFT VISUAL STUDIO TEAM SYSTEM MS VISUAL STUDIO - EFFECTIVE TEAM DEVELOPMENT USING MICROSOFT VISUAL STUDIO TEAM SYSTEM UN BUON MOTIVO PER [cd. S185] L biettiv del Crs è frnire ai partecipanti la preparazine e le cmpetenze necessarie

Dettagli

OUTSOURCING LOGISTICO E GESTIONE DEL CAMBIAMENTO

OUTSOURCING LOGISTICO E GESTIONE DEL CAMBIAMENTO OUTSOURCING LOGISTICO E GESTIONE DEL CAMBIAMENTO OUTSOURCING LOGISTICO E GESTIONE DEL CAMBIAMENTO La scelta strategica di un azienda di gestire cn una prpria rganizzazine la Supply Chain di affidarla,

Dettagli

Corso Base per ricercatori dedicati della Rete Alta Tecnologia

Corso Base per ricercatori dedicati della Rete Alta Tecnologia Crs Base per ricercatri dedicati della Tecnlgia - Apertura del percrs frmativ 9,30 Salut di apertura e presentazine delle iniziative per l svilupp del capitale uman realizzate da Marina Silverii, Respnsabile

Dettagli

Museo & Web. Kit di progettazione di un sito di qualità. per un museo medio-piccolo

Museo & Web. Kit di progettazione di un sito di qualità. per un museo medio-piccolo Dipartiment per la ricerca, l innvazine e l rganizzazine Direzine generale per l innvazine tecnlgica e la prmzine Via del Cllegi Rman, 27 00186 Rma Minister per i beni e le attività culturali Muse & Web

Dettagli

Corso di Project Management

Corso di Project Management Crs di Prject Management I edizine L prpne un percrs frmativ sul prject management. La cmplessità rmai raggiunta dai vari prgrammi di ricerca e di cperazine internazinale e l estrema cmpetitività in ambit

Dettagli

PIANO DI LAVORO ANNUALE DELLA DISCIPLINA TECNOLOGIA E TECNICHE DI RAPPRESENTAZIONE GRAFICA Classi 2 ITI A.S. 2014-15

PIANO DI LAVORO ANNUALE DELLA DISCIPLINA TECNOLOGIA E TECNICHE DI RAPPRESENTAZIONE GRAFICA Classi 2 ITI A.S. 2014-15 Impssibile visualizzare l'immagine. La memria del cmputer ptrebbe essere insufficiente per aprire l'immagine ppure l'immagine ptrebbe essere danneggiata. Riavviare il cmputer e aprire di nuv il file. Se

Dettagli

Studiare Informatica in Bicocca 2013-14

Studiare Informatica in Bicocca 2013-14 Studiare Infrmatica in Biccca 2013-14 Dalla Pirelli all'università degli Studi di Milan-Biccca Perché studiare in Biccca! Cntest di Campus Universitari multi-culturale! facili scambi e incntri cn studenti

Dettagli

SCHEDA DI SINTESI ATTIVITA

SCHEDA DI SINTESI ATTIVITA BENEFICIARI SCADENZA RISORSE FINANZIARIE DISPONIBILI BANDO SCHEDA SINTESI BANDO MIUR PER CLUSTER CENTRO NORD 2012 AVVISO PER LO SVILUPPO E POTENZIAMENTO DI CLUSTER TECNOLOGICI NAZIONALI Fndi FAR cmplessivi

Dettagli

CURRICULUM VITAE Domenico Pio Novelli

CURRICULUM VITAE Domenico Pio Novelli CURRICULUM VITAE Dmenic Pi Nvelli Infrmazini Persnali Nme e Cgnme: Dmenic Pi Nvelli Data di Nascita: 16 Giugn 1984 Città di Origine: Cerignla (FG) Città attuale: Madrid (TN) Natinalità: Italiana Genere:

Dettagli

Curriculum vitae et studiorum di

Curriculum vitae et studiorum di Curriculum vitae et studirum di Maurizi Martelli DIBRIS - Dipartiment di Infrmatica, Biingegneria, Rbtica e Ingegneria dei Sistemi Università degli Studi di Genva Via Ddecanes, 35, 16146 - Genva, Italia

Dettagli

LA FACOLTÀ DI GIURISPRUDENZA

LA FACOLTÀ DI GIURISPRUDENZA LA FACOLTÀ DI GIURISPRUDENZA STRUTTURA GENERALE DEI CORSI DI LAUREA E SISTEMA DEI "CREDITI" In base alla rifrma universitaria (D.M. 3.11.99 n. 509) l impegn dell studente (frequenza dei crsi e studi individuale)

Dettagli

Laurea triennale in: Ingegneria Gestionale Ingegneria Informatica e dell'informazione. Vademecum per

Laurea triennale in: Ingegneria Gestionale Ingegneria Informatica e dell'informazione. Vademecum per Laurea triennale in: Ingegneria Gestinale Ingegneria Infrmatica e dell'infrmazine Vademecum per Tircini Prva Finale Piani di studi e crediti Erasmus Trasferimenti Tircini Quand. E' cnsigliabile che la

Dettagli

MARIO BARATTA. Dal 2002 al 2008 è stato Vice direttore del Dipartimento di Morfofisiologia Veterinaria dell Università di Torino.

MARIO BARATTA. Dal 2002 al 2008 è stato Vice direttore del Dipartimento di Morfofisiologia Veterinaria dell Università di Torino. MARIO BARATTA CURRICULUM VITAE Nat a Lavagna (Ge) il 19/05/1965. Diplma di Maturità Scientifica cn il vt finale di 60/60. Laurea in Medicina Veterinaria cnseguita press l'università di Parma nel 1990 cn

Dettagli

Allegato al cv di Gianmarco Falzi

Allegato al cv di Gianmarco Falzi 10 gennai 2010 Vi aiutiam ad ttenere il massim dai vstri cllabratri Allegat al cv di Gianmarc Falzi Gianmarc Falzi PERSONE E ORGANIZZAZIONI s.a.s. Via F.lli Cairli 55/1 41125 Mdena c.f. p.i. 02878490362

Dettagli

COMUNICARE CORSO DI COMUNICAZIONE.

COMUNICARE CORSO DI COMUNICAZIONE. GIOVANI SOCI DELLA CASSA RURALE DI TRENTO PRESENTANO: COMUNICARE CORSO DI COMUNICAZIONE. Cme previst dall statut e cme sempre è stat nell intent del direttiv dell assciazine, i Givani Sci della Cassa Rurale

Dettagli

Embedded firmware and software engineer

Embedded firmware and software engineer Embedded firmware and sftware engineer Fr an exciting pprty Inf Slutin seeks an experienced Embedded firmware and sftware engineer t jin ur team in Milan. The persn will have in charge the design and develpment

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 Nme FIAMBERTI CONSUELO E-mail cnsuelfiamberti@yah.it Nazinalità ITALIANA Data di nascita 8 APRILE 1968 ESPERIENZA

Dettagli

+44 20 3529 8528. it.linkedin.com/pub/luciano-quartarone/69/817/1b3/

+44 20 3529 8528. it.linkedin.com/pub/luciano-quartarone/69/817/1b3/ CURRICULUM VITAE INFORMAZIONI PERSONALI Nme QUARTARONE, LUCIANO Indirizz VIA SAN BARTOLOMEO, 8 20861, BRUGHERIO (MB), ITALIA Telefn +39 392 5127104 +44 20 3529 8528 e-mail sit web l.quartarne@iclud.cm

Dettagli

ALOT - Agenzia della Lombardia Orientale per i Trasporti e la Logistica Società Consortile a Responsabilità Limitata AVVISO PUBBLICO

ALOT - Agenzia della Lombardia Orientale per i Trasporti e la Logistica Società Consortile a Responsabilità Limitata AVVISO PUBBLICO ALOT - Agenzia della Lmbardia Orientale per i Trasprti e la Lgistica Scietà Cnsrtile a Respnsabilità Limitata AVVISO PUBBLICO ALOT - Agenzia della Lmbardia Orientale per i Trasprti e la Lgistica è una

Dettagli

Curriculum Vitae TITOLI DI STUDIO E PROFESSIONALI ED ESPERIENZE LAVORATIVE

Curriculum Vitae TITOLI DI STUDIO E PROFESSIONALI ED ESPERIENZE LAVORATIVE Curriculum Vitae INFORMAZIONI PERSONALI Alessi Lutazi TITOLI DI STUDIO E PROFESSIONALI ED ESPERIENZE LAVORATIVE Titli di Studi: Laurea Magistrale in Ingegneria Meccanica, indirizz Energia cnseguita press

Dettagli

ACCORDO DI COLLABORAZIONE FRA CENTRO REGIONALE DI COMPETENZA "ANALISI E MONITORAGGIO DEL RISCHIO AMBIENTALE" E D APPOLONIA s.p.a.

ACCORDO DI COLLABORAZIONE FRA CENTRO REGIONALE DI COMPETENZA ANALISI E MONITORAGGIO DEL RISCHIO AMBIENTALE E D APPOLONIA s.p.a. ACCORDO DI COLLABORAZIONE FRA CENTRO REGIONALE DI COMPETENZA "ANALISI E MONITORAGGIO DEL RISCHIO AMBIENTALE" E D APPOLONIA s.p.a. PER LA REALIZZAZIONE DI ATTIVITA E PROGETTI PER LO SVILUPPO E LA DIFFUSIONE

Dettagli

SALUTE GLOBALE ED EQUITA' IN SALUTE

SALUTE GLOBALE ED EQUITA' IN SALUTE SALUTE GLOBALE ED EQUITA' IN SALUTE GLI STRUMENTI DELL'OPERATORE SANITARIO PER LA TUTELA DELLA SALUTE, DI TUTTI Nel 2008 l OMS ha presentat i lavri cnclusivi della Cmmissine sui Determinanti Sciali di

Dettagli

Università degli Studi di Messina Anno Accademico 2014/2015. Dipartimento di Scienze Economiche, Aziendali, Ambientali e Metodologie Quantitative

Università degli Studi di Messina Anno Accademico 2014/2015. Dipartimento di Scienze Economiche, Aziendali, Ambientali e Metodologie Quantitative Università degli Studi di Messina Ann Accademic 2014/2015 Dipartiment di Scienze Ecnmiche, Aziendali, Ambientali e Metdlgie Quantitative I MASTER UNIVERSITARIO DI PRIMO LIVELLO IN ECONOMIA BANCARIA E FINANZIARIA

Dettagli

PL 125 Valorizzazione del know-how

PL 125 Valorizzazione del know-how PL 125 Valrizzazine del knw-hw 1. Scheda per tutti i partner Nme cmplet, lg e link al sit web ufficiale dell azienda/ente di ricerca Centr Ricerche Plast-Optica S.p.A. www.crp.it Breve descrizine dell

Dettagli

Testo unico dell apprendistato (D.Lgs. 14 settembre 2011, n. 167)

Testo unico dell apprendistato (D.Lgs. 14 settembre 2011, n. 167) Test unic dell apprendistat (D.Lgs. 14 settembre 2011, n. 167) Cntratti cllettivi nazinali del lavr (CCNL) Accrd del 23 aprile 2012 tra Regine del Venet e Parti Sciali per la frmazine degli apprendisti

Dettagli

MARTINA ZIPOLI. Curriculum Vitae Martina Zipoli INFORMAZIONI PERSONALI. Sesso Femmina Data di nascita 14/12/1986 Nazionalità Italiana

MARTINA ZIPOLI. Curriculum Vitae Martina Zipoli INFORMAZIONI PERSONALI. Sesso Femmina Data di nascita 14/12/1986 Nazionalità Italiana INFORMAZIONI PERSONALI MARTINA ZIPOLI Sess Femmina Data di nascita 14/12/1986 Nazinalità Italiana ESPERIENZA PROFESSIONALE Archelga press cantieri di scav prgrammat ed emergenza, cn ruli di respnsabile

Dettagli

INGEGNERE ELETTRONICO ESPERTO IN SICUREZZA TECNOLOGICA

INGEGNERE ELETTRONICO ESPERTO IN SICUREZZA TECNOLOGICA 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 Nme e Cgnme Indirizz BENIAMINO AZZARA Telefn 096554318 Cellulare 3383249795 E-mail VIALE PIO XI DIRAMAZIONE GULLÌ

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 C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nme Indirizz Marcell CIACCIO 93, via F. Laurana, 90143, Palerm, ITALIA Telefn 091 345940 0916553296 Fax 0916553275 E-mail

Dettagli

PROGRAMMA. Progettazione del Sistema. Elementi di Meccanica, Elettronica, Elettrotecnica e norme UNI e CEI di supporto alla Progettazione

PROGRAMMA. Progettazione del Sistema. Elementi di Meccanica, Elettronica, Elettrotecnica e norme UNI e CEI di supporto alla Progettazione PROGRAMMA Prgettazine del Sistema. 1. Architettura e caratteristiche dei: PLC (Prgrammable Lgic Cntrller, Cntrllri a lgica prgrammabile), Cmputer industriali specializzati nella gestine dei prcessi prduttivi,

Dettagli

IL MODELLO DI RIFERIMENTO

IL MODELLO DI RIFERIMENTO allegat 1 Alternanza Scula Lavr Il Prgett Rete telematica delle Imprese Frmative Simulate-IFSper la diffusine dell innvazine metdlgica ed rganizzativa IL MODELLO DI RIFERIMENTO Sit Web: www.ifsitalia.net

Dettagli

Convegno organizzato dall Associazione ICT Dott.com. Business Intelligence L utilità per le imprese. Prof. Elena Baralis. Politecnico di Torino

Convegno organizzato dall Associazione ICT Dott.com. Business Intelligence L utilità per le imprese. Prof. Elena Baralis. Politecnico di Torino Cnvegn rganizzat dall Assciazine ICT Dtt.cm Business Intelligence L utilità per le imprese Prf. Plitecnic di Trin D B M G Data Base and Data Mining Grup f Plitecnic di Trin Supprt alle decisini aziendali

Dettagli

Annual General Meeting AGM 3-6 Aprile 2014

Annual General Meeting AGM 3-6 Aprile 2014 Annual General Meeting AGM 36 Aprile 2014 Erasmus Student Netwrk Annual General Meeting 2014 Milan Italia COS'E' ESN? Erasmus Student Netwrk (ESN) è una delle più grandi assciazini studentesche in Eurpa.

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 Nme Indirizz COSCIA PAOLA MARIA LODOVICA MILANO Telefn uffici 0257993289 cell.az. 3666812785 Fax 0257993325 E-mail

Dettagli

IL BUSINESS CONTINUITY PLAN DEI SISTEMI INFORMATIVI E DISASTER RECOVERY

IL BUSINESS CONTINUITY PLAN DEI SISTEMI INFORMATIVI E DISASTER RECOVERY IL BUSINESS CONTINUITY PLAN DEI SISTEMI INFORMATIVI E DISASTER RECOVERY UN BUON MOTIVO PER [cd. E453] Il Crs ha cme biettiv di frnire gli strumenti e le metdlgie per prevenire e gestire efficacemente le

Dettagli

FORMAZIONE IN HOUSE : Acquisti, Logistica, Trasporti, Commercio Internazionale

FORMAZIONE IN HOUSE : Acquisti, Logistica, Trasporti, Commercio Internazionale FORMAZIONE IN HOUSE : Acquisti, Lgistica, Trasprti, Cmmerci Internazinale La frmazine rganizzata dal nstr netwrk mira a sddisfare la necessità d apprfndiment dei temi relativi ai temi di Acquisti,Lgistica

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Eurpass Infrmazini persnali Nme(i) / Cgnme(i) Indirizz(i) Telefn(i) Fax E-mail Cittadinanza Dieg MAGRO italiana Cellulare Data di nascita 20 settembre 1969 Sess Maschile Esperienza prfessinale

Dettagli

Formstat Flight. Caratteristiche di Formstat Flight

Formstat Flight. Caratteristiche di Formstat Flight Frmstat Flight Frmstat Flight è una suite di prgrammi prgettati cn l bbiettiv di ttimizzare il prcess frmativ e sfruttare al megli l interattività e la multimedialità fferte dai nuvi strumenti messi a

Dettagli

PROGETTO: ADEGUAMENTO SITO INTERNET COMUNALE ALLE NORME W3C IN TEMA DI ACCESSIBILITA' ED USABILITA'

PROGETTO: ADEGUAMENTO SITO INTERNET COMUNALE ALLE NORME W3C IN TEMA DI ACCESSIBILITA' ED USABILITA' PROGETTO: ADEGUAMENTO SITO INTERNET COMUNALE ALLE NORME W3C IN TEMA DI ACCESSIBILITA' ED USABILITA' 1. Finalità Le ragini del prgett: Il sit internet del Cmune è stat realizzat nel 2002 nella sua attuale

Dettagli

Sviluppo di applicazioni con XML e Web Services

Sviluppo di applicazioni con XML e Web Services Svilupp di applicazini cn XML e Web Services di Gabriele Pellegrinetti Tecnet Dati s.r.l. Crs Svizzera 185 10149 Trin Tel. 011-7718090 http://www.tecnetdati.cm mail: inf@tecnetdati.it Tecnet Dati s.r.l.

Dettagli

Istruzione e formazione all imprenditorialità

Istruzione e formazione all imprenditorialità Istruzine e frmazine all imprenditrialità L istruzine e la frmazine all imprenditrialità è il punt di partenza per sviluppare ed espandere l attività dei prfessinisti, miglirand la lr cnscenza e le lr

Dettagli

Convenzione per il Processo Civile Telematico dedicata agli Avvocati del foro di Arezzo

Convenzione per il Processo Civile Telematico dedicata agli Avvocati del foro di Arezzo Cnvenzine per il Prcess Civile Telematic dedicata agli Avvcati del fr di Arezz Wrldsnet.it Via Firenze 85, 59100 Prat (PO) p.iva 05557570487 Chi siam Wrldsnet.it è nata nel 2004 ed ha iniziat subit ad

Dettagli

A.s. 2012-2013 Programma di Informatica

A.s. 2012-2013 Programma di Informatica Via Tscana, 10 Parma tel. 0521266511 fax 0521266550 A.s. 2012-2013 Prgramma di Infrmatica Gli aspetti terici della disciplina sn suddivisi in 5 mduli: A. Prgett di sistemi infrmativi B. Basi di dati C.

Dettagli

A.s. 2014-2015 Programma di Informatica

A.s. 2014-2015 Programma di Informatica Via Tscana, 10 Parma tel. 0521266511 fax 0521266550 A.s. 2014-2015 Prgramma di Infrmatica Gli aspetti terici della disciplina sn suddivisi in 5 mduli: A. Prgett di sistemi infrmativi B. Basi di dati C.

Dettagli

Scuola secondaria di 1 grado F. Malaguti Valsamoggia Anno scolastico 2014/2015 Programmazione per competenze Curricolo classi prime -tecnologia

Scuola secondaria di 1 grado F. Malaguti Valsamoggia Anno scolastico 2014/2015 Programmazione per competenze Curricolo classi prime -tecnologia Scula secndaria di 1 grad F. Malaguti Valsamggia Ann sclastic 2014/2015 Prgrammazine per cmpetenze Curricl classi prime -tecnlgia Traguardi per l svilupp delle cmpetenze al termine della scula secndaria

Dettagli

Marisa Fabietti. Curriculum Vitae Marisa Fabietti INFORMAZIONI PERSONALI. +390718063808 marisa.fabietti@regione.marche.it

Marisa Fabietti. Curriculum Vitae Marisa Fabietti INFORMAZIONI PERSONALI. +390718063808 marisa.fabietti@regione.marche.it INFORMAZIONI PERSONALI Marisa Fabietti +390718063808 marisa.fabietti@regine.marche.it Nata a Jesi (An) il 12/10/1964 POSIZIONE PER LA QUALE SI CONCORRE POSIZIONE RICOPERTA Servizi Attività prduttive, lavr,

Dettagli

PIANO DI LAVORO ANNUALE DELLA DISCIPLINA TECNOLOGIA E TECNICHE DI RAPPRESENTAZIONE GRAFICA Classi 1 ITI A.S. 2014-2015

PIANO DI LAVORO ANNUALE DELLA DISCIPLINA TECNOLOGIA E TECNICHE DI RAPPRESENTAZIONE GRAFICA Classi 1 ITI A.S. 2014-2015 Impssibile visualizzare l'immagine. La memria del cmputer ptrebbe essere insufficiente per aprire l'immagine ppure l'immagine ptrebbe essere danneggiata. Riavviare il cmputer e aprire di nuv il file. Se

Dettagli

Sede legale: Dipartimento di Economia Università degli Studi di Parma- Via J.F. Kennedy 6 43125 Parma C.F. 93053280504 - P.I.

Sede legale: Dipartimento di Economia Università degli Studi di Parma- Via J.F. Kennedy 6 43125 Parma C.F. 93053280504 - P.I. SCUOLA SIM COME SI SCRIVE UNA MONOGRAFIA NETWORK ANALYSIS Università degli Studi di Napli Federic II, Dipartiment di Ecnmia, Management, Istituzini. Aula ex Presidenza, Centri Cmuni - Campus Universitari

Dettagli

ALESSANDRA ALESSANDRI

ALESSANDRA ALESSANDRI ALESSANDRA ALESSANDRI Frmazine 1991, Milan Master in Marketing e Cmunicazine Publitalia, 3 edizine Diplma cn merit. Brsa di studi Publitalia Stage press la direzine di Canale 5. 1990, Milan Laurea in Lettere

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Eurpass Infrmazini persnali Nme(i) / Cgnme(i) Indirizz(i) Massim Martinati, PMP, PMI-RMP Via Tril il Grande, 3 00131 Rma Telefn(i) 06 41294141 Cellulare: 348 8843995 Fax 06 41239553 E-mail

Dettagli

TLC. Advisory Tax Legal & Financial services

TLC. Advisory Tax Legal & Financial services Presentazine 2011 TLC Advisry Tax Legal & Financial services Stria L Studi nasce nel 2011 dalle esperienze cngiunte dell Studi assciat Rucc e del dtt. Antni Rull. L Studi assciat Rucc vanta una trentennale

Dettagli

DATI PERSONALI FORMAZIONE POST DIPLOMA/LAUREA

DATI PERSONALI FORMAZIONE POST DIPLOMA/LAUREA CURRICULUM VITAE DATI PERSONALI Nme e Cgnme Stefan LAURENTI Data di nascita 3, Marz, 1955 Diplma Superire - vt Istitut Tecnic Industriale (Energia Nucleare), vt 60/60 Diplma di Laurea - vt Frmazine fac.

Dettagli

Dipartimento di Medicina Veterinaria. in collaborazione con. Corso di Project Management

Dipartimento di Medicina Veterinaria. in collaborazione con. Corso di Project Management Dipartiment di Medicina Veterinaria in cllabrazine cn Crs di Prject Management Premesse Il crs nasce a seguit dell esperienza vissuta da un un grupp di dcenti e ricercatri del Dipartiment di Medicina Veterinaria

Dettagli

Prot. n 526 B/17 Acquaviva, 02.02.2015

Prot. n 526 B/17 Acquaviva, 02.02.2015 DIREZIONE DIDATTICA STATALE 1 CIRCOLO DE AMICIS P.zza Di Vagn, 18 70021 ACQUAVIVA DELLE FONTI (BA) Tel. 080-761314 Fax 080 3051357 www.deamicis.gv.it. e-mail BAEE03600L@ISTRUZIONE.IT BAEE03600L@PEC.ISTRUZIONE.IT

Dettagli

TECNICO SUPERIORE PER LO SVILUPPO SOFTWARE. Spec. in Tecnico per lo sviluppo di soluzioni web-based su reti fisse e mobili.

TECNICO SUPERIORE PER LO SVILUPPO SOFTWARE. Spec. in Tecnico per lo sviluppo di soluzioni web-based su reti fisse e mobili. TECNICO SUPERIORE PER LO SVILUPPO SOFTWARE Spec. in Tecnic per l svilupp di sluzini web-based su reti fisse e mbili. Il Tecnic Superi per l Svilupp del Sftware pera e cllabra nelle attività di analisi

Dettagli

Gestione del rischio e Sicurezza del paziente. Corso di I livello. Date 21 ottobre ore 14.00 18.30. Data Medica via Zanchi 89, Padova (PD)

Gestione del rischio e Sicurezza del paziente. Corso di I livello. Date 21 ottobre ore 14.00 18.30. Data Medica via Zanchi 89, Padova (PD) Titl: Gestine del rischi e Sicurezza del paziente. Crs di I livell 21 ttbre re 14.00 18.30 Sede Data Medica via Zanchi 89, Padva (PD) Premessa: Sintetica descrizine dei cntenuti La sicurezza del paziente

Dettagli

INFORMAZIONI PERSONALI

INFORMAZIONI PERSONALI CIRO S CHETTINO C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nme Schettin, Cir Indirizz Cellulare Telefn E-mail cir.schettin@gmail.cm Nazinalità Italiana Lug e data di nascita Napli, 13.12.1978

Dettagli

InfoCenter Product a PLM Product

InfoCenter Product a PLM Product InfCenter Prduct a PLM Prduct Inf Center Prduct Cmpnenti di Inf Center Prduct La gestine dcumenti Definizine e ggett Acquisizine di un ggett Funzini sugli ggetti L integrazine prgettazine e gestinali Le

Dettagli

ASL SALERNO VIA NIZZA 146 - SALERNO Curriculum Formativo e Professionale di: Lucchetti Antonio (aggiornato al 10/10/2014)

ASL SALERNO VIA NIZZA 146 - SALERNO Curriculum Formativo e Professionale di: Lucchetti Antonio (aggiornato al 10/10/2014) ASL SALERNO VIA NIZZA 146 - SALERNO Curriculum Frmativ e Prfessinale di: Lucchetti Antni (aggirnat al 10/10/2014) INFORMAZIONI PERSONALI Nme Telefn Fax e-mail Nazinalità Data di nascita Lucchetti Antni

Dettagli

ANNA SIMONETTO CURRICULUM VITAE ET STUDIORUM. Brescia, 1 aprile 2015

ANNA SIMONETTO CURRICULUM VITAE ET STUDIORUM. Brescia, 1 aprile 2015 ANNA SIMONETTO CURRICULUM VITAE ET STUDIORUM Brescia, 1 aprile 2015 DR. ANNA SIMONETTO UNIVERSITÀ DEGLI STUDI DI BRESCIA CONTRADA S. CHIARA, 50 25122 BRESCIA ANNA SIMONETTO Curriculum Vitae et Studirum

Dettagli

Prot. n 1037 B/17 Acquaviva delle Fonti, 23/02/2015

Prot. n 1037 B/17 Acquaviva delle Fonti, 23/02/2015 DIREZIONE DIDATTICA STATALE 1 CIRCOLO DE AMICIS P.zza Di Vagn, 18 70021 ACQUAVIVA DELLE FONTI (BA) Tel. 080-761314 Fax 080 3051357 www.deamicis.gv.it. e-mail BAEE03600L@ISTRUZIONE.IT BAEE03600L@PEC.ISTRUZIONE.IT

Dettagli

Otello Marchesini. otello.marchesini@emmagency.it

Otello Marchesini. otello.marchesini@emmagency.it C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI (si autrizza il trattament dei dati ai sensi della Legge n. 675/96) Nme Indirizz 10A, Via Castelli Bella Guardia, 36075, Mntecchi Maggire (Vicenza),

Dettagli

Corso E.G.E. Finalità del corso. Destinatari. Location e Svolgimento. Esperto in Gestione dell Energia Settore Civile e Industriale.

Corso E.G.E. Finalità del corso. Destinatari. Location e Svolgimento. Esperto in Gestione dell Energia Settore Civile e Industriale. Cn la cllabrazine di: Crs 001-2015-1 Crs E.G.E. Espert in Gestine dell Energia Settre Civile e Industriale secnd la nrma UNI CEI 11339:2009 Durata: 35 re Crs Patrcinat da: SACERT e Cllegi dei PERITI INDUSTRIALI

Dettagli

il Dirigente Scolastico dispone quanto segue

il Dirigente Scolastico dispone quanto segue Prt. n. 3096 Bari, 31 lugli 2014 Oggett: Integrazine cn rettifica e prrga dei termini del Band per la selezine di ESPERTI e TUTOR finalizzat a istituire un ALBO per l attuazine delle azini di FORMAZIONE

Dettagli

Banche e Assicurazioni Laboratory

Banche e Assicurazioni Laboratory Centr Sperimentale di Svilupp delle Cmpetenze per il settre finanziari e assicurativ Banche e Assicurazini Labratry Bzza Pian Operativ Nvembre 2012 A us intern del partenariat INDICE 1. Premessa... 3 2.

Dettagli

A parità di punteggio, verrà considerata elemento premiante la minore età anagrafica dei candidati.

A parità di punteggio, verrà considerata elemento premiante la minore età anagrafica dei candidati. Reglament per la valutazine delle dmande di trasferiment ai Crsi di Laurea Magistrale a cicl unic ad access prgrammat in Medicina e Chirurgia ed in Odntiatria e Prtesi Dentaria dell Università degli Studi

Dettagli

La tecnica FMEA di prodotto

La tecnica FMEA di prodotto ISI MANUALE PER CORSI QUALITÀ dispensa data mdifica del livell Q-052 01.01.1996 0 01.01.1996 BLU La tecnica FMEA di prdtt MANUALE DI UTILIZZO ISI La tecnica FMEA di prdtt pagina 2 di 10 1.0 Intrduzine

Dettagli

Servizi in Cloud per la sicurezza e l automazione

Servizi in Cloud per la sicurezza e l automazione Time4Mind: la rispsta clud di Intesi Grup Servizi in Clud per la sicurezza e l autmazine Pwered by Intesi Grup SpA 2012 Pwered by Intesi Grup SpA Milan, 9 aprile 2013 Slide N. 1 Marz 2013 Time4Mind in

Dettagli

Roberta Zanni. Maturità scientifica conseguita presso il Liceo A. Tassoni di Modena. nell a.s. 1972/1973 con la valutazione di 50/60

Roberta Zanni. Maturità scientifica conseguita presso il Liceo A. Tassoni di Modena. nell a.s. 1972/1973 con la valutazione di 50/60 Rberta Zanni Dati persnali Nazinalità: italiana Data di nascita: 08 / 04 / 1954 Lug di nascita: Frmigine (M) Residenza: Via Dn Minzni n 53, Frmigine (M) Psta elettrnica: r.zanni@gruppceis.rg Istruzine

Dettagli

Professore Ordinario (in pensione)

Professore Ordinario (in pensione) UNIVERSITA DEL PIEMONTE ORIENTALE AMEDEO AVOGADRO ALESSANDRIA DIPARTIMENTO DI SCIENZE E INNOVAZIONE TECNOLOGICA CURRICULUM-VITAE LORENZA SAITTA Prfessre Ordinari (in pensine) Università degli Studi del

Dettagli

Istituto Comprensivo Giovanni XXIII San Michele Salentino (BR)

Istituto Comprensivo Giovanni XXIII San Michele Salentino (BR) Istitut Cmprensiv Givanni XXIII mail: BRIC8000T@ISTRUZIONE.IT icg23@pec.it (indirizz mail psta certificata) Minister della Pubblica Istruzine Dipartiment per l istruzine Direzine Generale per gli affari

Dettagli

CURRICULUM VITAE CORSI MICHELA INFORMAZIONI PERSONALI. Nome. Data di nascita 05/01/1967 RICERCA. Incarichi attuali

CURRICULUM VITAE CORSI MICHELA INFORMAZIONI PERSONALI. Nome. Data di nascita 05/01/1967 RICERCA. Incarichi attuali CURRICULUM VITAE INFORMAZIONI PERSONALI Nme CORSI MICHELA Data di nascita 05/01/1967 Qualifica attuale DIRIGENTE PUBBLICO Amministrazine MINISTERO DELL'ISTRUZIONE, DELL UNIVERSITA' E DELLA RICERCA Incarichi

Dettagli

DEVELOPING JAVASERVER FACES WEB APPLICATIONS WITH AJAX USING SUN JAVA STUDIO CREATOR

DEVELOPING JAVASERVER FACES WEB APPLICATIONS WITH AJAX USING SUN JAVA STUDIO CREATOR DEVELOPING JAVASERVER FACES WEB APPLICATIONS WITH AJAX USING SUN JAVA STUDIO CREATOR UN BUON MOTIVO PER [cd. S307] Il crs Develping Web Applicatins With AJAX Using Sun Java Studi Creatr descrive i principi

Dettagli

Nuove Tecnologie per il Made in Italy nel settore dei servizi alle imprese. Tecnico superiore per il marketing, l internazionalizzazione delle imprese

Nuove Tecnologie per il Made in Italy nel settore dei servizi alle imprese. Tecnico superiore per il marketing, l internazionalizzazione delle imprese Allegat A Tecnic superire per il marketing, l internazinalizzazine delle imprese 2011 Prgett didattic frmativ Nuve Tecnlgie per il Made in Italy nel settre dei servizi alle imprese ITS SERVIZI ALLE IMPRESE

Dettagli

INFORMATICA CORSI DELL INDIRIZZO TECNICO AMMINISTRAZIONE FINANZA MARKETING

INFORMATICA CORSI DELL INDIRIZZO TECNICO AMMINISTRAZIONE FINANZA MARKETING Larg Zecca, 4-16124 GENOVA Tel. 010/247.07.78 - Fax 010/251.29.60- E-mail geis00600r@istruzine.it C.F. 95062410105 CORSI DELL INDIRIZZO TECNICO AMMINISTRAZIONE FINANZA MARKETING INFORMATICA CLASSE PRIMA

Dettagli

PIANO DIDATTICO PERSONALIZZATO SCUOLA SECONDARIA DI 1 GRADO G. MORANDI

PIANO DIDATTICO PERSONALIZZATO SCUOLA SECONDARIA DI 1 GRADO G. MORANDI Minister dell Istruzine, dell Università e della Ricerca ISTITUTO COMPRENSIVO PIAZZA COSTA Piazza Andrea Csta 23-20092 Cinisell Balsam (MI) MIIC8AP009 C.F. 85007630156 e-mail: miic8ap009@istruzine.it PEC:

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Eurpass Infrmazini persnali Cgnme/Nme Cammarta Viviana Cittadinanza Italiana Data di nascita 14/04/1976 Esperienza prfessinale dal 01 febbrai 2007 al 18 marz 2007 - cntratt di cllabrazine

Dettagli

SEDE ITI G. GALILEI LIVORNO

SEDE ITI G. GALILEI LIVORNO ISTITUTO TECNICO INDUSTRIALE STATALE G.GALILEI Bitecnlgie ambientali. Bitecnlgie sanitarie. Chimica e Materiali. Elettrnica. Elettrtecnica. Autmazine. Infrmatica Telecmunicazini. Meccanica e meccatrnica.

Dettagli

Schedulazione ed ottimizzazione delle risorse produttive. Le problematiche. Le funzioni. carico o combinazioni di questi. di

Schedulazione ed ottimizzazione delle risorse produttive. Le problematiche. Le funzioni. carico o combinazioni di questi. di Schedulazine ed ttimizzazine delle risrse prduttive. Obiettiv: Pyramide prduttive ed è sulla gestine un ptente base del dei mtre caric materiali di lavr schedulazine impiegati richiest e a capacità delle

Dettagli

FILE UNICO. MOD 7.2.6 3 gen 2014 2-1 di 7

FILE UNICO. MOD 7.2.6 3 gen 2014 2-1 di 7 3 gen 2014 2-1 di 7 ID prvider 2806 Nuvi apprcci al paziente cardilgic. Terapia medica ttimale nella cardipatia ischemica crnica: il rul dei nitrati Hliday Inn, Piazza Massaua - Trin, 2 Ottbre 2014 OBIETTIVO

Dettagli

Progettare l ambiente di apprendimento. Valorizzare l esperienza e le conoscenze degli alunni

Progettare l ambiente di apprendimento. Valorizzare l esperienza e le conoscenze degli alunni Rendiam prduttive le riunini Per prgettare un mdell di scula: un apprcci culturale e filsfic un elabrazine pedaggica una prgettazine didattica frti cnscenze disciplinari L autnmia è: respnsabilità innvazine

Dettagli

Amministrazione e Bilancio Docente di riferimento: Patrizia Tettamanzi

Amministrazione e Bilancio Docente di riferimento: Patrizia Tettamanzi Amministrazine e Bilanci Dcente di riferiment: Patrizia Tettamanzi Il prim macr-mdul ha l biettiv di permettere ai partecipanti di apprfndire la cnscenza degli strumenti fndamentali per una crretta applicazine

Dettagli

Master universitari di I livello Master universitari di II livello Corsi universitari di Perfezionamento

Master universitari di I livello Master universitari di II livello Corsi universitari di Perfezionamento Master universitari di I livell Master universitari di II livell Crsi universitari di Perfezinament ALL. 1 Spett.le INPS Direzine Centrale Credit e Welfare (sl per iniziative prpste da Atenei stranieri)

Dettagli

18-22-25 Gennaio 2016 ORE 14.00 18.00 PADOVA, Sala xx Hotel xx

18-22-25 Gennaio 2016 ORE 14.00 18.00 PADOVA, Sala xx Hotel xx 18-22-25 Gennai 2016 ORE 14.00 18.00 PADOVA, Sala xx Htel xx LA GESTIONE DELLE EMERGENZE E SICUREZZA ANTINCENDIO NELLE STRUTTURE TURISTICO ALBERGHIERE La partecipazine all incntr è valida ai fini dell

Dettagli

TECNICO SISTEMISTA HARDWARE E SOFTWARE CERTIFICATO EUCIP IT ADMINISTRATOR INFORMAZIONI GENERALI ATTESTATO CHE IL CORSO RILASCIA

TECNICO SISTEMISTA HARDWARE E SOFTWARE CERTIFICATO EUCIP IT ADMINISTRATOR INFORMAZIONI GENERALI ATTESTATO CHE IL CORSO RILASCIA BANDO-SCHEDA INFORMATIVA DEL CORSO: TECNICO SISTEMISTA HARDWARE E SOFTWARE CERTIFICATO EUCIP IT ADMINISTRATOR INFORMAZIONI GENERALI ATTESTATO CHE IL CORSO RILASCIA Attestat di TECNICO SISTEMISTA HARDWARE

Dettagli

Manuale di Gestione Documentale (art. 5 DPCM 3/12/2013) Procedura Organizzativa Amministratori di Sistema

Manuale di Gestione Documentale (art. 5 DPCM 3/12/2013) Procedura Organizzativa Amministratori di Sistema Cmune di Casavatre in cllabrazine cn Manuale di Gestine Dcumentale (art. 5 DPCM 3/12/2013) Prcedura Organizzativa Amministratri di Sistema Cd. MANGEDOC Rev. 1.0 Data: 06-11-2015 Smmari: Nel presente dcument

Dettagli

CURRICULUM PERSONALE

CURRICULUM PERSONALE CURRICULUM PERSONALE GERMANO FRANCESCHIN Nat a Camplng Maggire (VE) il 20 nvembre 1963 Residente a Camplng Maggire (VE) 30010 via De Gasperi n 19 Sede Uffici Padva 35100 Via Tmmase n 24, Tel. Fax 049 8364364,

Dettagli