Vai al Contenuto
Raggiungi il piè di pagina
Tu sei qui
I achieved bachelor's degree and master's degree in
computer science at the university of Florence respectively in 2009
and 2012. My bachelor's thesis is about testing equivalences for
probabilistic processes and my master's thesis is about model
checking and adaptive systems.
I am a PhD student (XXVIII cycle) of computer science in the IMT
of Lucca since February 2013 as member of the SysMA research unit.
My track is Computer, Decision and Systems Science and my
supervisor is Prof. Rocco De Nicola.