PICTURE
NOT AVAILABLE
System Modelling, Verification and Reuse (MoVeRe)
System Modelling, Verification and Reuse (MoVeRe)
Staff
- Damiani Prof. Ferruccio (Coordinator)
- Paolini Prof. Luca Luigi (Member)
- Torta Dott. Gianluca (Member)
- Audrito Dott. Giorgio (Member)
- Donetti Simone (Member)
- Ottina Marco (PhD student)
- Testa Lorenzo (PhD student)
- Turin Gianluca (PhD student)
- Borgarelli Andrea (Student)
Contacts
- + 39 011 670 6719
- ferruccio.damiani@unito.it
- Website
- Send email to members
ERC Sectors
PE6_1 - Computer architecture, pervasive computing, ubiquitous computing
PE6_2 - Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems
PE6_3 - Software engineering, operating systems, computer languages
PE6_4 - Theoretical computer science, formal methods, and quantum computing