System Modelling, Verification and Reuse (MoVeRe)
System Modelling, Verification and Reuse (MoVeRe)
Staff
- Damiani Ferruccio (Coordinator)
- Paolini Luca Luigi (Member)
- Torta Gianluca (Member)
- Audrito Giorgio (Member)
- Donetti Simone (Member)
- Testa Lorenzo (PhD student)
- Daniele BORTOLUZZI (Research fellow)
- Gica STEFANESCHU MIRALLES (Research fellow)
- Muhammad Yasir SHABIR (PhD student)
- Giordano Scarso (Technician)
Contacts
- + 39 011 670 6719
- ferruccio.damiani@unito.it
- Website
- Send email to members
ERC Sectors
PE6_1 - Computer architecture, embedded systems, operating systems
PE6_2 - Distributed systems, parallel computing, sensor networks, cyber-physical systems
PE6_3 - Software engineering, programming languages and systems
PE6_4 - Theoretical computer science, formal methods, automata