Prof. Fausto Giunchiglia is from Faculty of Science, University of Trento, Italy. He recieved his BS in Electronic Engineering (1981), MS in Computer Engineering (1983), PhD in Computer Engineering(1987) from University of Genoa. He has been a full professor in the Faculty of Science, University of Trento, Italy since 1999. He is member of the European Academy of Sciences and Arts, Honorary Professor at Jilin University and internationally renowned artificial intelligence expert. His main research interest is artificial intelligence, formal methods, software engineering, automated reasoning, theorem proving, model checking,etc. He has co-authored over 380 research papers including AAAI, UBICOMP, Artificial Intelligence, etc. He was a member of the IJCAI Board of Trustees, president of the Board of Trustees of IJCAI , vice-rector of the University of Trento, Italy ,and head of the Department of Information and Communication Technology.

Education
1987   PhD in Computer Engineering, University of Genoa, Faculty of Engineering
1983   MS in Computer Engineering, University of Genoa, Faculty of Engineering
1981   BS in Electronic Engineering (specialization in Computer Engineering), University of Genoa, Faculty of Engineering

Positions
2002-2007       Dean of the Department of Information and Communication Technology
2001-2004       Vice-Rector of the University of Trento, Italy
1999-now        Full Professor, Faculty of Science, University of Trento, Italy
1998-1999       Head of the Automated Reasoning Systems division, ITC-IRST, Trento, Italy
1994-1997       Project manager, ITC-IRST, Trento, Italy
1992-1999       Associate Professor, Faculty of Economics, University of Trento, Italy
1992-1993       Head of Research Laboratory, ITC-IRST, Trento, Italy
1990-1997       Visiting fellow, Department of Computer Science, Stanford University, Stanford, USA
1990-1992       Researcher, Faculty of Engineering, University of Genoa, Italy
1988-1991       Senior Researcher, ITC-IRST, Trento, Italy
1987-1988       Research Fellow, Department of Artificial Intelligence, University of Edinburgh, Scotland, UK
1986-1988       Adjunct Professor, Faculty of Engineering, University of Genoa, Italy
1985-1987       PhD student, Stanford University, Stanford, USA
1983-1986       Doctorate student, Faculty of Engineering, University of Genoa, Italy
1981-1983       Research Assistant, Faculty of Engineering, University of Genoa, Italy

Professional Membership
Member of the Informatics Europe steering Committee in charge of the evaluation of Departments and Research Institutes in Europe, 2010 – presente
Membro della Giunta del Gruppo di Ingegneria Informatica (GII), associazione dei docenti di Ingegneria Informatica delle Università Italiane, 2010 – presente
President of the Board of Trustees of IJCAI, 2005-2007
Steering Committee Member and Vice-President (Europe) of the Asian Semantic Web Conference Series (ASWC), 2005 – 2009
Member of the European Coordinating Committee on Artificial Intelligence (ECCAI) Fellows Selection Committee, 2004-2006
Fellow of the European Coordinating Committee on Artificial Intelligence (ECCAI), 2002-present
IJCAI Board of Trustees member, 2001-2011.
President of KR, Inc., 2002-2004.
Board of Trustees member of the CALCULEMUS Interest Group, 1999-2001.
Steering Committee member of the Symposium on Abstraction, Reformulation and Approximation (SARA), 1999-present.
Organizing Committee member of the IEEE Conf. on Logic in Computer Science (LICS), 1997-2003.
Advisory Board member of KR, Inc., 1997-2005.
Steering Committee member of the Int. and Interdisciplinary onf. on Modeling and Using Context (CONTEXT), 1999-2011.

