Marcela Quispe Cruz

Doutorando em Informática pela Pontifícia Universidade Católica do Rio de Janeiro, mestrado em de Ciência da Computação pela Universidade Federal de Pernambuco. Possui graduação em Engenharia de Sistemas pela Universidad Nacional de San Agustín de Arequipa. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Prova, Lógica e Sistemas de Prova.

graduate at Engenharia de Sistemas from Universidad Nacional de San Agustín de Arequipa (2003). Has experience in Computer Science, acting on the following subjects: requisitos não funcionais and termos de reescrita.