Postdoctoral researcher
Model Checking Laboratory
Department of Computer Science
Sapienza University of Rome

Coordinates

Mail: Dipartimento di Informatica, Sapienza Università di Roma, Via Salaria 113, I-00198 Roma, Italy
Office: Room 312, third floor
E-Mail: my_surname@di.uniroma1.it

Publications

List of publications

Projects

PAEON
SmartHG