Fausto Giunchiglia
Email: fausto.giunchiglia@unitn.it
Title: Full Professor of Computer Science
Affiliation: Department of Information Engineering and Computer Science (DISI), University of Trento, Italy
Academic Summary:
Prof. Dr. Fausto Giunchiglia is a distinguished Italian computer scientist and Full Professor at the University of Trento, Italy, renowned for his contributions in artificial intelligence, formal methods, automated reasoning, and knowledge representation. He is an ECCAI Fellow and a Member of the Academia Europaea, and has served as President of IJCAI and on editorial boards of multiple leading AI journals. [oai_citation:0‡Fausto](https://fausto.disi.unitn.it/?utm_source=chatgpt.com)
Education:
• Ph.D. in Computer Engineering, University of Genoa, Italy (1987). [oai_citation:1‡欧洲科学院](https://www.ae-info.org/ae/User/Giunchiglia_Fausto/CV?utm_source=chatgpt.com)
• M.S. in Computer Engineering, University of Genoa, Italy (1983). [oai_citation:2‡欧洲科学院](https://www.ae-info.org/ae/User/Giunchiglia_Fausto/CV?utm_source=chatgpt.com)
• Laurea in Electronic Engineering (Computer Engineering), University of Genoa, Italy (1981). [oai_citation:3‡欧洲科学院](https://www.ae-info.org/ae/User/Giunchiglia_Fausto/CV?utm_source=chatgpt.com)
Professional Experience:
• Full Professor, Faculty of Science, University of Trento (1999–present). [oai_citation:4‡Fausto](https://fausto.disi.unitn.it/short-cv/?utm_source=chatgpt.com)
• Vice-Rector, University of Trento (2001–2004). [oai_citation:5‡Fausto](https://fausto.disi.unitn.it/short-cv/?utm_source=chatgpt.com)
• Head of Information and Communication Technology Department, University of Trento (2002–2007). [oai_citation:6‡Fausto](https://fausto.disi.unitn.it/short-cv/?utm_source=chatgpt.com)
• Head of Automated Reasoning Systems Division, ITC-IRST (now FBK), Trento (1998–1999). [oai_citation:7‡Fausto](https://fausto.disi.unitn.it/short-cv/?utm_source=chatgpt.com)
• Visiting Fellow, Department of Computer Science, Stanford University (1990–1997). [oai_citation:8‡Fausto](https://fausto.disi.unitn.it/short-cv/?utm_source=chatgpt.com)
• Research Fellow, Department of Artificial Intelligence, University of Edinburgh (1987–1988). [oai_citation:9‡Fausto](https://fausto.disi.unitn.it/short-cv/?utm_source=chatgpt.com)
Research Interests:
Artificial Intelligence, Formal Methods, Automated Reasoning, Model Checking, Knowledge Representation, Contextual Reasoning, Semantic Matching, Ontologies, Diversity in Knowledge Management. [oai_citation:10‡Fausto](https://fausto.disi.unitn.it/?utm_source=chatgpt.com)
Key Contributions & Honors:
• Full Professor at University of Trento and international leader in AI research. [oai_citation:11‡Fausto](https://fausto.disi.unitn.it/?utm_source=chatgpt.com)
• ECCAI Fellow and Member of Academia Europaea for contributions to artificial intelligence. [oai_citation:12‡Fausto](https://fausto.disi.unitn.it/?utm_source=chatgpt.com)
• President of the Board of Trustees of IJCAI and chair of major international conferences. [oai_citation:13‡Fausto](https://fausto.disi.unitn.it/?utm_source=chatgpt.com)
• Author/co-author of 380+ scientific publications in AI, formal methods, and semantic technologies. [oai_citation:14‡吉林大学未来科学实验室](https://icfs.jlu.edu.cn/info/1305/1227.htm?utm_source=chatgpt.com)
Professional Service:
• Editorial board member and editor for leading AI research journals such as Journal of Data Semantics and Journal of Autonomous Agents and Multi-Agent Systems. [oai_citation:15‡Fausto](https://fausto.disi.unitn.it/?utm_source=chatgpt.com)
• Leadership roles in international AI associations and research communities. [oai_citation:16‡Fausto](https://fausto.disi.unitn.it/?utm_source=chatgpt.com)
Contact & Profiles:
• **Personal Website:** https://fausto.disi.unitn.it/ (homepage with biography and publications) [oai_citation:17‡Fausto](https://fausto.disi.unitn.it/?utm_source=chatgpt.com)
• **Google Scholar:** Search “Fausto Giunchiglia University of Trento” to view his citation profile and publications. [oai_citation:18‡谷歌学术](https://scholar.google.com/citations?hl=it&user=yDTC2DgAAAAJ&utm_source=chatgpt.com)