CLAI

I docenti di Informatica del CLAI

Laboratorio CLAI

Computational Logic and Artificial Intelligence

Il laboratorio si occupa di ricerca teorica e applicativa in logica computazionale ed intelligenza artificiale, con particolare enfasi su ragionamento automatico, metodi formali per l'analisi, la verifica ed il testing del software, dei sistemi e dei processi con l'obiettivo di garantirne la correttezza e la sicurezza, problemi di ottimizzazione combinatoria e di interazione tra agenti non cooperativi in reti sociali e di comunicazione, dimostrazione automatica e assistita, giochi, deep learning, reinforcement learning e pianificazione.

Il laboratorio svolge prevalentemente attività di ricerca, ma è anche di supporto all’attività didattica ospitando esercitazioni specifiche, studenti in tesi di laurea triennale e/o magistrale, borsisti e dottorandi, tirocini.

Scopo del laboratorio è di creare legami con realtà industriali locali e nazionali per la partecipazione a progetti di interesse comune e per il trasferimento tecnologico. 

Membri del laboratorio

Nome Ruolo nel laboratorio Affiliazione
Acciaro Vincenzo
UNICH
Amato Gianluca responsabile dimostrazione automatica e assistita UNICH
Fioravanti Fabio responsabile verifica e testing del software UNICH
Meo Maria Chiara responsabile scientifico laboratorio UNICH
Moscardelli Luca responsabile ottimizzazione combinatoria ed interazione agenti non cooperativi in reti sociali e di comunicazione UNICH
Parton Maurizio responsabile deep e reinforcement learning UNICH
Scozzari Francesca responsabile analisi del software UNICH
Bilò Vittorio Università del Salento
De Angelis Emanuele CNR-IASI
Fanelli Angelo CNRS France
Flammini Michele GSSI Institute
Maggesi Marco Università di Firenze
Monaco Gianpiero Università dell'Aquila
Morandin Francesco Università di Parma
Pettorossi Alberto Roma Tor Vergata e  CNR-IASI
Pierini Brogi Cosimo Università di Firenze
Proietti Maurizio CNR-IASI


La sede del Laboratorio è nel Dipartimento di Economia, viale Pindaro 42, Pescara.

Attività del laboratorio

Gestione infrastrutture di calcolo

I membri del laboratorio gestiscono le seguenti infrastrurre di calcolo:

  • Piattaforma oVirt con 3 nodi

    • ovirt-vlab-01.unich.it

      • PowerEdge R7425 (rack-mounted)

      • 2 CPU AMD EPYC 7301 (2 * 16 core)

      • 512 GB RAM

      • 2 dischi SAS 558 G in RAID 1

      • 1 GPU nVidia Tesla T4

      • 4 prese Ethernet 10Gbps

      • oVirt nodo compute

    • ovirt-vlab-02.unich.it

      • PowerEdge R7425 (rack-mounted)

      • 2 CPU AMD EPYC 7301 (2 * 16 core)

      • 512 GB RAM

      • 2 dischi SAS 558 G in RAID 1

      • 4 prese Ethernet 10Gbps

      • oVirt nodo compute 2

    • storage-vlab-01.unich.it

      • PowerEdge R7425 (rack-mounted)

      • 2 CPU AMD EPYC 7301 (2 * 16 core)

      • 256 GB RAM

      • 2 dischi SSD SATA 223 GB n RAID 1

      • 24 dischi SAS 658 GB in RAID 10 (6 TB)

      • 4 prese Ethernet 10Gbps

      • CentOS 8 esclusivamente come nodo storage per oVirt

  • Server CLAI

    • Dell EMC PowerEdge R740xd (rack-mounted)

    • 2 CPU Xeon Gold 6238R (2 * 28 core)

    • 512 GB RAM

    • 2 dischi SSD SAS Read Intensive 12 Gbps 480 GB in RAID 1 (totale 480 GB)

    • 5 dischi SSD SAS 10K 12 Gbps 2.4 TB in RAID 5 (totale 9.6 TB)

    • 2 GPU nVidia A40

    • 2 prese Ethernet 10 Gbps

  • Server zeus.unich.it

    • Dell PowerEdge T620 (tower)

    • 2 CPU Xeon E5-2640 (2 * 8 core)

    • 64 GB RAM

    • 2 dischi SAS 10K 279 GB in RAID1 (totale 279 GB)

    • 3 dischi near line SAS 3726 GB in RAID5 (totale 7451 GB)

    • CentOS 7 con alcune macchine virtuali (KVM)

  • Server atena.unich.it

    • Dell PowerEdge R620 (rack-mounted)

    • 2 CPU Xeon E5-2640 (2 * 8 core)

    • 64 GB RAM

    • 2 dischi SAS 10K 279 GB in RAID 1 (totale 279 GB)

    • 4 dischi SAS 838 GB in RAID 5 (totale 2513 GB)

    • CentOS 7 usato esclusivamente come ipervisore (KVM)

Scopri cosa vuol dire essere dell'Ud'A

SEDE DI CHIETI
Via dei Vestini,31
Centralino 0871.3551

SEDE DI PESCARA
Viale Pindaro,42
Centralino 085.45371

email: info@unich.it
PEC: ateneo@pec.unich.it
Partita IVA 01335970693

icona Facebook   icona Twitter

icona Youtube   icona Instagram