Ritratto di lorenzo.carlucci@uniroma1.it

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: 

 

https://docs.google.com/spreadsheets/d/e/2PACX-1vR7ci6KP-Q2ilYXEDLrKYd34f7m4Z7bLKD1paHqYzWenoitnnr6ZB0LxqmD-tU_leJZQHvHdgqptwI0/pubhtml?urp=gmail_link

 

Le lezioni del giovedì si terranno in Edificio: RM018 Aula 1

 

Avviso: la lezione di Martedì 24 Ottobre è CANCELLATA per motivi di salute.


 

 

Insegnamento Codice Anno Corso - Frequentare Bacheca
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/