Logo Università degli Studi di Milano


 

 
 

FALSE Lab - Metodi Formali ed Algoritmi per Sistemi Large-Scale  

FALSE Lab - Metodi Formali ed Algoritmi per Sistemi Large-Scale

Descrizione

Le attività di ricerca nel laboratorio FALSE riguardano la definizione e l’applicazione di metodi formali e di algoritmi nel contesto di moderni sistemi SW ed HW. Tali sistemi sono caratterizzati da ampia scalabilità e complessità architetturale e comportamentale, sia ad alto livello di applicazioni SW (Systems of Systems, SoS) che a basso livello di architetture HW (Very Large Scale Integration Systems, VLSI). Per affrontare la complessità di progettazione di tali sistemi è indispensabile disporre di metodi formali per la modellazione, di algoritmi per la decomposizione e la sintesi da modelli logici, di tecniche per la validazione di requisiti e la verifica di proprietà.
Principali linee di ricerca:
• Metodi formali per la progettazione, validazione e verifica di sistemi;
• Algoritmi per la progettazione di circuiti e la sintesi logica;
• Biologia sintetica e bioinformatica.

Responsabile scientifico

Elvinia Riccobene

Contatti

Via Celoria 18 , 20133 Milano
Stanza 5022, piano 5

telefono
+39.02.503.16284

e-mail
elvinia.riccobene@unimi.it (responsabile)
valentina.ciriani@unimi.it (co-responsabile)

Sito Web
http://false.di.unimi.it/

Membri

Membri strutturati

Valentina Ciriani

Elvinia Riccobene

 

Membri non strutturati

Mario Lilli (dottorando)

Asma Taheri Monfared (dottoranda)

Torna ad inizio pagina