Lecture cancelled for health reasons: April 15, Mathematical logic for CS 17-19
Appelli Sessione Straordinaria Aprile 2024:
Logica Matematica: Lo scritto si svolgerà in Aula G0 Palazzina G (Informatica) Viale Regina Elena 295 il 17 Aprile dalle 10 alle 12. L'orale si svolgerà il 18 Aprile in orario da definirsi.
Metodi Matematici per Informatica: Lo scritto si svolgerà in Aula G0 Palazzina G (Informatica) Viale Regina Elena 295 il 17 Aprile dalle 10 alle 12.
Corsi II Semestre 2023/2024:
Mathematical Logic for Computer Science
Starts March 4th
Monday 17:00-19:00 in Aula Alfa (Edificio: RM062)
Friday 10:00-13:00 in Aula T1 (Edificio: RM113)
Course website: https://sites.google.com/uniroma1.it/mlcs2324/home-page
Esami 2023/2024 I sessione
Metodi Matematici per Informatica: il primo scritto si svolgerà come da calendario pubblicato Sapienza il 26/01/2024 in Aula Cabibbo CU033-E01PTEL022/P01L048, dalle ore 14.
Esami Logica Matematica sessione Gennaio-Febbraio 23/24:
mer, 24 gennaio, 08:30 – 19:00 Aula L 10:00-12:30
mer, 14 febbraio, 08:30 – 19:00 Aula L 10:00-12:30
Esami Metodi Matematici sessione Gennaio-Febbraio 23/24:
ven 26 gennaio Aula Cabibbo CU033-E01PTEL022/P01L048 h 14-16
mar 13 febbraio aula III Castelnuovo CU006-E01P01L083 h 14-16
Corsi I Semestre 2023/2024:
- Logica Matematica (Laurea Triennale in Matematica, III anno):
https://sites.google.com/uniroma1.it/logicamatematica2324/home-page
Martedì 14-16 aula Picone (Matematica - Castelnuovo)
Venerdì 8-10 aula Picone (Matematica - Castelnuovo)
Avviso: le lezioni di Logica Matematica inizieranno Venerdì 29 Settembre.
Le lezioni del Venerdì inizieranno alle 8:15.
Avviso: la lezione di Venerdì 29 Settembre è CANCELLATA per motivi di salute.
Avviso: la lezione di Martedì 24 Ottobre è CANCELLATA per motivi di salute.
- Metodi Matematici per Informatica (Laurea Triennale in Informatica, I anno, I canale):
https://sites.google.com/uniroma1.it/mmi2324/home
Martedì 8-11 aula Ponzi I Geologia e Mineralogia
Giovedì 8-10 aula Ponzi I Geologia e Mineralogia
Le lezioni inizieranno effettivamente alle 8:15.
AVVISO: Le lezioni inizieranno il martedì 3 Ottobre.
AVVISO: Le lezioni di Metodi Matematici inizieranno martedì 10 Ottobre.
Per le lezioni del martedì si fa riferimento alla tabella nel seguente link:
Le lezioni del giovedì si terranno in Edificio: RM018 Aula 1
Avviso: la lezione di Martedì 24 Ottobre è CANCELLATA per motivi di salute.
Course | Code | Year | Course - Attendance | Bulletin board |
---|---|---|---|---|
METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2023/2024 | ||
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE | 1047636 | 2023/2024 | ||
LOGICA MATEMATICA | 1022365 | 2023/2024 | ||
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE | 1047636 | 2022/2023 | ||
LOGICA MATEMATICA | 1022365 | 2022/2023 | ||
METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2022/2023 | ||
LOGICA MATEMATICA | 1022365 | 2021/2022 | ||
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE | 1047636 | 2021/2022 | ||
LOGICA MATEMATICA | 1022365 | 2020/2021 | ||
METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2020/2021 | ||
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE | 1047636 | 2020/2021 | ||
METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2019/2020 | ||
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE | 1047636 | 2019/2020 | ||
METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2018/2019 | ||
PROGETTAZIONE DI ALGORITMI | 1015888 | 2018/2019 | ||
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE | 1047636 | 2018/2019 | ||
LOGICA MATEMATICA | 1022365 | 2017/2018 | ||
PROGETTAZIONE DI ALGORITMI | 1015888 | 2017/2018 | ||
METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2017/2018 | ||
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE | 1047636 | 2017/2018 | ||
METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2016/2017 | ||
FONDAMENTI DI PROGRAMMAZIONE | 1015883 | 2016/2017 | ||
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE | 1047636 | 2016/2017 |
Su appuntamento.
I am an Associate Professor in Mathematical Logic (SSD MAT01) at the Computer Science Department of Sapienza University since 2019. In 2020 I received the Habilitation to
Full Professor in Mathematical Logic.
I am Ph.D. in Mathematical Logic and Theoretical Computer Science (Siena, 2006) and Ph.D. in Computer Science (University of Delaware, 2006). I previously graduated in
Philosophy (University of Pisa, 1999) and obtained the Diplome in Philosophical Disciplines of the Scuola Normale Superiore (SNS, 2000).
I am currenctly teaching the courses Metodi Matematici per Informatica (CS laurea triennale), Mathematical Logic for Computer Science (CS laurea magistrale) and Logica Matematica (Math laurea triennale).
My research interests are in the study of the logical and effective content of mathematical theorems, mostly from Combinatorics. I previously worked also in Computational Learning Theory. I have published in the Proceedings of the American Mathematical Society, Proceedings of the London Mathematical Society, Journal of Symbolic Logic, Order.
My research has been funded by grants of the John Templeton Foundation, the NSF, and a Telecom Italia Fellowship and presented at major conferences.
I started and organized the meeting Ramsey Theory in Logic, Combinatorics and Complexity (RaTLoCC, three editions so far), and co-organized other meetings in Logic, Computability and Complexity Rome and Oberwolfach.
I review for Zentralblatt Math and MathSciNet and referee for many Math and Logic journals and conferences (Journal of Symbolic Logic, Proceedings of the AMS, Annals of Pure and Applied Logic, Journal of Computer and Systems Science, etc.).
I supervised around twenty BSc or MSc theses in Logic and Computability.
More details can be found on my website: http://wwwusers.di.uniroma1.it/~carlucci/