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.

---

Contact information:

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

---