Awards/Honors
2011     Author (joint with Pavel Shvaiko and Mikalai Yatskevich) of the paper: S-Match: an   Algorithm and an Implementation of Semantic Matching, nominated as the most influential paper in 7 years at the Extended Semantic Web conference in 2011.
2009     “Author (joint with Uladzimir Kharkevich and Ilya Zaihrayeu) of the paper “Concept Search” published in the 2009 European Conference on the Semantic Web (ESWC 2009), which got a Special Mention from the Best Paper award evaluation committee
2008      Author (joint with Alessandro Cimatti, Enrico Giunchiglia, Paolo Traverso) of the paper “Planning via Model Checking: A Decision Procedure for AR” published in the European Conference on Planning (ECP) in 1997, selected as the “International Conference on Automated Planning and Scheduling” (ICAPS) Influential paper 10 years later, in 2008, Sidney, September 2008
2008     Honorary Professor at Jilin University, ChangChun, China 2006     Winner of the IBM Shared University Research Grant
2002     Fellow of the European Coordinating Committee for Artificial Intelligence, (ECCAI). Nominated in 2002
1992     Winner of the first edition of the Artificial Intelligence prize sposored by the Italian Association for Artificial Intelligence (AI*IA), as best Italia research scientist born after 1957
1990     Co-author of the article Abstraction in awarded as the best paper at the AISB (Association for Artificial Intelligence and Simulation of Behaviour) Postgraduate workshop
1986     Winner of a CNR prize for outstanding research done in the period covered by the first CNR (National Research Council) scholarship
1986     Winner of a CNR (National Research Council) scholarship (one year)
1985     Winner of a CNR (National Research Council) scholarship (six months)
1985     Winner of the Fullbright Scholarship. (Not accepted)
1984     Co-author of the article “From Descriptions to Images: What reasoning in between?”, awarded as the best paper on Cognitive Modeling at the European Conference on Artificial Intelligence (ECAI)

Professional Service
Advisory board member of the Transactions on Intelligent Systems and Technology (ACM TIST) , 2009-present
Editorial Board member of the Book Series on Studies on the Semantic Web, 2009-present
Editorial Board member of the Journal of Automated Sperimentation , 2009-2013
Editorial Board member of the Journal of Data Semantics (JODS), 2008-present
Scientific Committee member of the journal Networks – a journal in philosophy or artificial intelligence and cognitive sciences, 2002-present
Member of the Advisory Board of the QPQ (“QED Pro Quo”) online journal of peer-reviewed source code for deductive software components, 2002-Present
Member of the Editorial Board of the Book series “Frontiers in AI and its applications”, IOS Press, 2002-present.
Co-editor Special Issue of the Artificial Intelligence Journal on “Abstraction“, Springer Verlag, 2004.
Editorial Board Member of the Journal of Applied non Classical Logics, Hermes-Science Publication, 2001-present.
Editorial Board Member of the Int. Journal of Autonomous Agents and Multi-Agent Systems, 2000-2010.
Editorial Board Member of AICOM – AI Communications, IOS Press, 2000-2004.
Co-editor Special Issue Int. Journal on Software Tools for Technology Transfer (STTT) (Springer). Title: “Mechanized Theorem Proving for Technology Transfer”, 1999.
Co-editor Special Issue Journal of Logic and Computation (JLC), Oxford University Press. Title: “Computational and Logical Aspects of Multi-Agent Systems”, 1998.
Editorial Board Member of the Int. Journal on Software Tools for Technology Transfer (STTT) (Springer), 1997-2006.
Advisory Board Member of the Journal of Artificial Intelligence Research(JAIR), 1997-2001.
Associate Editor of the Journal of Artificial Intelligence Research (JAIR), 1994-1996.
Editorial Board Member of the Journal of Artificial Intelligence Research(JAIR), 1993-1994.

Research Interest
Artificial Intelligence, Formal Methods, Software Engineering (to some extent), automated reasoning, theorem proving, model checking, planning, contexts and contextual reasoning (and logics for modeling it), abstract reasoning, meta-theoretic reasoning, reasoning about propositional attitudes (belief mainly), integration of reasoning systems, agents and agent oriented software engineering, Peer-to- Peer data bases, knowledge management, contextual ontologies, "diversity in knowledge management", ... 1. From a scientific point of view, I am still very much interested in the notion of context. My recent focus is the study of how its can be used to manage data, content and knowledge in the large in real world applications. My reference application domain is a peer-to-peer enabled (Semantic) Web, while I guess a good title for my current research is Managing diversity in knowledge. 2. In the last few years, I have become very interested in the issue of the impact of Technology, and Computer Science in particular, on organizations, people and society. I got involved in this not so much as a research exercise but as a consequence of some managerial positions I have taken, mainly related to my Academic role at the University of Trento. Although I have never published any scientific paper on these issues, I have written various documents (mostly in Italian) which I believe are of some interest.

