Curriculum vitae et studiorum di

Transcript

1 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, Genva, Italia Febbrai 2014 Lug e data di nascita: Pisa, 1 Marz Studi: Laurea in Scienze dell'infrmazine, cnseguita cn Lde il 19 Nvembre 1974 press l'università degli Studi di Pisa. Specializzazine in Calcl Autmatic, cnseguita nell'a.a. 1974/75 press l'università degli Studi di Pisa. Psizine prfessinale attuale: Prfessre Ordinari, nel settre scientific disciplinare INF/01 (Infrmatica) press la Facltà di Scienze Matematiche Fisiche e Naturali dell'università di Genva. Psizini prfessinali pregresse: Dal 1/11/1990 fin al 31/10/1993 Prfessre Strardinari, press la Facltà di Scienze M.F.N. dell'università di Genva, titlare della cattedra di Linguaggi e Prgrammazine. Dal 1/11/1989 fin al 31/10/1990 Prfessre Assciat, press la Facltà di Scienze M.F.N. dell'università di Genva, titlare della cattedra di Linguaggi Speciali di Prgrammazine. Dal 2/3/1989 fin al 31/10/1989 Prfessre Assciat, press la Facltà di Scienze M.F.N. dell'università di Salern, titlare della cattedra di Elabrazine dell'infrmazine Nn Numerica. Dal 1/6/1988 fin al 1/3/1989 dipendente del CNUCE (Istitut del CNR di Pisa) cn la qualifica di Prim Ricercatre, a seguit di giudizi di idneità per titli scientifici e 1

2 cllqui. Dal 1/4/1976 fin al 30/5/1988 dipendente del CNUCE (Istitut del CNR di Pisa) cn la qualifica di Ricercatre. Nel 1975 cllabratre del CNUCE per ricerche riguardanti le reti di calclatri. Esperienze ed incarichi di rappresentanza a livell di Atene, nazinale ed internazinale: 1. Incarichi crrenti: Prrettre Vicari dell'università degli Studi di Genva, cn Delega all'attuazine del prgramma e al decentrament territriale. In veste di Prrettre partecipa alle sedute del Senat Accademic e del Cnsigli di Amministrazine. Membr del Cnsigli Direttiv dell Istitut di Studi Superiri ISSUGE. Membr del Cmitat degli Esperti dell Istitut Superire ICT (istitut che vede una frte cllabrazine università imprese). Rappresentante dell Università di Genva nel Cnsigli Cnsrtile e membr della Cnsulta del Cnsrzi Interuniversitari CINECA. Vicepresidente e membr del Cnsigli di Amministrazine del DLTM (Distrett Ligure di Tecnlgie Marine). Presidente del Cnsigli Scientific e membr del Cmitat Esecutiv della Assciazine Festival della Scienza di Genva. 2. Incarichi passati: Membr della Cmmissine MIUR istituita ai sensi del D.M. 8 Febbrai 2008 n. 44 (Reglament cncernente criteri e mdalità per la cncessine di cntributi per il funzinament degli enti privati che svlgn attività di ricerca) per il trienni 2008/2010. Presidente della Cnferenza Nazinale Permanente dei Presidi delle Facltà di Scienze e Tecnlgie per il bienni Preside della Facltà di Scienze MFN dell Università di Genva per il trienni Delegat del Rettre per la Ricerca Scientifica: in questa veste dal 1999 si è ccupat di tutte le tematiche relative alla Ricerca nazinale, eurpea ed internazinale, ai Dttrati di Ricerca, agli Assegni di Ricerca ed ai rapprti cn gli enti esterni ed il mnd delle 2

