Pedro de Carvalho Gomes
I am a graduate student at the Theorectical Computer Science department at KTH.
Formerly I finished my Master and Bachelor at the
Computer Science Department
at UFMG, Brazil.
My major field of interest is Formal Methods. In special I have a solid background
in Model Checking and currently I study Compositional Verification.
My supervisor is Dilian Gurov.
I participate on the CVPP project,
which is a tool set for the compositional verification
of control-flow properties of Java programs. The tool set is encapsulated by the ProMover,
which has an on-line demo.
Office: KTH Main Campus Lindstedtsvägen 3, D building, floor 5, room 4516.
Postal Address: Lindstedtsvägen 3, 100 44 Stockholm, Sweden
Office telephone: +46 8 790 6853
Mobile: +46 7 6409 7274
E-Mail: pedrodcg at kth.se
PGP Public Key