Formal Methods for Software Engineering Group
Web site: http://www.dai-arc.polito.it
Research Activities
- UNDER CONSTRUCTION
Main academic research results
- UNDER CONSTRUCTION
Main applied research results
- UNDER CONSTRUCTION
Other initiatives
- UNDER CONSTRUCTION
Research projects and contracts
-
Collaborazione con l’Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni (I.E.I.I.T.)
-
Esperimento di meteorologia spaziale con un razzo sonda NASA: calibrazione e collaudo
-
DESEREC (DEpendable SEcurity by enhanced REConfigurability)
Research staff
- SISTO RICCARDO - Full Professor - Manager
- MAKARTETSKIY DENIS - PhD Student
- CIBRARIO BERTOLOTTI IVAN - Assistant Professor
- DURANTE LUCA - PRIMO RICERCATORE
- VALENZANO ADRIANO - DIRIGENTE DI RICERCA
- PIRONTI ALFREDO
- POZZA DAVIDE
- ROLANDO PIERLUIGI