Publications
Coauthored over 380 papers in international journals, including AAAI, UBICOMP, COMPUTERS IN HUMAN BEHAVIOR , ICSC , Artificial Intelligence, etc. Total citations: > 18000 - H-index = 59, i10-index=152(Google Scholar).

1. Mobile social media usage and academic performance
Giunchiglia, Fausto; Zeni, Mattia; Gobbi, Elisa; Bignotti, Enrico; Bison, Ivano, "Mobile social media usage and academic performance" in COMPUTERS IN HUMAN BEHAVIOR, v. 82 (2018), (2018), p. 177-185

2. Teleologies: Objects, Actions and Functions
Giunchiglia, Fausto; Fumagalli, Mattia, "Teleologies: Objects, Actions and Functions", Cham: Springer, 2017, 15 p. - DOI: 10.1007/978-3-319-69904-2_39

3. Personal context modelling and annotation
Giunchiglia, Fausto; Bignotti, Enrico; Zeni, Mattia, "Personal context modelling and annotation" in Pervasive Computing and Communications, 2017 IEEE International Conference, Kona, Big Island, Hawaii, USA: IEEE, 2017. Proceedings of: IEEE 2017, San Diego, California, USA, 30 Jan - 01 Feb 2017

4. SemUI: A Knowledge Driven Visualization Of Diversified Data
Giunchiglia, Fausto; Ojha, Sajan Raj; Das, Subhashis, "SemUI: A Knowledge Driven Visualization Of Diversified Data", San Diego, California: IEEE, 2017, sponsored by: Proceedings in 11th International Conference on Semantic Computing (ICSC – 2017)

5. HUMAN-LIKE CONTEXT MODELLING FOR ROBOT SURVEILLANCE
Giunchiglia, Fausto; Bignotti, Enrico; Zeni, Mattia, "HUMAN-LIKE CONTEXT MODELLING FOR ROBOT SURVEILLANCE" in Pervasive Computing and Communications, 2017 IEEE International Conference, Stati Uniti: ISWER, 2017. Proceedings of: IEEE 2017, Stati Uniti, 13-17 marzo 2017

6. CONCEPTS AS (RECOGNITION) ABILITIES
Giunchiglia, Fausto; Fumagalli, Mattia, "CONCEPTS AS (RECOGNITION) ABILITIES", Italy: IOS Press, 2016

7. From ER Models to the Entity Model
Giunchiglia, Fausto; Fumagalli, Mattia, "From ER Models to the Entity Model" in 19th Int'l Conference on Knowledge Engineering and Knowledge Management, Germania: Springer Verlag, 2014. Proceedings of: 19th Int'l Conference on Knowledge Engineering and Knowledge Management, Link?ping, Sweden, 24th November – 28th Novemberv

8. From Knowledge Organization to Knowledge Representation

9. Multi-device activity logging
Zeni, Mattia; Zaihrayeu, Ilya; Giunchiglia, Fausto, "Multi-device activity logging" in Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing Adjunct Publication - UbiComp '14 Adjunct, USA: ACM, 2014, p. 299-302. - ISBN: 9781450330473. Proceedings of: UBICOMP 2014, Seattle, 13-17 settembre. - DOI: 10.1145/2638728.2638756
Giunchiglia, Fausto; Dutta, B.; Maltese, Vincenzo, "From Knowledge Organization to Knowledge Representation" in KNOWLEDGE ORGANIZATION, v. 2014, n. 41 (1) (2014), p. 44-56

10. Domains and Context: First Steps Towards Managing Diversity in Knowledge
Giunchiglia, Fausto; Maltese, Vincenzo; B., Dutta, "Domains and Context: First Steps Towards Managing Diversity in Knowledge" in JOURNAL OF WEB SEMANTICS, v. 2012, (2012), p. 53-63. - DOI: 10.1016/j.websem.2011.11.007

