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

Elvinia Riccobene

Valentina Ciriani

 

Membri non strutturati

Mario Lilli, dottorando

Maria Chiara Molteni, dottoranda

Asma Taheri Monfared, dottoranda

Paolo Arcaini, National Institute of Informatics, Tokyo

 

Anna Bernasconi, Dipartimento di Informatica - Università di Pisa

Angelo Gargantini, Dipartimento di Ingegneria - Università degli Studi di Bergamo

Patrizia Scandurra, Dipartimento di Ingegneria - Università degli Studi di Bergamo

Silvia Bonfanti, Dipartimento di Ingegneria - Università degli Studi di Bergamo

Tiziano Villa, Dipartimento di Informatica - Università degli Studi di Verona

 

Torna ad inizio pagina