3 imprese. Ha prpst e cntribuit alla realizzazine ed alla gestine dell Uffici speciale di crdinament e supprt amministrativ all attività di ricerca che ha innvat su questi temi il rapprt tra Amministrazine Centrale, Dipartimenti e mnd estern. Membr elett del Senat Accademic dell Università di Genva cme Rappresentante delle Aree Scientifiche (Matematica-Infrmatica, Fisica, Chimica, Scienze della Terra) per due mandati dal 1 Nvembre Referente di Atene per la sede di Bruxelles della CRUI. Membr del Cmitat di Crdinament del Netwrk per la Valrizzazine della Ricerca Universitaria che raggruppa più della metà degli Atenei italiani per crdinare azini e plitiche su brevetti e sfruttament delle ricerche. Membr del cmitat di prgramma del Secnd and Third Wrld Cnference n the Future f Science. Respnsabile del prgett FISR (Fnd Integrativ Speciale per la Ricerca) "Efficacia ed efficienza del trasferiment di nuve tecnlgie elettrniche, infrmatiche e di ICTS: analisi dell'impatt sul sistema delle imprese suggerimenti di plitiche lcali" che ha vist la partecipazine del Plitecnic di Milan, la Scula S. Anna di Pisa, il Cnsrzi Pisa Ricerche ed il Parc Scientific Tecnlgic della Liguria. Presidente della Cmmissine Scientifica dell'area scientific-disciplinare di Matematica ed Infrmatica dell'università di Genva ( ). Membr fndatre del Dipartiment di Infrmatica e Scienze dell'infrmazine (DISI) dell'università di Genva. Vicepresidente dell CSITA (Centr Servizi Infrmatici e Telematici di Atene) dell'università di Genva. L CSITA, cme previst dall statut dell'università di Genva, è un Centr di Servizi cn autnmia amministrativa e bilanci prpri; nat per gestire tutte le risrse infrmatiche, telematiche e telefniche dell'atene, sia per la parte Amministrazine che per la parte Ricerca, è ggi una delle sue strutture più rilevanti dell Atene. Dal 1992 al 1994, Vicepresidente del CISI (Centr Interdipartimentale di Servizi Infrmatici) dell'università di Genva che ha realizzat tra le altre cse Genuanet (la rete metrplitana genvese) e prgetti di autmazine delle bibliteche. Membr del Cnsigli di Amministrazine del Cnsrzi Pisa Ricerche, Cnsrzi Città - Ricerca dell'iri tra i più imprtanti a livell italian. Membr del Cnsigli Scientific dell'istitut CNUCE del CNR di Pisa. Membr del Cnsigli Scientific dell'istitut per la Dcumentazine Giuridica del CNR di Firenze. 3

4 Membr del Cnsigli Scientific dell GNASII, Grupp nazinale del CNR. 3. Esperienze Italiane ed Eurpee: Ha partecipat al crdinament della Cmmissine dei delegati della ricerca della CRUI (Cnferenza dei Rettri delle Università Italiane) in supprt al su presidente, Rettre Pntremli, ed ha crdinat un prgett sperimentale di Anagrafe Nazinale della Ricerca. Ha partecipat per due anni ( ) al Research Wrking Grup dell EUA (Eurpean University Assciatin) in rappresentanza della CRUI ed in quest cnsess ha crdinat la Task Frce su University Industry relatins che ha prdtt delle linee di suggerimenti per l EURAB (Eurpean Research Advisry Bard) wrking grup n Imprving Innvatin ed ha iniziat una cllabrazine cn l EIRMA (Eurpean Industrial Research Management Assciatin). Ha partecipat alla EUA Cnference & General Assembly di Bristl (2003) su The rle f Universities in the Eurpean Research Area ed ha svlt le funzini di Chairman per due dei 10 gruppi di discussine ( Universities and Innvatin Intellectual Prperty Rights: ne r several? e Research at BA/MA level, links between the tw levels and the impact n research ). Ha partecipat alla EUA Cnventin f Eurpean Higher Eductin Institutins di Graz (cn più di 600 partecipanti tra rettri ed alti funzinari a livell eurpe) ed ha crdinat il lavr in qualità di espert (facilitatr) in un dei ddici gruppi di lavr sul tema: Revisiting the links between higher educatin and research. Esperienze di rganizzazine della ricerca ed incarichi vari: 1. Incarichi scientifici ricperti: È stat per un mandat membr del Cmitat esecutiv dell'alp (Assciatin f Lgic Prgramming), assciazine che raggruppa tutti i ricercatri del settre a livell mndiale e gestisce e crdina tutte le cnferenze internazinali di Lgic Prgramming. È stat per sei anni Presidente del GULP (Grupp ricercatri e Utenti di Lgic Prgramming), sezine italiana dell'alp (Assciatin f Lgic Prgramming). 2. Partecipazine a Prgetti Italiani Dal 1975 fin al 1978 si è ccupat della realizzazine della rete RPCNET, la prima rete di calclatri italiana. Dal 1979 al 1983 è stat impegnat nel Prim Prgett Finalizzat Infrmatica (Obiettiv CNET). 4

