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.
Office: KTH Main Campus Lindstedtsvägen 3, D building, floor 5, room 4516.
Postal Address: Lindstedtsvägen 3, 100 44 Stockholm, Sweden
E-Mail: pedrodcg at kth.se
