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 Bramante 65, 26013 Crema (CR)

Stanze BP60, BP61 e BP67

 

Telefoni

02 503 30083
02 503 30092
02 503 30050

 

Fax 

02 503 30074

 

E-mail

elvinia.riccobene@unimi.it

valentina.ciriani@unimi.it

 

Sito web

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

Membri

Membri strutturati

Elvinia Riccobene

Valentina Ciriani

Gabriella Trucco

 

Membri non strutturati

Luca Frontini, Dottorando

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

Paolo Arcaini, Department of Distributed and Dependable Systems - Charles University in Prague

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

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

 

Torna ad inizio pagina