I finished my PhD in Computer Science in 2013 under the supervision of Dr. Pedro R. D'Argenio. It was mix of different things: process semantics, non-interference and rules format for specification of probabilistic transitions systems. Until 2015, I continued with a postdoc position in this group. I was also a postdoc at LIP, Laboratoire de l'Informatique du Parallélisme, in Lyon, France, within the team PLUME.
I spent some time in Rennes (France) in 2007 (working on rare event simulation) and in Bologna (Italy) in 2012 (working on proving Deadlock Freedom for active objects and futures). At the beginning of 2013, I spent two months in Eindhoven (The Netherlands). Currently, I am Data Science Researcher and Backend Developer for Xcapit