Marco Tinacci

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.


Research Interest

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.