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
- 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
Membri non strutturati
Mario Lilli (dottorando)
Asma Taheri Monfared (dottoranda)