Marcela Quispe Cruz
Doctorado en Informática por la Pontificia Universidad Católica de Rio de Janeiro, maestría en Ciencias de la Computación por la Universidad Federal de Pernambuco y graduación en Ingeniería de Sistemas por la Universidad Nacional de San Agustín de Arequipa. Tiene experiencia en el área de Ciencias de la Computación, con énfasis en Teoría de la Computación, Lógica para Computación, Prueba automática de Teoremas, Verificación formal de Sistemas.Datos Personales
Nombre Marcela Quispe Cruz
Nacionalidad Peruana DNI 29732658
Sexo Feminino
Dirección Estrada Santa Marinha 501-Gavea. Rio de Janeiro. Brazil
Celular (+5521) 980881684
E-mail mcruz@inf.puc-rio.br
Formación Académica/Titulación
2010 - 2014
Doctorado en Informática (Concepto CAPES 7).
Pontificia Universidad Católica de Rio de Janeiro, Rio de Janeiro, Brasil. Área de Investigación: Teoría da Computación.
Titulo: Some Results in a Proof-theory Based on Graphs. Orientador: Prof. Edward Hermann Haeusler.
Co-orientador: Prof. Lew Gordeev
2007 - 2009 Maestría en Ciencias de la Computación (Concepto CAPES 6). Universidad Federal de Pernambuco, Pernambuco, Brasil. Área de Investigación : Teoría da Computación
Titulo: Towards Intuitionistic N-Graphs. Orientador: Profa. Anjolina Grisi de Oliveira. Co-orientador: Prof. Ruy de Queiroz.
1996 – 2002 Graduación en Ingeniería de Sistemas
Universidad Nacional de San Agustín, UNSA, Perú.
Actuación Profesional
03/2015- Actual
Prácticas en Docencia en la PUC-rio
Disciplinas ministradas:
• Lógica para Computación
• Análisis y Especificación Formal de Sistemas.
Institución: Pontificia Universidad de Rio de Janeiro (PUC-rio). Rio de Janeiro – Brasil
02/2010- 11/2014
Alumno de Doctorado
Departamento de Informática. Pontificia Universidad de Rio de Janeiro (PUC-rio). Carga horaria: 40.
Rio de Janeiro – Brasil
02/2012- 07/2013
Prácticas en Docencia
Disciplina ministrada: Lógica para Computación
Institución: Pontificia Universidad de Rio de Janeiro (PUC-rio). Rio de Janeiro – Brasil
02/2007- 08/2009
Alumno de Maestria
Centro de Informática. Universidad Federal de Pernambuco (UFPE). Carga horaria: 40.
Recife, Pernambuco-Brasil.
04/2005 - 11/2005
06/2002 - 04/2003
Administración de redes e Informática en 3DATA TuxCom
Arequipa, Perú.
Actividades: Instalación, configuración y testeo de software. Apoyo y soporte al usuario en la utilización de software. Manutención,
configuración e instalación de equipos.
2000
Prácticas en Ingeniería de Sistemas en la Unidad de Telemática del Instituto de Informática de la Universidad Nacional de San Agustín (InfoUNSA). Desarrollo del módulo de Personal del Sistema de Bibliotecas de la UNSA utilizando los lenguajes de programación HTML, PHP y JavaScript con acceso a base de datos MySQL.
Producción científica, tecnológica.
Artículo en Revista Científica:
08/2013
Intuitionistic N-Graphs
MARCELA QUISPE CRUZ, Valeria Correa de Paiva, Anjolina Grisi de Oliveira, Ruy José Guerra de Queiroz
Logic Journal of the IGPL.
http://jigpal.oxfordjournals.org/content/early/2013/08/01/jigpal.jzt033
Artículo en Conferencias:
07/2014
Improving memory performance for mimp-graph based thorem provers.
Santos, Jefferson; Lopes, Bruno; Cruz, MARCELA QUISPE; Haeusler, Edward Hermann.
In: Latin American Symposium on Mathematical Logic, 2014, Buenos Aires. Abstracts of the 16th Latin American Symposium on Mathematical Logic, 2014.
04/2014
Revisiting the proof theory of classical S4.
Bruno Lopes Vieira, Cecilia Englander, Fernanda Lobo, MARCELA CRUZ In: Abstracts of the 17th Brazilian Logic Conference.
url: http://www.uff.br/ebl/#cfp
08/2013
Proof-graphs for Minimal Implicational Logic.
MARCELA QUISPE CRUZ, Edward Hermann Haeusler
Proceedings 9th International Workshop on Developments in Computational Models (DCM 2013).
url: http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?DCM2013:5
08/2011
Intuitionistic N-Graphs. MARCELA QUISPE CRUZ
Proceedings of the 6th Workshop on Logical and Semantic Frameworks.
05/2011
Towards intuitionistic N-graphs.
MARCELA QUISPE CRUZ, Ruy José Guerra de Queiroz, Anjolina Grisi de Oliveira, Valeria Correa de Paiva
Abstracts of the 16th Brazilian Logic Conference.
url: http://www.cle.unicamp.br/ebl2011/downloads/book_abstracts_EBL_2011.pdf
01/2007
Requisitos No Funcionales: Evaluando el Impacto de Decisiones. MARCELA QUISPE CRUZ, Nelly Condori Fernandez
Memorias de la VI Jornada Iberoamericana de Ingeniería del Software e Ingeniería del Conocimiento.
Afiliaciones Profesionales
• Miembro de la Sociedad Peruana de Computación (SPC). 2002 hasta la actualidad. Web-Site: www.spc.org.pe
• Miembro de la IEEE Computer Society. Miembro Nº: 41475710. Año 2002.
Experiencia en Organización de actividades de I+D
2004- 2006
Subdirección de Publicaciones de la Sociedad Peruana de
Computación. Periodo 2004 -2006. Sitio Web: http://www.spc.org.pe/estructura.pl
11/2002- 2004
Comité de Publicaciones de la SPC.
Tipo de Participación:Miembro del Comité Editorial Financiamiento: Sociedad Peruana de Computación Fecha:De noviembre de 2002 - 2007.
Sitio-Web: http://www.publicaciones.spc.org.pe/SPCMagazine/
2002
I Congreso Latino-americano de Sistemas, Informática, Telemática, Electrónica y Computación CLASITEC 2002.
Tipo de Participación: Miembro do Comité Organizador Financiamiento: Universidad Nacional de San Agustín Fecha: Julio 2002
Lugar de Celebración:Arequipa-Perú Ámbito:Internacional
2001
V Congreso Internacional Sudamericano de Ingeniería de Sistemas e Informática CISAISI 2001.
Tipo de Participación: Membro do Comitê Organizador Financiamento: Universidad Nacional de San Agustín Fecha: Setiembre 2001
Lugar de Celebración: Arequipa - Perú Ámbito: Internacional
Formación complementar
2005
Medición do tamaño do software para a gestión de projetos de desenvolvimento
Seminario Taller realizado del 27 al 30 de diciembre 2004, con una duración de 12 horas académicas en la Universidad Católica San Pablo.
2004 Software Project Management
Curso Internacional de Administración de Proyectos de Software realizado del 29 de noviembre al 1 de diciembre del 2004, con una duración de 28 horas académicas en la Universidad Católica San Pablo.
Organizadores: Internacional Institute for Software Technology (UNU-IIST) y Universidad Católica San Pablo.
2002 Ingeniería de Software
Curso Intensivo Internacional de Ingeniería de Software, con una duración de 25 horas académicas.
Organizadores: Universidad Nacional de San Agustín de Arequipa en convenio con la Universidad de Orleáns - Francia.
Proyectos de Investigación
2014-Actual Verificación de modelos de software con Lógica Dinámica y Redes de Petri
Descripción: CNPq 441952/2014-3.En este trabajo se presentan aplicaciones de extensiones de la Lógica Proposicional Dinámica donde los programas son substituidos por Redes de Petri Estocásticas de forma a efectuar la verificación formal de propiedades en software. El objetivo es convertir automáticamente especificaciones UML en Redes de Petri Estocásticas para efectuar inferencias y certificar propiedades. Institución Principal: Pontificia Universidad de Rio de Janeiro
2014-Actual Teoría de las Categorías y Teoría de la Prueba: Una interacción vía Computación
Descripción: CNPq 442127/2014-6. Este proyecto investiga: (i) como técnicas y herramientas de teoría de categorías pueden ser usadas en el proceso de especificación semántica de modelos y sistemas (ii) como el uso de conceptos, técnicas y enfoques en Teoría de la Prueba pueden ser usados en la fundamentación de Lenguajes y enfoques lógicos para
la representación de conocimiento y modelos de sistemas
(probablemente con el uso de Ontologías Formales) (iii) Relacionar los ítems i y ii arriba a través de morfismos composicionales (Funtores) y asociar una semántica computable a estos morfismos.
Institución Principal: Pontificia Universidad de Rio de Janeiro
2014-Actual Logic and Information
Descripción: CAPES 4804-14-7. This project aims to propose an improvement on a long-term already existing collaboration between INRIA, the brazilians and the argentin named team. We already have a CAPES-COFECUB cooperation (n. 690/10, namely ``Teorias lógicas contemporâneas e a filosofia da linguagem: questões epistemológicas e semânticas'') that leaded to many students interchange and technical visits of Professors, including the organisation of some workshops (the last one was the II Workshop on Logic and Semantics, at UERJ, Ilha Grande-RJ, Brazil -
http://www.tecmf.inf.puc-rio.br/LogicSemanticsII).
Institución Principal: Pontificia Universidad de Rio de Janeiro.
Datos complementarios
• XXX Conferencia Latinoamericana de Informática. CLEI 2004.
Participante en el CLEI 2004, realizado en el Centro de Convenciones “Cerro Juli” de la ciudad de Arequipa, Perú, con un total de 76 horas del 27 de setiembre al 01 octubre del 2004.
• I-Conferencia Latinoamericana y del Caribe en Desarrollo y Uso de
Software Libre. LACFREE 2003.
Participante en el LACFREE 2003, realizado en Cusco-Perú, del 11 al 13 de agosto de 2003, evento organizado por INEI, UNESCO y CONCYTEC.
• V Congreso Internacional Sudamericano de Ingeniería de Sistemas e Informática. V-CISAISI 2001.
Participante no V-CISAISI 2001, realizado en el Centro de Convenciones “Cerro Juli”, en la Ciudad de Arequipa, Perú, del 7 al 12 de Octubre do 2001.
• IX Congreso Nacional de Estudiantes de Ingeniería de Sistemas. IX
CONEIS 2001.
Participante en el CONEIS 2001, realizado en la ciudad de Lima, Perú, organizado por la Universidad Nacional de Ingeniería.
Idiomas
Entiende Portugués (Bien), Inglés (Bien)
Habla
Portugués (Bien), Inglés (Razonablemente)
Lee Portugués (Bien), Inglés (Bien)