Giuseppe De Giacomo

• Facolta' di Ingegneria dell'Informazione, Informatica e Statistica
• Dipartimento di Ingegneria Informatica Automatica e Gestionale
• Consiglio d'Area di Ingegneria Informatica
• Sapienza Universita' di Roma
  

Avvisi

• Nessuno 


Ricevimento studenti

Martedi' 17:00-19:00 (su appuntamento)
Via Ariosto 25, secondo piano, stanza B210.

Tesi magistrali disponibili contattare il docente

Corsi tenuti nell'AA 2026/27

• Formal Methods - 6 CFU (primo semestre)

Corsi tenuti in anni accademici precedenti (materiale online)

• Formal Methods - 6 CFU (aa2025/26)
• Formal Methods - 6 CFU (aa2024/25)
• Formal Methods - 6 CFU (aa2023/24)
• Game-theoretic Approach to Planning and Synthesis - PhD Course and MSC Course part of the module HRI and Reasoning about Actions of Elective in AI (aa2023/24)
• Formal Methods - 6 CFU (aa2022/23)
• Game-theoretic Approach to Planning and Synthesis - PhD Course and MSC Course part of the module HRI and Reasoning about Actions of Elective in AI (aa2022/23)
• Progettazione del Software - 3/9 CFU (aa2021/22)
• Formal Methods - 6 CFU (aa2021/22)
• Artificial Intelligence and Machine Learning - 6/9 CFU (aa2021/22)
• Progettazione del Software - 6/9 CFU (aa2020/21)
• Formal Methods - 6 CFU (aa2020/21)
• Reasoning Agents - 3 CFU (Elective in AI, aa2020/21)
• Formal Methods - 6 CFU (aa2019/20)
• Reasoning Agents - 3 CFU (Elective in AI, (aa2019/20)
• Progettazione del Software - 9 CFU (aa2018/19)
• Formal Methods - 6 CFU (aa2018/19)
• Reasoning Agents - 4.5 CFU (Elective in AI, aa2018/19)
• Formal Methods - 6 CFU (aa2017/18)
• Fondamenti di Informatica II: Progettazione del Software - 6 CFU (aa2017/18)
• Reasoning Robots - 3 CFU (Elective in AI, aa2017/18)
• Formal Methods - 6 CFU (aa2016/17)
• Fondamenti di Informatica II: Progettazione del Software - 6 CFU (aa2016/17)
• Process and Service Modeling and Analysis (aa2016/17)
• Formal Methods - 6 CFU (aa2015/16)
• Fondamenti di Informatica II: Progettazione del Software - 6 CFU (aa2015/16)
• Process and Service Modeling and Analysis (aa2015/16)
• Formal Methods - 6 CFU (aa2014/15)
• Fondamenti di Informatica II: Progettazione del Software - 6 CFU (aa2014/15)
• Service Integration - Section of Elective in Software and Services - 3 CFU (aa2014/15)
• Formal Methods - 6 CFU (aa2013/14)
• Progettazione del Software - 9 CFU (aa2013/14)
• Service Integration - Section of Elective in Software and Services - 3 CFU (aa2013/14)
• Formal Methods - 6 CFU (aa2012/13)
• Progettazione del Software - 9 CFU (aa2012/13)
• Service Integration - Section of Elective in Software and Services - 3 CFU (aa2012/13)
• Elective in Software and Services: Section - 3 CFU "Service Integration" (aa2011/12)
• Progettazione del Software - 9 CFU (aa2011/12)
• Metodi Formali per il Software e i Servizi - 6 CFU (aa2011/12)
• Elective in Software and Services: Section - 3 CFU "Service Integration" (aa2010/11)
• Progettazione del Software - 9 CFU (aa2010/11)
• Metodi Formali per il Software e i Servizi - 6 CFU (aa2010/11)
• Elective in Software and Services: Section - 3 CFU "Service Integration" (aa2009/10)
• Progettazione del Software - 9 CFU (aa2009/10)
• Metodi Formali per il Software e i Servizi - 6 CFU (aa2009/10)
• Elective in Software and Services: Section - 3 CFU "Service Integration" (aa2008/09)
• Progettazione del Software - 9 CFU (aa2008/09)
• Metodi Formali per il Software e i Servizi - 6 CFU (aa2008/09)
• Basi di Dati (Laurea in Ingegneria Informatica)
• Progettazione del Software I (Laurea in Ingegneria Informatica)
• Seminari di Ingegneria del Software (Laurea Specialistica in Ingegneria Informatica)
• Storia dell'Informatica: Storia dei Linguaggi di Programmazione (Laurea & Laurea Specialistica in Ingegneria Informatica)
• Laboratorio di Programmazione (Laurea in Ingegneria Informatica)
• Tecniche di programmazione (Laurea in Ingegneria Informatica)
• Progettazione del Software (Laurea in Ingegneria Gestionale)
• Fondamenti di Informatica I (Laurea in Ingegneria Informatica)
• Informatica Grafica (Laurea in Ingegneria dell'Ambiente e del Territorio)
• Fondamenti di Informatica II - primo modulo (Diploma in Ingegneria Informatica)
• Fondamenti di Informatica II - secondo modulo (Diploma in Ingegneria Informatica)
• Slides sul Situation Calculus per il corso di Intelligenza Artificiale
• Data Integration (Dottorato in Ingegneria Informatica 2000)
• Cognitive Robotics (Dottorato in Ingegneria Informatica 2001)

Back to the Giuseppe De Giacomo - home page.