Catalogo dei Corsi di studio

CV BREVE DI NICOLA GALESI

**** POSIZIONE E INTERESSI DI RICERCA *****
Nicola è Professore Associato nel Dipartimento di Informatica della Sapienza Università di Roma (Italia). Il suo campo di ricerca si sviluppa tra la Informatica Teorica e la Logica Matematica. Si interessa di Teoria della Complessità e Complessità delle Dimostrazioni Logiche.

*** STUDI ***
Laureato con 110 e lode in Informatica nel Dicembre 1992 presso l'Università degli studi di Bari.
Ha conseguito il Dottorato in Informatica (in Teoria delle Complessità) conseguito con lode presso la Università Politecnica di Catalunya nel maggio 2000.

**** STORIA ACCADEMICA ********
Nicola è stato accademico in Università di molti paesi:

>> Nel 2000-01 è stato Ricercatore della School of Mathematics dell'Institute for Advanced Studies a Princeton (USA).

>> Nel 2002-03 è stato ricercatore presso il Department of Computer Science della University of Toronto in Canada.

>> Nel 2001 ha conseguito la posizione permanente (in seguito all'ottenimento della abilitazione e seguente chiamata) di "Profesor Titular de Universidad" (analogo di Professore Associato in INF01 in Italia) presso la Universitat Politècnica de Catalunya (Barcellona, Spagna).

>> Dal 2005 è Professore Associato nel settore INF01 presso la Sapienza Università di Roma.

>> Nel 2015 e attualmente (2021) è visiting scientist presso la University of California Berkeley preso Simons Institute for Theory of Computing.

>> nel 2016 è stato visiting scientist presso il Tokyo Institute of Technology.

>> È invitato annualmente come visiting scientist presso Institute of Mathematical Logic and Theoretical Computer Science della Accademia delle Scienze della Repubblica Ceca.

**** ABILITAZIONI ****
Nel 2012 e di nuovo nel 2019 ha ottenuto l'abilitazione per la I fascia nel settore * MAT01 - Logica Matematica*.

***** RISULTATI SCIENTIFICI E PREMI ********
Nicola è autore nel complesso di una cinquantina di pubblicazioni solo in riviste internazionali e proceedings di conferenze internazionali di livello A o A* (come il Journal of the ACM, Journal of Computer and System Sciences, SIAM Journal of Computing, Information and Computation, ACM Transaction on Computation Logic, ACM Transaction on Computation Theory, Random Structures and Algorithms, IEEE FOCS, ICALP )

>> Il suo articolo "Parameterized Bounded-Depth Frege is not Optimal" scritto con A. Razborov (premio Nevanlinna), ha ottenuto la menzione come "Most Notable papers in Computer Science for 2012" dalla * ACM Computing Reviews.*

>> La Tesi del suo studente di Dottorato in Sapienza I. Bonacina, ha ottenuto nel 2015 il premio dell' EATCS come migliore tesi di PhD in Italia in Informatica Teorica. La tesi è stata in seguito pubblicata dalla Springer-Verlag come libro.

>> Annualmente Nicola viene invitato a Workshop a numero chiuso nella sua area di ricerca nei centri di ricerca internazionali di Banff, Dagstuhl, Cambridge, Oberwolfach, Oxford.

******DOCENZA*******
Nicola ha insegnato in ambito accademico dalla Triennale fino al Dottorato, in diversi paesi, in diverse lingue e molti corsi diversi:

>> Alla triennale ha insegnato: Algoritmi, Programmazione, Logica Matematica, Basi di Dati, Ottimizzazione, Linguaggi
Automi e Calcolabilità, Matematica Discreta.

>> Al Master ha insegnato Complexity Theory, Proof Theory, Computability.

>> È stato invitato a tenere un corso di Dottorato in Proof Complexity presso lo Steklov Institute a San Pietroburgo (2009) e presso l'Università di Salerno.

>> Dal 2007 al 2016 è stato membro del Comitato del MIUR per le Olimpiadi di Informatica.

******** DIREZIONE TESI E RICERCA ********
Nicola è stato relatore di Tesi per molti studenti di magistrale in Sapienza, sia in Informatica che in Matematica e attualmente per uno studente in Fisica. È stato inoltre relatore di Tesi per la tesi di I. Bonacina in Matematica presso l'Università di Pisa.

Come studenti di dottorato in Informatica Nicola ha diretto:

>> Massimo Lauria (2009), attualmente professore associato in Sapienza nel dipartimento di Statistica.

>> Ilario Bonacina (2015), attualmente ricercatore presso la Universitat Politècnica de Catalunya.

>> Fariba Ranjbar, laureata in Matematica, e che termina nel 2020-21.

Come ricercatori *Post-dottorato*, Nicola ha diretto

>> Olaf Beyersdorff (2010-2012), attualmente Full Professor presso la Università di Jena (Germania)

>> Alan Skelley (2009). Attualmente a Google Research.

*****PROGETTO DI RICERCA COME PI ******
Le posizioni di Nicola in USA e Canada sono state finanziate dalla NSF (US) e dalla NSERC (Canada). Nicola ha ottenuto i seguenti finanziamenti come PI.

>> nel 1996 una Marie Curie di 3 anni.

>> Nel 2011 un grant di 100k euro dell Templeton Foundation per il progetto di Logica Matematica "Limits on Theorem Proving".

>> nel 2013-2015 un'azione Integrata CRUI-DAAD Italia-Germania.

>> è stato PI di diversi progetti interni Sapienza

******ORGANIZZAZIONE E SERVIZI ALLA COMUNITÀ SCIENTIFICA*******

Nicola ha inventato e organizzato vari workshop internazionali:

>> Workshops on Limits of Theorem Proving, tenutosi Roma nel 2012;

>>SAT Interactions, a Dagstuhl nel 2012;

>> Ramsey Theory in Logic, Combinatorics and Complexity I and II, III in Bertinoro nel 2009, 2011 e nel 2018.

>> Nicola serve nel comitato editoriale di due riviste internazionali: *Logical Methods in Computer Science*
e *Journal on Satisfiability*. Negli anni ha servito in comitati di programma di numerose conferenze in Logica Matematica e Informatica Teorica. Nel 2012 è stato *publicity chair* per ICALP la conferenza di riferimento in Europa per l'Informatica Teorica.

>> Serve come revisore *solo* per riviste o conferenze di classe A o A^*. Dal 2017 è revisore per la rivista *Mathematical Reviews*.

***** SERVIZI ALLA COMUNITÀ SAPIENZA ********

Attualmente Nicola contribuisce in Sapienza come Tutor nel progetto QUID (per l'eccellenza nella didattica). È stato Coordinatore del dottorato in Informatica durante il 2017-2018. Ha servito in numerose commissioni interne sia di didattica che di ricerca. Nel 2006 è stato *membro* della commissione di selezione per il dottorato e nel 2015 e nel 2020 presidente. Nel 2019 è stato nel comitato nazionale dell'EATCS per l'assegnazione della miglior tesi di dottorato in Informatica Teorica.