Matteo Cristani

Matteo Cristani is an Associate Professor at the University of Verona's Department of Computer Science, where he teaches courses in Artificial Intelligence, Semantic Web, and Programming across multiple degree programs including Bioinformatics, Computer Science, and Artificial Intelligence. His research focuses on Knowledge Representation, NLP, and Formal Security Analysis, with applications spanning from blockchain technology to geospatial systems.

Research Focus

• Intelligent agents and multi-agent systems
• Distributed artificial intelligence
• Formal methods in security theory
• Network security and cybersecurity
• NLP and large language models
• Ontology engineering

Projects

Active in third-mission activities, Cristani leads projects such as SHIELD (Securing Decentralized Finance and Healthcare Systems), SLOTS (Smart Legal Order in Digital Society), and NOMEN (Next-Gen Cyber Ranges). He has participated in 30+ research initiatives since 2001, including PRIN grants and industrial collaborations in semantic web applications.