11. A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology
Giunchiglia, F.; Dutta, B.; Maltese, V.; Farazi, F., "A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology" in JOURNAL ON DATA SEMANTICS, v. 2012, n. 1 (2012), p. 57-73

12. S-Match: an open source framework formatching lightweight ontologies
Giunchiglia, Fausto; Autayeu, Aliaksandr; Pane Fernandez, Juan Ignacio, "S-Match: an open source framework formatching lightweight ontologies" in SEMANTIC WEB, v. 3, n. 3/2012 (2012), p. 307-317. - DOI: 10.3233/SW-2011-0036

13. GeoWordNet: A Resource for Geo-Spatial Applications
Giunchiglia, Fausto; Maltese, Vincenzo; F., Farazi; Dutta, Biswanath, "GeoWordNet: A Resource for Geo-Spatial Applications" in 7th Extended Semantic Web Conference, Heraklion, Greece: ESWC, 2010. Proceedings of: ESWC 2010, Heraklion, Greece, 30/5/11-2/6/11

14. A large dataset for the evaluation of ontology matching
Giunchiglia, Fausto; Yatskevich, Mikalai; P., Avesani; Shvaiko, Pavel, "A large dataset for the evaluation of ontology matching" in KNOWLEDGE ENGINEERING REVIEW, v. 24, n. 2 (2009), p. 137-157. - DOI: 10.1017/S026988890900023X

15. Concept search
Giunchiglia, Fausto; Kharkevich, Uladzimir; Zaihrayeu, Ilya, "Concept search" in Processing of ESWC'09, Lecture Notes in Computer Science, Germania: Springer, 2009. Proceedings of: ESWC'09, xx, xx

16. Semantic Matching: Algorithms and Implementation
Giunchiglia, Fausto; Yatskevich, M; Shvaiko, P., ""Semantic Matching: Algorithms and Implementation"" in Journal on Data Semantics, USA: Springer, 2007, p. 1-38

17. Discovering Missing Background Knowledge in Onology Matching
Giunchiglia, Fausto; Shvaiko, Pavel; Yatskevich, Mikalai, "Discovering Missing Background Knowledge in Onology Matching" in Frontiers in Artificial Intelligence and Applications: 17th European Conference on Artificial Intelligence: ECAI 2006, Amsterdam: IOS Press, 2006, p. 382-386. Proceedings of: ECAI 2006, Riva del Garda, 29th August-1th September 2006

18. TROPOS: an agent-oriented software development methodology
P., Bresciani; A., Perini; Giorgini, Paolo; Giunchiglia, Fausto; Mylopoulos, Ioannis, "TROPOS: an agent-oriented software development methodology" in AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, v. 8, n. 3 (2004), p. 203-236. - DOI: 10.1023/B:AGNT.0000018806.20944.e

19. NuSMV2: an open source tool for symbolic model checking
A., Cimatti; E., Clarke; E., Giunchiglia; Giunchiglia, Fausto; Pistore, Marco; M., Roveri; Sebastiani, Roberto; A., Tacchella, "NuSMV2: an open source tool for symbolic model checking" in Computer-Aided verification (CAV'02), Berlin/Heidelberg: Springer, 2002, p. 359-364. - (Lecture Notes in Computer Science). - ISBN: 3540439978. Proceedings of: 14th international conference on computer aided verification (CAV'02), Copenhagen, 27th-31st July 2002

20. Local models semantics, or contextual reasoning = locality + compatibility
C., Ghidini; Giunchiglia, Fausto, "Local models semantics, or contextual reasoning = locality + compatibility" in ARTIFICIAL INTELLIGENCE, v. 127, n. 2 (2001), p. 221-259

