Informatica ed Elettronica

RIC

GRUPPO DI RICERCA

Intelligent system DEsign and Applications (IDEA)

PRESENTAZIONE E PRINCIPALI LINEE DI RICERCA ATTIVE

Il gruppo Intelligent System DEsign and Applications (IDEA) dell'Università di Sassari è composto da ricercatori elettronici e informatici, la cui esperienza spazia su vari campi fra i quali  ragionamento automatico, verifica formale, rappresentazione della conoscenza, e architetture hardware da ASIC a FPGA fra cui MPSoC e architetture riconfigurabili per sistemi  embedded e cyber-fisici. È possibile distinguere due principali anime sinergiche: una si concentra su strategie di progettazione automatica per architetture hardware riconfigurabili avanzate e, più in generale, su sistemi (auto-)adattativi, mentre l'altra si concentra sull'intelligenza artificiale e sulle metodologie di verifica formale. Uno degli obiettivi principali di IDEA è lo sviluppo di metodi, tecnologie e architetture per applicazioni reali, intelligenti e cyber-fisici. Inoltre, il gruppo IDEA intende favorire le sinergie tra mondo accademico e industria. Di seguito sono elencate le principali linee di ricerca attive:

  • Formal methods for verification of Cyber-Physical Systems
  • Formal verification of Machine Learning models
  • Decision procedures for QSAT problems
  • AI planning, scheduling and optimization
  • Knowledge representation and reasoning
  • Algorithm selection
  • HW/SW Co-Design and tools
  • Multi-Grain Adaptivity
  • Approximate Computing
  • System Self-Adaptation

COMPONENTI

Francesca PALUMBO, Professore Associato SSD ING-INF/01

Luca PULINA, Professore Associato SSD INF/01

COLLABORATORI

Laura PANDOLFO, Assegnista di ricerca SSD INF/01

Claudio RUBATTU, Assegnista di ricerca SSD ING-INF/01

Valentina SANTONI, Assegnista di ricerca SSD INF/01

Simone VUOTTO, Assegnista di ricerca SSD INF/01

Tiziana FANNI, Assegnista di ricerca SSD ING-INF/01

PROGETTI DI RICERCA ATTIVI

COMP4DRONES

FITOPTIVIS

SITO WEB IDEA