5 Nel CNUCE si è sempre ccupat di aspetti di ricerca ed è stat crdinatre di attività di ricerca dal 1979 al Respnsabile dell'unità Operativa del CNUCE del Prgett Strategic Intelligenza Artificiale del CNR ( ). Ha partecipat a vari Prgetti Finalizzati di Infrmatica ed è stat respnsabile di prgetti (singli, crdinati,...) finanziati da Cmitati del CNR (l'ultimi sn stati Linguaggi e sistemi innvativi per applicazini infrmatiche avanzate e Prgrammazine Lgica: Strumenti per analisi e trasfrmazine di prgrammi, Tecniche di ingegneria del sftware, Estensini cn vincli, cncrrenza ed ggetti crdinand 12 tra i più imprtanti gruppi di ricerca italiani). Ha crdinat unità perative di prgetti nazinali cfinanziati (PRIN) tra cui CVer: Cnstraint-based Verificatin f Reactive systems ( ). 3. Partecipazine a Prgetti Internazinali Nel perid 1978/83 ha gestit una cllabrazine tra JRC di Ispra e CNUCE riguardante i prtclli di alt livell per reti di calclatri. Ha cllabrat in mlte ccasini a prgrammi della Cmunità Eurpea ed è stat impegnat nella Azine della CEE denminata COST11bis cllabrand cn Istituzini scientifiche di Danimarca, Spagna e Yugslavia. Per il perid è stat Visiting Scientist press il CASE Center della Syracuse University ed ha cllabrat cl grupp di ricerca su Lgic Prgramming del Prf. J.A. Rbinsn della Syracuse University (N.Y. USA). Ha partecipat a prgetti ESPRIT (415 subprject D, 530) tra i più rilevanti nel camp della prgrammazine lgica ed è stat impegnat (cme senir investigatr) nel prgett INTEGRATION (integrazine dei fndamenti della prgrammazine lgica, funzinale ed rientata ad ggetti) che vedeva la partecipazine del CWI di Amsterdam, del LIENS (Labratire d'infr-matique de l'ecle Nrmale Superieure) di Parigi, dell'imperial Cllege di Lndra, dell'università Nva di Lisbna e dell'università di Pisa. È stat reviewer per il prgett ESPRIT Esteam-316 ed è espert per la valutazine di prgetti eurpei. Ha crdinat il nd Genvese della reti di eccellenza Cmpulg ed AgentLink del VPQ ed ha svariate cllabrazini in ambit nazinale ed internazinale. 4. Organizzazine di eventi scientifici Organizzatre di un crs specialistic sui Linguaggi di Specifica (CNUCE 1984). 5

