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.
I am interested in theoretical computer science, in particular
formal methods, process algebra, process equivalences and model
checking. I am also interested in adaptive agents, graph algorithms
and programming languages.