Ritratto di giuseppe.degiacomo@uniroma1.it

Le lezioni del secondo semestre 2020/2021 si sivolgeranno in modalità ibrida. Sarà fondamentale rifereisi alla pagina web del corso dove tutto il materiale e i video delle lezioni saranno disponibile. E' inolte necessario che

ogni studente sia registrato al forum del proprio corso (Formal Methods o Reasoning Agents - Elective in AI), perché le comunicazioni tra iol docente e la classe avverranno tramite detto forum.

 

Insegnamento Codice Anno Corso - Frequentare Bacheca
FORMAL METHODS 1038133 2023/2024
FORMAL METHODS 1038133 2022/2023
FORMAL METHODS 1038133 2021/2022
ARTIFICIAL INTELLIGENCE AND MACHINE LEARNING 10599898 2021/2022
PROGETTAZIONE DEL SOFTWARE 1018706 2021/2022
ARTIFICIAL INTELLIGENCE 10600392 2021/2022
FORMAL METHODS 1038133 2020/2021
PROGETTAZIONE DEL SOFTWARE 1018706 2020/2021
PROGETTAZIONE DEL SOFTWARE 1018706 2019/2020
FORMAL METHODS 1038133 2019/2020
ELECTIVE IN ARTIFICIAL INTELLIGENCE 1056413 2019/2020
PROGETTAZIONE DEL SOFTWARE 1018706 2018/2019
FORMAL METHODS 1038133 2018/2019
ELECTIVE IN ARTIFICIAL INTELLIGENCE 1056413 2018/2019
FONDAMENTI DI INFORMATICA II 1018704 2017/2018
FORMAL METHODS 1038133 2017/2018
PROCESS AND SERVICE MODELING AND ANALYSIS 1044402 2016/2017
FONDAMENTI DI INFORMATICA II 1018704 2016/2017
FORMAL METHODS 1038133 2016/2017

Martedì 17:00 - 19:00, DIAG, Via Ariosto 25, Ufficio B215.

Giuseppe De Giacomo (http://www.diag.uniroma1.it/~degiacomo) è professore ordinario presso il Dipartimento di Ingegneria Informatica e Automatica e Gestionale (DIAG), Sapienza Università di Roma. Giuseppe De Giacomo è ACM Fellow, AAAI Fellow e EurAI Fellow. Gli interessi scientifici di Giuseppe De Giacomo riguardano aspetti teorici ed applicativi in diverse aree dell Informatica, e in particolare dell Intelligenza Artificiale, quali la rappresentazione della conoscenza e il ragionamento automatico, il ragionamento sulle azioni e la pianificazione automatica, tecnologie per agenti autonomi, le tecnologie semantiche e ontologie, l'integrazione di dati, composizione di servizi e spazi smart immersivi, analisi e sintesi di processi data-aware, verifica e sintesi automatica in Intelligenza Artificiale. Giuseppe De Giacomo ha partecipato a diversi progetti di ricerca nazionali ed internazionali ed è autore di numerosi articoli pubblicati presso le più prestigiose conferenze internazionali e riviste dei settori di interesse. Per una lista dettagliata delle pubblicazioni si veda il sito DBLP http://www.informatik.uni-trier.de/~ley/pers/hy/g/Giacomo:Giuseppe_De.html oppure http://www.dis.uniroma1.it/~degiacomo/publications. Ha h-index pari a 70 e un i10-index pari 214 secondo Google Scholar (marzo 2019). Tali indici bibliometrici sono tra i più alti in assoluto nei settori dell Ingegneria Informatica (ING-INF/05) e delle Scienze dell Informazione (INF/01) in Italia. E' stato l'organizzatore del 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12) che si è tenuta a Roma nel giugno 2012. E' stato il Program Chair della 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14) tenutosi a Vienna nel luglio del 2014. E' stato associate editor del Journal of Artificial Intelligence Research. E' stato nell'Editorial Board della rivista Artificial Intelligence di cui ora è Review Editor. E' nell'editorial board di Acta Informaticae da settembre 2015. E stato premiato con due IBM Faculty Award, nel 2009 e nel 2011, per la sua ricerca su artifact-centric business process modeling and verification. Nell agosto 2013 è stato premito con Miegunyah Distinguished Fellowship presso l University of Melbourne, Australia. Da marzo 2003 ad ottobre 2008 è stato il Responsabile Scientifico ERASMUS della Facoltà di Ingegneria della Sapienza Università di Roma. Da Novembre 2011 ad ottobre 2014 è stato il coordinatore del Dottorato in Ingegneria Informatica della Sapienza. Attualmente Giuseppe De Giacomo è Program Chair di 24th European Conference on Artificial Intelligence (ECAI 2020) che si terrà a Santiago de Compostela, Spagna, 8-11 giugno 2020, ed è terrà una invited talk su "Queryable Self-Deliberating Dynamic Systems" al 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) che si terrà a Macao, Cina, 10-16 agosto 2019.

ENGLISH

Giuseppe De Giacomo (http://www.diag.uniroma1.it/~degiacomo) is full professor in Computer Science and Engineering at Univ. Roma La Sapienza". His research activity concerns theoretical, methodological and practical aspects in different areas of AI and CS, most prominently Knowledge Representation and Reasoning, Automated Planning, Ontologies and Semantic Technologies, Autonomous Agents, Data-aware Process Analysis and Synthesis, Data Integration, Verification and Synthesis in AI. He is AAAI Fellow, ACM Fellow, and EurAI Fellow. He is the Program Chair of ECAI 2020. Giuseppe De Giacomo will give an Invited Talk at IJCAI 2019 on "Queryable Self-Deliberating Dynamic Systems". His publications can be found on
DBLP (\url{http://dblp.uni-trier.de/pers/hd/g/Giacomo:Giuseppe_De}),
and his bibliometrics on Google Scholar
(\url{https://scholar.google.com/citations?user=Sfo4K0oAAAAJ&hl=en}).