6 Direttre della Advanced Schl n Fundatins f Lgic Prgramming (Algher 1988) del GULP. Chairman del Terz Cnvegn dell'assciazine Italiana per l'intelligenza Artificiale che si è tenut a Genva nel Nvembre General Chairman della Cnferenza Internazinale ICLP'94 tenuta a Santa Margherita Ligure, Genva nel 1994, la più imprtante cnferenza internazinale del settre. 5. Attività varie Membr dell Editrial Bard della rivista AI Cmmunicatins: The Eurpean Jurnal n Artificial Intelligence della IOS Press (Amsterdam). Membr dei Cmitat di Prgramma di svariate edizini delle seguenti cnferenze: Internatinal Cnference n Lgic Prgramming (ICLP, e nel 1989 Editr dei relativi Prceedings [C1]), Internatinal Cnference n the Practical Applicatins f Prlg, Nrth American Cnference n Lgic Prgramming, più varie cnferenze italiane latine (GULP, GULP-PRODE, Italian Cnference n Theretical Cmputer Science). Ha tenut cnferenze sui sui crrenti argmenti di ricerca in Canada, Stati Uniti, Cina e svariati paesi eurpei ed Università italiane. È stat inltre referee per la maggir parte delle cnferenze e delle riviste del settre della Prgrammazine Lgica. Ha partecipat cme invitat a svariati Wrkshp tra cui: Fundatins f Deductive Databases and Lgic Prgramming, Washingtn (1986), "Jrnades sbre Intelligencia Artificial: Raznamient Autmatizad" rganizzate dal CEAB-CSIC di Blanes, Spagna (1987), The Lgic Prgramming Paradigm: Current trends and Future Directins Shakertwn, Kentucky (1998), COMPULOG-Net and AgentLink Jint Wrkshp n the Future f Lgic-based Agents, Lndn (1999). Attività didattica: Partecipa al crs "Intelligent Systems and Machine Learning" nell'ambit del crs di Laurea Magistrale in Infrmatica e per anni ha tenut crsi di Intelligenza Artificiale e Intelligenza Artificiale 2 nei crsi di Laurea e di Laurea Specialistica in Infrmatica, press la Facltà di Scienze Matematiche Fisiche e Naturali dell'università di Genva. Membr del cllegi dei dcenti del Dttrat in Ingegneria dei Sistemi (Ph.D. in Systems Engineering). Da diversi anni membr del cllegi dei dcenti del Dttrat in Scienze e Tecnlgie per l'infrmazine e la Cnscenza, indirizz Infrmatica (Ph.D. in Cmputer Science). 6

7 Ha svlt vari crsi di Dttrat press l'università di Salern e di Genva sulla Prgrammazine Lgica ed altri argmenti; ha tenut un graduate curse press l'università di Linköping (Svezia) dal titl Negatin in Lgic Prgramming (1988). Sui allievi sn stati: Girgi Delzann (Prf. Assciat e abilitat rdinari a Genva) e Viviana Mascardi (Ricercatrice e abilitata ad assciat a Genva), ma anche Danil Mntesi (Prf. Ordinari a Blgna), Alessandra Di Pierr (Prf. Assciat a Verna), Marc Bzzan (Ricercatre Fndazine Brun Kessler di Trent) e Flrian Zini (Ricercatre a t.d. all'università di Blzan). Press L Università di Genva, per i Crsi di Laurea del vecchi rdinament in Infrmatica e prima in Scienze dell Infrmazine, è stat titlare ha insegnat i crsi di Linguaggi e Prgrammazine, Linguaggi Speciali di Prgrammazine, Metdlgie di prgrammazine, Strutture Infrmative, Basi di Dati e Strutture Infrmative I e II. In passat ha tenut insegnamenti press l Università di Pisa (press il Crs di Laurea in Scienze dell'infrmazine: esercitazini per i crsi di Simulazine e di Linguaggi Speciali, Crs Integrativ di Semantica dei Linguaggi del Crs di Lgica Matematica e del Crs di Metdi per il Trattament dell'infrmazine, Crs Integrativ di Prgrammazine Lgica del Crs di Elabrazine dell'infrmazine Nn Numerica ; press il Crs di Specializzazine in Calcl Autmatic : Elementi di prgrammazine generale ), e press l Università degli Studi di Cagliari e Salern. Attività di Ricerca: I punti 1-3 richiaman brevemente le attività di ricerca svlte nei primi anni dp la laurea. 1. Reti di Calclatri Studi, definizine della architettura e dei servizi e realizzazine della rete RPCNET [A1,A2,D1,D2,G1,G3], la prima rete italiana a cmmutazine di pacchett nata e sviluppata da varie istituzini scientifiche italiane. IBM Sistema 7 cme frnt-end prcessr della rete RPCNET [H2,H3]. Disegn del ruting per la rete RPCNET [H1]. Prgettazine e realizzazine del sftware di rete [H4,H5]. 2. Prtclli di alt livell Attività di ricerca sulla metdlgia del lavr e sulle mdalità di definizine, standardizzazine e realizzazine di prtclli di rete, cn particlare riferiment a X.25 7

