Logo Università degli Studi di Milano



 
 

FALSE Lab - Formal methods and Algorithms for Large-Scale systEms  

FALSE Lab - Formal methods and Algorithms for Large-Scale systEms

Description

The scientific activity of the FALSE laboratory concerns the definition and application of formal methods and algorithms in the context of modern SW and HW systems. Such systems are characterized by a wide scalability and have high structural and behavioral complexity at any architectural level they are considered: both at high-level of SW applications -- Systems of Systems (SoS) --, and at low-level of HW architectures -- Very Large Scale Integration Systems (VLSI). In order to deal with the design complexity of such systems, it is fundamental to have rigorous methods for system modeling, algorithms for the decomposition and logic synthesis, and techniques for system model validation and verification.
Main research areas:
• Formal methods for system design, validation and verification;
• Algorithms for circuit design and logic synthesis;
• Synthetic biology and bioinformatics.

Head

Elvinia RICCOBENE

Contacts

Via Bramante 65, 26013 Crema (CR)

Rooms BP60, BP61 e BP67

 

Phone

+39 2 503 30083
+39 2 503 30092
+39 2 503 30050

 

Fax

+39 2 503 30074

 

E-mail

elvinia.riccobene@unimi.it

valentina.ciriani@unimi.it

 

Website

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

People

Staff

Elvinia Riccobene

Valentina Ciriani

Gabriella Trucco

 

Collaborators

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

Paolo Vavassori, Dipartimento di Ingegneria - Università degli Studi di Bergamo

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

Back to top