Pedro de Carvalho Gomes

Has Doctorate (Teknologie doktorsexamen. 2015) and doctoral Licentiate (Teknologie Licentiatsexamen, 2012) in Computer Science from KTH Royal Institute of Technology. Has Master (2010) and Bachelor (2003) in Computer Science from UFMG Federal University of Minas Gerais. Has experience in Computer Science, focusing on Analysis of Algorithms and Computational Complexity, acting on the following subjects: static analysis, software verification, program models, formal semantics and compositional verification.