8 [F1]; Prpsta di un Linguaggi di Rete per la definizine, descrizine e realizzazine di prtclli di rete e del lr utilizz [D3,G2]; Studi, prgettazine e specifica di un sistema di psta elettrnica in ambiente distribuit [G4]; 3. Sistemi distribuiti Prgettazine e realizzazine di elementi di sistemi distribuiti basati su micrelabratri lascamente cnnessi [D5]. Ricerche sul linguaggi di sistema ed in particlare sulla cmunicazine e cperazine tra prcessi residenti su ndi diversi [H6,H8,G5,F3] (Prgett Finalizzat Infrmatica, sttprgett P1, Obiettiv CNET). 4. Prgrammazine lgica Dal 1980 l'attività di ricerca è stata sempre più diretta vers i linguaggi di prgrammazine lgica di cui crdina il grupp di ricerca del su dipartiment che si ccupa di quest paradigma di prgrammazine sia dal punt di vista teric che applicativ e dei sui rapprti cl settre dei data base, dell'intelligenza artificiale e delle applicazini di infrmatica giuridica. In particlare ha svlt ricerche su: Prgrammazine lgica, sistemi di riscrittura e mdelli frmali di prcessi applicativi H7,D4]. Mdell frmale per la specifica della semantica perazinale di linguaggi basati sulla lgica [B1]. Lgica cme linguaggi di specifica: relazini tra il mdell lgic ed il mdell di prcessi alla Kahn-McQueen [G6,H14]. Integrazine tra lgic e functinal prgramming: - Il linguaggi LEAF [D6,B2,E2]. - Trasfrmazini ttimizzanti che permettan di cmpilare la parte relazinale su quella funzinale [F2,H10,H11]. Prgrammazine lgica, basi di dati e di cnscenza, applicazini: - Relazini tra i linguaggi lgici e le basi di dati deduttive (Integrity Cnstraints, prve di cnsistenza, etc.) [A3,H9]. - Relazini tra rappresentazine della cnscenza e prgrammazine lgica [F4,B3]. - Applicazine di tecniche di lgic prgramming e therem prving al settre dell'autmazine del raginament giuridic [F5,F8]. - Definizine di un linguaggi per database deduttivi capace di catturare la nzine di update e transazine [A12,F9,F10,F11,G9,G13,F18]. 8

