PROCEDURA SELETTIVA PER LA CHIAMATA DI UN PROFESSORE ASSOCIATO PER IL SETTORE CONCORSUALE 01/A1 SETTORE SCIENTIFICO DISCIPLINARE MAT/01

Transcript

1 PROCEDURA SELETTIVA PER LA CHIAMATA DI UN PROFESSORE ASSOCIATO PER IL SETTORE CONCORSUALE 01/A1 SETTORE SCIENTIFICO DISCIPLINARE MAT/01 (Decreto del Rettore n. 209 del 02/03/ avviso pubblicato nella Gazzetta Ufficiale - 4a Serie Speciale - Concorsi ed Esami n. 22 del 21/03/2017) VERBALE DI VALUTAZIONE DEI TITOLI Candidato Lorenzo CARLUCCI Nato nel 1976 ha conseguito il Dottorato di Ricerca in Logica Matematica e Informatica Teorica nel 2006 presso l Università di Siena, e in Computer Science, sempre nel 2006, presso la University of Delaware. E in possesso dell Abilitazione Scientifica Nazionale per professori di II fascia nel settore concorsuale 01/A1 dal 07/03/2014. Dal 2008 è ricercatore a tempo determinato, SSD INF/01, presso il Dipartimento di Informatica dell Università di Roma La Sapienza. In precedenza ha avuto posizioni di assegnista di ricerca sempre presso il Dipartimento di Informatica di Roma La Sapienza e presso la University of Delaware. La produzione scientifica del candidato, che riguarda prevalentemente teoria della dimostrazione e teoria della calcolabilità, con interessi alla teoria dell apprendimento induttivo, include oltre che articoli su riviste anche contributi ad atti di congressi internazionali e - è ottima per originalità, innovatività e rigore metodologico, - compare su riviste internazionali anche di altissimo livello nell ambito non solo della Logica Matematica e dell Informatica Teorica, ma anche, in alcuni casi, della Matematica in generale, e in collane di proceedings di grandissimo spessore, - si è sviluppata con accertata continuità temporale. L apporto ai lavori di collaborazioni è testimoniato dalla piena coerenza col resto dell attività di ricerca. varie pubblicazioni e la loro diffusione. Scopus assegna al candidato h-indice 6. Le pubblicazioni presentate (9 in collaborazione) rappresentano larghissima parte dell attività di ricerca del candidato e ribadiscono perfettamente il precedente giudizio. Le tematiche trattate sono la teoria computazionale dell apprendimento, la teoria della dimostrazione e risultati di indipendenza collegati a vari proncipi combinatori nell Aritmetica di Peano e nei suoi sottosistemi, la teoria della complessità, la Reverse Mathematics di teoremi di combinatoria. Il candidato mostra grande varietà e profondità di interessi e idee. Il candidato ha ricevuto riconoscimenti per le sue ricerche. Ha partecipato a vari progetti di ricerca. Ha ricevuto numerosi inviti come relatore in congressi e seminari. Ha inoltre organizzato convegni internazionali su temi della sua ricerca. L attività didattica include dal al , con l unica eccezione del 2014, un corso di Logica Matematica per il corso di Laurea Magistrale in Informatica. Il candidato ha anche svolto corsi di base per Informatica e nel un corso di Teoria Computazionale dell Apprendimento per la Laurea Magistrale. Il candidato è stato anche relatore di 3 tesi di laurea magistrale, due in Computer Science e una in Filosofia, oltre che di una tesi di laurea triennale in Informatica.

