I am a former doctorand at the Theoretical Computer Science department at KTH.
My major field of interest was Formal Methods,
and I have research Software Verification techniques along the doctoral studies.
My supervisor was Dilian Gurov.
I concluded the PhD studies on December 4th, 2015, with the defence of my doctoral thesis.
Previously I finished my Master (2010) and Bachelor (2003) at the
Computer Science Department
at UFMG, Brazil.
Last Modified: August 02 2016.