AIMet Lab – Artificial Intelligence and formal METhods Laboratory
Reliable AI for complex, real-world systems
About us
The Artificial Intelligence and formal METhods Laboratory (AIMet Lab) is a research laboratory within the Department of Humanities and Social Sciences (DUMAS) at the University of Sassari. AIMet Lab conducts research in Artificial Intelligence, focusing on the development of reliable and explainable AI models. The lab carries out research in collaboration with local initiatives, SMEs, and European projects, applying its work to a variety of domains, including safety-critical systems, Industry 4.0, tourism, cultural heritage, and environmental monitoring.
Research topics
Artificial Intelligence & Machine Learning
We conduct research on data-driven AI models that offer reliable predictions and assist evidence-based decision making
Knowledge Representation & Automated Reasoning
Our research applies ontologies and formal logic to produce explainable, reliable AI via automated reasoning
Formal Methods &
Verification
We work with formal verification techniques to assist in maintaining system safety and correctness
Bridging research and territory
Through collaborations with SMEs, public institutions and participation in European and international research projects, AIMet Lab carries out applied research and technological investigations to support local initiatives and contribute to sustainable development in Sardinia
Meet our team
Researchers and collaborators working together on AI and its applications.
Our digital assets
A curated collection of the software tools developed and reused across AIMet Lab.
Dive into our technical resources to understand their real-world impact.
Get in touch
Learn more about our work, our team, and opportunities for collaboration.