He received the degree in Computer Science Engineering from University of Catania, in 1994 by discussing a thesis on Markov Regenerative Process applied to Petri and the Ph. D. on Computer Science from University of Torino. In November 2003, he was research assistant on performance evaluation of real time systems at Universtity of Messina.