GIUSEPPE
DE GIACOMO
ING-INF/05
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}).