Projects
2019.8-2022.8           Project :DELPhi-DiscovEring Life Patterns
2019.1-2022.12          Project Acronym: WeNet Full title: The Internet of US，6.8 million（EUR）
2018.10-2021.9           Project Acronym: CyCAT Full title: Cyprus Center for Algorithmic Transparency
2017.4-2018.7          Project:WhiteRabbit -easily revealing and managing personal information.
2016.12-2019.11        Project: OWD -Because Big Data Integration is Humanly Possible
2013.1-2016.12          Project Acronym: SMART SOCIETY Full title: Hybrid and Diveristy-Aware Collective Adaptive Systems: when people meet machines to build a smarter society. Role of Fausto: Project and Scientific Coordinator on behalf of UNITN; Funded under: SEVENTH FRAMEWORK PROGRAMME; Funding Scheme: COLLABORATIVE PROJECT;
2013-2016                  Project Acronym: ESSENCE Full title: Evolution of Shared Semantics in Computational Environments. Role of Fausto: Scientific coordinator on behalf of UNITN. Funding Scheme: Multi-partner ITNs (ITn)
2013- 2013                 Project Acronym: ONRG Full title: Office of Naval Research Science & Technology. Conference Support Program (CSP) Funding Role of Fausto: beneficiary of a CSP Funding.
2011.10-2014.9          Project Acronym: CUBRIK Full title: Human-enhanced time-aware multimedia search; Role of Fausto: Scientific Coordinator on behalf of UNITN; Funded under: SEVENTH FRAMEWORK PROGRAMME; Funding Scheme: COLLABORATIVE PROJECT;
2009-2012                  Project Acronym: GLOCAL Full title: Event-Based Retrieval of Networked Media. Role of Fausto: co-manager of the coordinator on behalf of UNITN; Funded under: SEVENTH FRAMEWORK PROGRAMME; Funding Scheme: COLLABORATIVE PROJECT;
2009.2-2012.1           Project Acronym: LivingKnowledge Full title: LivingKnowledge – Facts, Opinions and Bias in Time; Role of Fausto: Project Coordinator and Scientific Coordinator on behalf of UNITN; Funded under: SEVENTH FRAMEWORK PROGRAMME; Funding Scheme: Large-Scale Integrating Project (IP);
2009.4-2012               Project Acronym: Insemtives, Full title: Incentives for Semantics, Role of Fausto: Scientific Coordinator on behalf of UNITN; Funded under: SEVENTH FRAMEWORK PROGRAMME; Funding Scheme: COLLABORATIVE PROJECT;
2006-2009                  Research project “Intelligent technologies for cultural visits and mobile education” FIRB ISRAELE, financed by MIUR;
2006.1-2008.12          Research project “OpenKnowledge”, EC project (STREP), financed by European Community;
2006-2008                 Research project “EASTWEB: building an integrated leading Euro-Asian higher education and research community in the field of the Semantic WEB”, EU IRG, financed by European Community;
2006-2008                 Industrial project “A distributed multi-institution file system for eWelfare”, HIT-DIT, Italy;
2006-2007                 Industrial project “IBM Shared University Research (SUR) program 2006”;
2006 -now                Industrial project, Creation of the “Trentino as Lab”, TASLAB I-II;
2004-2008                “Knowledge Web”, Network of Excellence,  financed by European Community;
2004-2007                Research project “Software Methodology and Technology for Peer-to-Peer Systems”, STAMPS , PAT;
2003- 2005               Research project, “Artificial Intelligence Techniques for the Retrieval of High Quality Information on the Web”, COFIN 2003, PRIN program, financed by MIUR;
2003-2005                IEducation and Mobility Project, ITPAR03-SWENG
2003-2004                Industrial projects “Problematiche di Knowledge Management, I – III”, TeleSistemi Ferroviari SPA (TSF) and TrenItalia;
2002-2005                Research project “Knowledge-level Automated Software Engineering”, FIRB program, financed by MIUR;
                                  Industrial Project  “Logicost”, financed by Research Centre FIAT (CRF);
                                  Research project “Enabling On-Board Autonomy: a Platform for the Development of Verified Software (DOVES)”, financed by ASI (Agenzia Spaziale Italiana);
2002-2003                Research project “Safety Critical Software for Planning in Space (SACSO)”, financed by ASI (Agenzia Spaziale Italiana);