2 Candidato Tommaso FLAMINIO Nato nel 1978, ha conseguito il Dottorato di Ricerca in Matematica nel 2006 presso l Università di Siena. E in possesso dell Abilitazione Scientifica Nazionale per professori di II fascia nel settore concorsuale 01/A1, conseguita il 07/03/2014 e rinnovata il 28/03/2017. Sempre dal 28/03/2017, il candidato ha conseguito l Abilitazione Scientifica Nazionale nel settore concorsuale 11/C2, Logica, Storia e Filosofia della Scienza. Dal 2013 ha avuto una posizione post-dottorato presso l Università dell Insubria. In precedenza, sempre dopo il dottorato, ha avuto analoghe posizioni a Siena e in Spagna (Bellaterra). La produzione scientifica del candidato, che tratta logiche polivalenti e fuzzy, con collegamenti alla teoria della probabilità e allo studio delle MV-algebre, dunque temi attualissimi di ricerca nelle logiche non classiche, è molto estesa e inoltre - è molto apprezzabile per originalità, innovatività e rigore metodologico, - compare su riviste internazionali molto apprezzate nell ambito della logiche non classiche e anche in quello della logica matematica, e in collane di atti ( proceedings ) di altrettanto rilievo, - si è sviluppata con grande continuità temporale. L apporto ai lavori in collaborazione è testimoniato dalla piena coerenza col resto dell attività di ricerca. Le collaborazioni sono peraltro vaste, variate, talora autorevolissime a livello internazionale. varie pubblicazioni e la loro diffusione. Scopus assegna al candidato h-indice 9. Due dei lavori hanno ottenuto significativi riconoscimenti in conferenze dell ambito di ricerca del candidato. Le 12 pubblicazioni presentate (10 in collaborazione) ribadiscono perfettamente il precedente giudizio. Le tematiche trattate riguardano gli aspetti algebrici e probabilistici delle semantiche di logiche polivalenti. Il candidato vi manifesta piena padronanza della parte logica, e capacità di collegarla in modo molto fruttuoso ad altri settori matematici. Il candidato ha anche curato ( editor ) 2 fascicoli speciali di riviste e la raccolta dei contributi a un convegno sulla teoria degli insiemi fuzzy. Il candidato ha svolto attività di coordinamento di un progetto di ricerca in Spagna e di coordinamento locale, sempre in Spagna, di un progetto Marie Curie. Dal 2017 è tra i coordinatori di un gruppo europeo di ricerca in fuzzy logic. Il candidato ha fatto parte del comitato di programma o del comitato organizzatore di varie conferenze internazionali. La lista degli inviti del candidato come relatore in congressi e seminari è notevole. L attività didattica svolta dal candidato, iniziata nell anno accademico , è interessante ma non molto vasta. Include tuttavia la co-supervisione di due tesi di laurea e di 3 tesi di dottorato, una in corso. Candidato Antongiulio FORNASIERO Nato nel 1976 ha conseguito il Dottorato di Ricerca nel 2004 presso la University of Edinburgh. E in possesso dell Abilitazione Scientifica Nazionale per professori di II fascia nel settore concorsuale 01/A1 dal 07/03/2014 e nel settore concorsuale 01/A2 (Algebra e Geometria) dal E attualmente ricercatore visitatore presso la Hebrew University di Gerusalemme. In precedenza ha avuto posizioni postdottorato a Pisa, Freiburg (Germania), Muenster (Germania), presso la Seconda Università di Napoli e finalmente presso l Università di Parma. La produzione scientifica del candidato riguarda la teoria dei modelli con applicazioni all algebra, dunque a temi vivissimi di ricerca nell ambito della Logica Matematica. La produzione - è ottima per originalità, innovatività e rigore metodologico,

3 - compare prevalentemente su riviste internazionali di assoluto prestigio non solo nell ambito della logica matematica ma, talora, dell intera matematica, - è ben distribuita con continuità nel tempo. L apporto ai lavori in collaborazione è testimoniato dalla piena coerenza col resto dell attività di ricerca. Le collaborazioni, peraltro, sono variate e talora di grandissima autorevolezza a livello internazionale. Gli indicatori bibliometrici, in particolare quelli di MathSciNet, confermano il rilievo delle varie pubblicazioni e della loro diffusione. Scopus assegna al candidato un h-indice 4. Le 12 pubblicazioni presentate (9 in collaborazione) riguardano larghissima parte dell attività di ricerca del candidato e ribadiscono perfettamente il precedente giudizio. Le tematiche trattate si riferiscono alla o- minimalità e a sue possibili varianti tra le strutture ordinate, con collegamenti alla geometria algebrica e analitica reale, ai campi valutati, al campo esponenziale complesso e ai polinomi esponenziali, alla teoria geometrica dei modelli. Il contributo del candidato colpisce per profondità, oltre che per una vasta conoscenza non solo della teoria dei modelli, ma anche di teorie algebriche molto raffinate. Il candidato ha ottenuto il Premio Paolo Gentilini 2016 bandito dall AILA (Associazione Italiana di Logica e sue Applicazioni) e riservato a giovani studiosi di Logica Matematica. Il candidato ha partecipato a vari progetti di ricerca, e all organizzazione di congressi anche internazionali di teoria dei modelli. Ha ricevuto inviti anche internazionali come relatore in congressi e seminari. L attività didattica, svolta anche all estero a Freiburg e Muenster, include corsi di Logica Matematica a Parma e corsi più avanzati di Teoria dei Modelli alla Seconda Università di Napoli e prima ancora a Freiburg. A Muenster il candidato ha seguito come supervisore una tesi di diploma. Candidato Luca Luigi PAOLINI Nato nel 1970 ha conseguito il Dottorato di Ricerca in informatica e in Mathématiques Discrètes et Fondements de l Informatique presso l Università di Genova e l Université de la Méditerranée, Aix- Marseilles II, nel E in possesso dell Abilitazione Scientifica Nazionale per professori di II fascia nel settore concorsuale 01/A1 dal 07/03/2014. E ricercatore confermato presso il Dipartimento di Informatica dell Università di Torino dal 01/10/2005. In precedenza ha avuto una posizione di assegnista di ricerca sempre presso l Università di Torino. La produzione scientifica del candidato, che approfondisce i rapporti tra Logica Matematica e Linguaggi di Programmazione, considerando teoria della dimostrazione, teoria dei tipi, teoria della categorie, è vasta, includendo anche contributi a vari atti di convegni, e - è pertinente il SSD MAT/01, - è notevole per originalità, innovatività e rigore metodologico, - compare su riviste internazionali di ottimo livello nell ambito dell Informatica Teorica collegata alla Logica Matematica, - si è sviluppata con chiara continuità temporale. L apporto ai lavori di collaborazioni è testimoniato dalla piena coerenza col resto dell attività di ricerca. varie pubblicazioni e la loro diffusione. Scopus assegna al candidato un h-indice 6. Le pubblicazioni presentate (10 in collaborazione, tra cui un volume) rappresentano larghissima parte dell attività di ricerca del candidato e ribadiscono perfettamente il precedente giudizio. Le principali tematiche trattate sono: lambda-calcolo parametrico, il lambda-calcolo call-by-value, i modelli del lambdacalcolo, le applicazioni della logica ai linguaggi di programmazione ed alla loro semantica. Il candidato impiega in modo felice, sicuro e competente gli strumenti logici all approfondimento soprattutto teorico della scienza dei calcolatori. La tesi di dottorato del candidato è stata premiata come la migliore tesi italiana di dottorato in Informatica Teorica per il 2004 dall Italian Chapter della European Association for Theoretical Computer Science.

