Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Foundations for Macro-programming-based Software Engineering (FoMaSE)

Il progetto FoMaSE (Foundations for Macro-programming-based Software Engineering) è un progetto di ricerca di base in corso da maggio 2026 al 2031, finanziato sul Fondo Italiano della Scienza (FIS), e coordinato dal Prof. Roberto Casadei presso il Dipartimento di Informatica - Scienza e Ingegneria, dell'Università di Bologna.

Ambiti: Ingegneria del software Intelligenza artificiale Linguaggi di programmazione Metodi formali Sistemi complessi e autonomi Sistemi distribuiti, virtuali, cloud computing e middleware Sistemi mobili, cyberphysical, IoT, e sistemi real time
Ente finanziatore: Ministero dell'Università e la Ricerca (MUR). Bando: Fondo Italiano per la Scienza (FIS). Ente beneficiario: Università di Bologna (UNIBO).
Copyright: MUR

Finalità

Il progetto si propone di investigare teorie, tecniche, e strumenti per l'analisi e la progettazione del collegamento micro-macro in sistemi collettivi artificiali (ad es. sciami di robot, reti di sensori, ed ecosistemi IoT/smart city).

Risultati attesi

  • fondamenta teoriche generali per la "macro-programmazione"
  • sintesi dello stato dell'arte sugli approcci basati su linguaggi per l'intelligenza artificiale collective (ACI)
  • metodologie innovative per la progettazione di ACI: macro-programmazione automatica
  • contributi per l'ingegneria del software per dinamiche e sistemi multi-scala
  • contributi inter-disciplinari alla ricerca su ACI
  • contributi ad applicazioni innovative basate su sistemi collettivi

Risultati raggiunti

  • articoli scientifici su riviste e congressi internazionali

Principal Investigator