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.