4 Il candidato ha svolto attività editoriale, una notevole attività di organizzazione di convegni, ed ha svolto vari compiti accademici presso l Università di Torino. Ha partecipato a vari progetti di ricerca. L attività didattica svolta dal candidato è molto estesa, include corsi di base di Informatica ma anche corsi avanzati di Computazione Quantistica per il Dottorato di Informatica solo in parte attinenti al S.S.D. MAT/01. Il candidato ha contribuito alla supervisione di uno studente di Dottorato in Informatica. Ha poi seguito tesi di laurea triennale su argomenti non attinenti al S.S.D. MAT/01 ed è stato correlatore di una relazione di laurea triennale su argomenti chiaramente attinenti a MAT/01. Candidato Luca SPADA Nato nel 1979, ha conseguito il Dottorato di Ricerca in Logica Matematica e Informatica Teoria presso l Università di Siena nel Avendo conseguito l Abilitazione Scientifica Nazionale per professori di II fascia nel settore concorsuale 01/A1 dal 07/03/2014, è professore associato di Logica Matematica, S.S.D. MAT/01, presso il Dipartimento di Matematica dell Università di Salerno del maggio In precedenza è stato Ricercatore, sempre per il S.S.D. MAT/01 e presso l Università di Salerno, dal marzo Prima ancora aveva avuto borse e assegni di ricerca presso le Università di Salerno e Amsterdam e presso il Politecnico di Vienna. La produzione scientifica del candidato, che rivolge i propri interessi a logiche polivalenti, con connessioni all algebra e alla topologia delle MV-algebre, dunque a temi attualissimi di ricerca nelle logiche non classiche, - è molto apprezzabile per originalità, innovatività e rigore metodologico, - compare su riviste anche internazionali, in molti casi ottime nell ambito della Logica Matematica, - si è sviluppata con chiara continuità temporale. L apporto ai lavori in collaborazione è testimoniato dalla piena coerenza col resto dell attività di ricerca. varie pubblicazioni e la loro diffusione. Scopus assegna al candidato un h-indice 4. Le pubblicazioni presentate (10 in collaborazione) rappresentano larghissima parte dell attività di ricerca del candidato e confermano il precedente giudizio. Le tematiche trattate riguardano specialmente gli aspetti algebrici e categoriali delle semantiche di logiche polivalenti. Il candidato manifesta piena padronanza dei concetti e dei metodi logici e categoriali, nonché delle teorie algebriche collegate. Il candidato ha coordinato progetti di ricerca internazionali, uno ancora in corso, ed è stato ricercatore principale di un progetto individuale Marie Curie. Ha partecipato a 2 PRIN e a vari progetti di ricerca di Ateneo. Il candidato presenta una brillante attività organizzativa, una larga serie di inviti a conferenze, seminari e corsi, nonché attività editoriale. L attività didattica include corsi di Matematica di base, ma anche di Logica Matematica (uno per il Dottorato in Matematica e Fisica dell Università di Salerno). Il candidato è stato responsabile e coordinatore di varie iniziative in campo didattico, compreso il Piano Lauree Scientifiche.

5 VERBALE DI INDIVIDUAZIONE DEL CANDIDATO IDONEO Il giorno 07/07/2017 alle ore i commissari della selezione in epigrafe si riuniscono nei locali del Dipartimento di Matematica e Informatica U. Dini dell'università degli Studi di Firenze per concludere la procedura. La commissione riesaminati i giudizi espressi sulle pubblicazioni scientifiche, sui curricula riferiti all attività scientifica e didattica dei candidati e dato atto del superamento della prova didattica da parte dei candidati interessati, dopo attenta e approfondita discussione, nel corso della quale compara tra di loro tutti i candidati, individua idoneo alla selezione il candidato Antongiulio FORNASIERO per le seguenti motivazioni: il candidato rivela maturità e profondità di ricerca di assoluta autorevolezza a livello internazionale; l intero curriculum è di piena soddisfazione. La seduta è tolta alle ore Letto, approvato e sottoscritto LA COMMISSIONE Prof. Carlo TOFFALORI, presidente Prof. Antonio DI NOLA, membro Prof. Andrea SORBI, segretario