AIMet Lab – Artificial Intelligence and formal METhods Laboratory

Responsabile scientifico
Prof. Luca Pulina

Componenti
Dott.ssa Laura Pandolfo
 

Sede

Dipartimento di Scienze Umanistiche e Sociali (DUMAS), Università degli Studi di Sassari, Via Roma 151, 07100 Sassari. palazzo Ciancilla, secondo piano

Il laboratorio 

AIMet Lab (Artificial Intelligence and formal METhods Laboratory) è il laboratorio di ricerca del Dipartimento di Scienze Umanistiche e Sociali dell’Università di Sassari dedicato allo sviluppo di metodi e strumenti di Intelligenza Artificiale affidabile, spiegabile e verificabile. Il laboratorio integra tecniche di Machine Learning e Deep Learning con rappresentazione della conoscenza, ragionamento automatico e metodi formali, adottando un approccio che combina AI induttiva e deduttiva. L’obiettivo è progettare sistemi intelligenti capaci non solo di analizzare dati e produrre previsioni, ma anche di rappresentare conoscenza, verificare proprietà, fornire spiegazioni e supportare decisioni complesse. AIMet opera attraverso una forte integrazione tra ricerca di base, sviluppo di prototipi e sperimentazione in contesti applicativi reali.

Attività

Il laboratorio svolge attività di ricerca su Intelligenza Artificiale e Machine Learning, AI affidabile e spiegabile, verifica formale di reti neurali e sistemi software, Knowledge Representation & Automated Reasoning, ontologie e Knowledge Graph, Large Language Models e Natural Language Processing, analisi e validazione dei dati, Digital Twin e sistemi di supporto alle decisioni.

Le attività applicative riguardano, tra gli altri, sistemi cyber-fisici e safety-critical, Industria 4.0 e manutenzione predittiva, cybersecurity, sanità, turismo, patrimonio culturale e Digital Humanities, monitoraggio ambientale e territoriale e supporto alle politiche pubbliche.

Il laboratorio partecipa a progetti di ricerca regionali, nazionali ed europei, sviluppando prototipi, software e strumenti sperimentali e collaborando con università, centri di ricerca, imprese, pubbliche amministrazioni ed enti territoriali. Maggiori dettagli sui progetti sono disponibili alla pagina https://www.aimetlab.eu/projects/.

Le attività didattiche e formative comprendono il supporto ad attività di laboratorio, tesi e formazione alla ricerca negli ambiti dell’Informatica, dell’Intelligenza Artificiale, dell’analisi dei dati e dello sviluppo di sistemi software.

Le attività di terza missione comprendono ricerca applicata e trasferimento di conoscenze e tecnologie verso imprese e istituzioni, sviluppo e sperimentazione di strumenti digitali in contesti reali, collaborazione con soggetti territoriali e iniziative di divulgazione e disseminazione sui temi dell’Intelligenza Artificiale e della trasformazione digitale.

Attrezzature

Il laboratorio dispone di infrastrutture dedicate alla ricerca sperimentale in Intelligenza Artificiale, Machine Learning, automated reasoning, verifica formale, robotica e sistemi data-driven.

Principali dotazioni computazionali e di storage:

server GPU Dell PowerEdge R7615 con acceleratore NVIDIA H100 PCIe da 80 GB, storage NVMe e gestione remota, destinato a sperimentazioni avanzate su AI/ML, LLM e modelli ad alta intensità computazionale;
server dual Intel Xeon Gold con 256 GB di RAM;
workstation professionali Xeon dedicate allo sviluppo, alla sperimentazione e alla robotica;
infrastrutture di calcolo ad alte prestazioni e sistemi di storage e backup NAS ad alta capacità.

Dotazioni per robotica e sperimentazione:

robot umanoide NAO;
piattaforma mobile TurtleBot 2 con camera 3D Orbbec e braccio robotico WidowX;
piattaforma TurtleBot3 con LiDAR e camera;
drone DJI;
visore Meta Quest 3 e altri dispositivi per attività sperimentali.

Tra i principali software e tool sviluppati o utilizzati nell’ambito delle attività del laboratorio si contano circa 15 strumenti tra prototipi di ricerca, framework e applicazioni sperimentali, dedicati a supporto decisionale, analisi dei dati, NLP, verifica formale, ontologie e sistemi intelligenti.

Per ulteriori dettagli e per l’elenco aggiornato dei tool sviluppati dal laboratorio si rimanda alla pagina ufficiale:
https://www.aimetlab.eu/software/