Federico Mari

Ph.D. Sapienza Univ. of Rome, Italy, 2010

Assistant Professor (tenure track)
Department of Movement, Human and Health Sciences
University of Rome Foro Italico
Email:

@MCLab @Sapienza

Expertise: Model Checking based algorithms and tools for Verification & Synthesis of Cyber-Physical Systems »