Márcio Lopes Cornélio

graduate at Ciência da Computação (Bacharelado) from Universidade Federal da Paraíba (1996), master's at Computer Science from Universidade Federal de Pernambuco (1998) and ph.d. at Computer Science from Universidade Federal de Pernambuco (2004). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: engenharia de software, refactoring, métodos formais, formal methods and jml.

possui graduação em Ciência da Computação (Bacharelado) pela Universidade Federal da Paraíba (1996), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1998) e doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (2004). Atualmente é professor adjunto da Universidade Federal de Pernambuco. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: métodos formais, refatoração e transformação de programas.