Notizie
Nicola is associate professor at:
DIAG, Dipartimento di Ingegneria Informatica, Automatica e Gestionale "A. Ruberti".
Via Ariosto, 25. 00185 Roma
Room: A202.
Talk in person: take an app by email.
Research Interests: Computational Complexity, Logic in Computer Science, Theoretical Computer Science
Pagina web personale
INFORMAZIONE SUI CORSI del Prof. Galesi a.a. 2025-2026
COMPUTATIONAL COMPLEXITY 25-26 (II Term, March to May 2026 )
Corso di laurea: Master in Engineering in Computer Science
Language: English
Starting Date: March 3 2026
Days:
Tue: 8:00 -11:00 (AULA A4 - DIAG, Via Ariosto 25)
Thu: 8:00 - 10:00 (AULA A5 - DIAG, Via Ariosto 25)
Web Page (Sapienza Moodle)
Notice: If you plan to take the course or are simply interested, please contact the teacher at galesi@diag.uniroma1.it and register yourself in the course Moodle page to access the program, to receive info and updates concerning the course.
Topics (short list)
1. Basic on Complexity Classes
2. Diagonalization Technique and Hierarchies Theorems
3. Barriers Results I: Diagonalization is not sufficient to prove P different from NP
4. Space Complexity
5. Polynomial Hierarchy and its basic theorems
6. Approximation and Complexity Classes
7. Boolean models of computations and their limits: Decision Trees, Branching Programs and Boolean Circuits
8. Barriers Results - II [optional]
9. Introduction to Proof Complexity
10.Introduction to Communication Complexity
_________ I Semestre 25/26 ______________
FONDAMENTI DI MATEMATICA (I Sem, II Canale (Lettere N-Z))
Corso di laurea: Ingegneria Informatica e Automatica
Inizio corsi: Lunedì 22 Settembre 2025
Giorni:
Lun: 12:00 -- 14:00 (aula 105 - complesso Marco Polo)
Mer: 12:00 -- 14:00 (aula 105 - complesso Marco Polo)
Gio: 14:00 -- 18:00 (aula 105 - complesso Marco Polo)
Esercitazioni: Mar: 18:00 -- 20:00 (aula 105 - complesso Marco Polo) dal 30 settembre
Pagina web Moodle del corso
LOGICA MATEMATICA (I Sem)
Corso di laurea: Filosofia e Intelligenza Artificiale
Inizio corsi: Martedì 7 Ottobre 2025
Giorni:
Mar: 08:00 -- 10:00 (aula XIII - Villa Mirafiori) (aula IIIV - Villa Mirafiori)
Gio: 08:00 -- 10:00 (aula XIII - Villa Mirafiori) (aula IX - Villa Mirafiori)
Pagine web Moodle del corso
Insegnamenti
| Codice insegnamento | Insegnamento | Anno | Semestre | Lingua | Corso | Codice corso | Curriculum |
|---|---|---|---|---|---|---|---|
| 1022365 | LOGICA MATEMATICA | 2º | 1º | ITA | Filosofia e Intelligenza Artificiale | 33526 | Curriculum unico |
| 10612389 | COMPUTATIONAL COMPLEXITY | 1º | 2º | ENG | Engineering in Computer Science and Artificial Intelligence - Ingegneria Informatica e Intelligenza Artificiale | 33515 | Curriculum unico |
| 10606834 | Fondamenti di matematica | 1º | 1º | ITA | Ingegneria Informatica e Automatica | 33501 | Informatica |
| 10606834 | Fondamenti di matematica | 1º | 1º | ITA | Ingegneria Informatica e Automatica | 33501 | Automatica |