9 - I linguaggi di prgrammazine lgica e le pssibili applicazini [H17,G14]. Negazine in prgrammazine lgica: - Caratterizzazine di una classe di prgrammi lgici per cui vale la cmpletezza della prcedura di prva [A4,E1]. - Cmpletezza della SLDNF-reslutin per una larga classe di prgrammi (dmini infiniti e definizini ricrsive) [D7,H16,H12]. - Sluzine al prblema della determinazine dei prgrammi che hann prblemi di flundering [F6,A6]. - Nuva definizine di cmpletament di prgrammi lgici che rislve mlti dei prblemi di cmpletezza della SLDNF-Reslutin [A7]. Estensini della prgrammazine lgica: - Cnstraint Lgic Prgramming [B4]. - Intrduzine dei mduli in prgrammazine lgica [H13]. Semantica dichiarativa per la prgrammazine lgica: - Nuva semantica per la Prgrammazine Lgica che usa Universi di Herbrand cn termini cntenenti anche variabili e che risulta essere mdulare rispett a quali prprietà si vglin cnsiderare (aspetti più perazinali, verità classica, ecc.) [A5,D8,F7,A9,A10,E3]. - Estensine della nuva semantica alla negazine [A8,A11,D9,D10,G8,G10]. - Estensine della nuva semantica alle prprietà di terminazine [F12,G12]. - Estensine della nuva semantica alla metaprgrammazine [F13,G11]. Prgrammazine lgica di rdine superire: - Estensine della Prgrammazine Lgica alla Lgica di rdine superire cn i relativi prblemi di unificazine e risluzine [G7,H15]. - Estensine della nuva semantica al linguaggi L l [F14]. 5. Prgrammazine lgica lineare Dal 1995 l'attività di ricerca più terica sulla prgrammazine lgica è stata sempre più diretta vers l us della Lgica Lineare cme paradigma particlarmente interessante da utilizzare cme base per la cstruzine di linguaggi lgici adatti a mdellare aspetti quali la cncrrenza, gli ggetti, gli agenti. Definizine di un ambiente frmale ed un linguaggi basat sulla Lgica Lineare di Ordine Superire in grad di mdellare i vari paradigmi cmputazinali [A16,F19]. Definizine ed implementazine di un linguaggi lgic cn tali caratteristiche [F17,F15]. Applicazine del linguaggi alla integrazine della Prgrammazine Lgica cn i linguaggi Object-Oriented [A14,A15,D11,D12,E4,E5,F16]. Applicazine del linguaggi alla specifica ed alla semantica di database avanzati [F20,F23]. 9

10 Semantiche bttm-up in linguaggi lgici lineari e relazini cn altre estensini della prgrammazine lgica [A18, D16, D17,F30]. Applicazine dei linguaggi lgici lineari al mdel checking [A19, A21]. 6. Teria dei Tipi Ultimamente si è apert anche un filne di lgica matematica cn l studi di mdelli inferenziali per lgiche di rdine superire [A24, G16]. 7. Multi Agent Systems Negli ultimi anni si è sviluppat un altr filne di ricerca mlt più rientat agli aspetti applicativi: inizialmente si trattava di applicare alcune idee e tecniche sviluppate in ambit prgrammazine lgica alla prttipazine di sistemi multi agente. Successivamente la ricerca ha pres anche un interessante svilupp nell ambit dell ingegneria del sftware a prescindere dai linguaggi di prgrammazine lgica anche se rivlt al paradigma degli agenti. Svilupp di un sistema di prttipazine rapida per sistemi multiagente in prgrammazine lgica [A13,B5,D13,F21,F22,F24,F27,D21]. Apprcci avanzati di ingegnerizzazine di agenti intelligenti [D14,D18,E6,F26,F38]. Integrazine di tecniche di early requirement specificatin cn prttipazine rapida [D19,F34]. Linguaggi di specifica per agenti sftware [A20,F28,F29,F33,D22,D24, A25, F41, G15]. Applicazini del sistema di prttipazine rapida a prblemi dei trasprti su ferrvia [D15,F25,F39,F40]. Applicazini del sistema di prttipazine rapida a prblemi di mnitraggi veicli [F31]. Applicazini del sistema di prttipazine rapida a prblemi multimedia e web prviders [F35]. Applicazini del mdell ad agenti alla interpretazine di sketch manuali [A22, B6, D23, D25, D26, F42]. Svilupp di un sistema di prttipazine rapida distribuit e nn necessariamente basat sulla prgrammazine lgica [A23, F32, F36]. Agenti ed Ontlgie [F37,D20]. 10