¿HAS OLVIDADO TU CONTRASEÑA?

Para enviarte una nueva contraseña, escribe la dirección de correo electrónico completa que registraste en el Directorio.

Regresar

REGISTRO

Estimado usuario(a):

El presente módulo está dirigido exclusivamente a nuevos usuarios que desean pertenecer al Directorio Nacional d e Investigadores, Tecnología e Innovación Tecnológica de CONCYTEC.
Ficha CTI Vitae
QUISPE CRUZ MARCELA

Doctora en Informática por la Pontificia Universidad Católica de Rio de Janeiro, magister en Ciencias de la Computación por la Universidad Federal de Pernambuco e Ingeniera 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 Teoria de la Computación, Lógica para Computación, Prueba automática de Teoremas y Teoria de la Prueba.

Fecha de última actualización: 27-03-2024
 
Código de Registro:   P0021108
Ver:   Ficha Renacyt


Scopus Author Identifier: 55837837600
Web of Science ResearcherID: null
Fecha:  03/11/2019

Datos Personales

    Fuente
Apellidos : QUISPE CRUZ
Nombres: MARCELA
Género: FEMENINO
Nacionalidad: PERÚ

Datos Actuales

Pagina web personal: http://www.tecmf.inf.puc-rio.br/MarcelaCruz
Pais de residencia: Perú

Experiencia Laboral

Institución Cargo Descripción del cargo Cargo en I+d+i Fecha Inicio Fecha Fin
UNIVERSIDAD CATOLICA SAN PABLO DOCENTE CONTRATADO Otros cargos relacionados a (I+D+i) Agosto 2015 A la actualidad
UNIVERSIDAD NACIONAL DE SAN AGUSTIN INVESTIGADOR POST DOCTORAL Investigador Post Doctoral en el proyecto de incorporación de investigadores: "KUSISQA: Ayudando a Regular Nuestras Emociones en los Procesos de Enseñanza y Aprendizaje" Otros cargos relacionados a (I+D+i) Enero 2020 Diciembre 2021
PONTIFICIA UNIVERSIDADE CATOLICA DO RIO DE JANEIRO BOLSISTA DE PÓS-GRADUACIÓN Bolsista de post-graduación: Investigación en el area de Teoria de la Computación con enfasis en Teoria da Prova y Lógica Computacional Febrero 2010 Julio 2014

Experiencia Laboral como Docente

Institución Tipo Institución Tipo Docente Descripción del cargo Fecha Inicio Fecha Fin
UNIVERSIDAD NACIONAL DE SAN AGUSTIN Universidad Contratado Junio 2016 A la actualidad
UNIVERSIDAD LA SALLE Universidad Contratado Profesor principal de las disciplinas de Teoria de la Computación y Metodologia de la Investigación Agosto 2015 Diciembre 2016
UNIVERSIDAD CATOLICA SAN PABLO Universidad Contratado Profesor principal de la disciplina de Topicos de Ingenieria de Software Agosto 2015 A la actualidad

Experiencia como Asesor de Tesis

Universidad Tesis Tesista(s) Repositorio Fecha Aceptación de Tesis

Experiencia como evaluador y/o formulador de proyectos

Tipo de experiencia Ańo Tipo de proyecto Entidad financiadora Nombre del concurso Metodología de evaluación Monto proyecto (USD)

Formación Académica (Fuente: SUNEDU)

Grado Título Centro de Estudios País de Estudios Fuente
DOCTORADO DOCTOR EN INGENIERÍA PONTIFICIA UNIVERSIDAD CATÓLICA DEL PERÚ PERÚ
BACHILLER BACHILLER EN INGENIERIA DE SISTEMAS UNIVERSIDAD NACIONAL DE SAN AGUSTÍN PERÚ
LICENCIADO / TÍTULO INGENIERA DE SISTEMAS UNIVERSIDAD NACIONAL DE SAN AGUSTÍN DE AREQUIPA PERÚ

Formación Académica (Fuente: Manual)

Grado Título Centro de Estudios País de Estudios Fecha de inicio Fecha fin Fuente
MAGISTER MAGISTER EN CIENCIAS DE LA COMPUTACIÓN UNIVERSIDAD FEDERAL DE PERNAMBUCO BRASIL Febrero 2007 Agosto 2009

Estudios Técnicos

Centro de estudios Carrera Fecha de Inicio Fecha de fin

Estudios académicos y/o técnicos superiores en curso

Centro de estudios Carrera Tipo de estudios Fecha de inicio

Formación Complementaria

Centro de estudios Capacitación complementaria Frecuencia Cantidad País de estudio Fecha de inicio Fecha fin
UNIVERSIDAD FEDERAL DE MINAS GERAIS 6TH WORKSHOP ON LOGICAL AND SEMANTIC FRAMEWORKS WITH APPLICATIONS (LSFA 2011) DIAS 1 Brasil Agosto 2011 Agosto 2011
PONTIFICIA UNIVERSIDADE CATOLICA DO RIO DE JANEIRO SEMINARIO DE LOGICA Y SEMÁNTICA DIAS 3 Brasil Setiembre 2011 Setiembre 2011
PONTIFICIA UNIVERSIDADE CATOLICA DO RIO DE JANEIRO CONFERENCE ON TRASCENDENTAL SYNTAX: THE CONDITIONS OF POSSIBILITY OF LANGUAGE DIAS 2 Brasil Agosto 2012 Setiembre 2012
INSTITUTO NACIONAL DE ESTAD. E INFORMATI I CONFERENCIA LATINOAMERICANA Y DEL CARIBE EN DESARROLLO Y USO DE SOFTWARE LIBRE (LACFREE 2003) DIAS 3 Perú Agosto 2003 Agosto 2003
UNIVERSIDAD NACIONAL DE SAN AGUSTIN V CONGRESO INTERNACIONAL SUDAMERICANO DE INGENIERÍA DE SISTEMAS E INFORMÁTICA (CISAISI 2001) DIAS 6 Perú Octubre 2001 Octubre 2001
UNIVERSIDAD FEDERAL FLUMINENSE LOGIC SCHOOL DIAS 2 Brasil Mayo 2011 Mayo 2011
LABORATORIO NACIONAL DE COMPUTACION 16TH BAZILIAN LOGIC CONFERENCE DIAS 5 Brasil Mayo 2011 Mayo 2011
UNIVERSIDAD DE BUENOS AIRES BUENOS AIRES CONCURRENCY AND DEPENDABILITY WEEK DIAS 6 Argentina Agosto 2013 Agosto 2013
CENTRO LATINOAMERICANO EN INFORMATICA XXX CONFERENCIA LATINOAMERICANA DE INFORMÁTICA (CLEI 2004) HORAS 76 Perú Setiembre 2004 Octubre 2004
PONTIFICIA UNIVERSIDAD CATOLICA DEL PERU VI JORNADAS IBEROAMERICANAS DE INGENIERIA DE SOFTWARE E INGENIERIA DEL CONOCIMIENTO DIAS 3 Perú Enero 2007 Febrero 2007
UNIVERSIDAD NACIONAL DE SAN AGUSTIN INGENIERÍA DE SOFTWARE HORAS 25 Perú Diciembre 2002 Diciembre 2002
UNIVERSIDAD CATOLICA SAN PABLO SEMINARIO TALLER: MEDICIÓN DEL TAMAÑO DEL SOFTWARE PARA LA GESTIÓN DE PROYECTOS DE DESARROLLO HORAS 12 Perú Diciembre 2005 Diciembre 2005
UNIVERSIDAD CATOLICA SAN PABLO SOFTWARE PROJECT MANAGEMENT HORAS 28 Perú Noviembre 2004 Diciembre 2004

Idiomas

Idioma Lectura Conversación Escritura Forma de aprendizaje Lengua Materna
INGLES AVANZADO INTERMEDIO INTERMEDIO Autodidacta NO
PORTUGUES AVANZADO AVANZADO SUPERIOR AVANZADO SUPERIOR Autodidacta NO
ESPAÑOL O CASTELLANO AVANZADO SUPERIOR AVANZADO SUPERIOR AVANZADO SUPERIOR Otros SI

Línea de investigación

Área Sub área Disciplina Temática Ambiental Temática Médica y de la Salud
Ciencias Naturales Computación y ciencias de la información Ciencias de la computación

Producción científica

Tipo Producción Título Autor Año de Producción DOI Revista Fuente Cuartil de ScimagoJR o JCR*
Conference Paper Extending the Sustainability-Quality Model for supporting the design of Persuasive Software Systems Quispe-Cruz M. 2022 CIbSE 2022 - XXV Ibero-American Conference on Software Engineering No Aplica
BachelorThesis Sistema Deductivo Basado en Grafos para la Lógica intuicionista Quispe Cruz, Marcela 2019 No Aplica
Artículo en revista científica On Strong Normalization in Proof-Graphs for Propositional Logic Quispe-Cruz M. 2016 10.1016/j.entcs.2016.06.012 Electronic Notes in Theoretical Computer Science Q2
Artículo en revista científica Intuitionistic N-graphs Quispe-Cruz M. 2014 10.1093/jigpal/jzt033 Logic Journal of the IGPL Q1
Conference Paper Proof-graphs for minimal implicational logic Quispe-Cruz M. 2014 10.4204/EPTCS.144.2 Electronic Proceedings in Theoretical Computer Science, EPTCS No Aplica
Conference Paper Nonfunctional requirements: Assessing the impact of decisions Quispe-Cruz M. 2007 VI Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria del Conocimiento 2007, JIISIC 2007 No Aplica

* Sólo se presentan los cuartiles para la producción tipo artículos y review.

** Cuartil no disponible para el año de la publicación.

*** La revista no tiene cuartil en el año de la publicación.


Otras Producciones

Tipo de Producción Título Año de Producción Título de la fuente
ARTÍCULO EN CONGRESO Intuitionistic N-Graphs. 2011 Proceedings of the 6th Workshop on Logical and Semantic ...
ARTÍCULO EN CONGRESO Towards intuitionistic N-graphs 2011 Resumenes de 16th Brazilian Logic Conference. url: htt...
ARTÍCULO EN CONGRESO Improving memory performance for mimp-graph based thorem provers 2014 Abstracts of the 16th Latin American Symposium on Mathem...
RESUMEN DE CONGRESO On Strong Normalization in Proof-graphs for Propositional Logic 2015
RESUMEN DE CONGRESO Np full system and Mimp-fol Association 2015
RESUMEN DE CONGRESO NP system and Mimp-graph association 2015
ARTÍCULO EN REVISTA CIENTÍFICA Revisiting the proof theory of Classical S4 2016 O que nos faz pensar
RESUMEN DE CONGRESO Proof-graphs for Minimal Implicational Logic 2013
CAPÍTULO DE LIBRO Negative UX-Based Approach for Deriving Sustainability Requirements 2021 Software Usability

Proyectos de Investigación

Tipo Proyecto Título Descripción Institución Fecha de Inicio Fecha Fin Inv. Principal Área OCDE
Proyectos de investigación Intuitionistic N-Graphs In this project we produce an intuitionistic version of N-Graphs, based on Maehara’s LJ’ system, as described by Takeuti. Recall that LJ’ has multiple conclusions in all but the essential intuitionistic rules e.g. implication right and negation right. We show soundness and completeness of our intuitionistic N-Graphs with respect to LJ’. We also review how we expect to extend this work to a version of N-Graphs corresponding to the intuitionistic logic system FIL. UNIVERSIDADE FEDERAL DE PERNAMBUCO (UFPE) Febrero 2007 Agosto 2009 MARCELA QUISPE CRUZ Ciencias Naturales
Proyectos de investigación A Proof-theory Based on Graphs The aim of this work is to reduce the weight/size of deductions. We present formalisms of proof-graphs that are intended to capture the logical structure of a deduction and a way to facilitate the visualization. We give a precise definition of proof-graphs for purely implicational logic, then we extend this result to full propositional logic and show how to reduce these representations. The strong normalization will be a direct consequence of such normalization. PONTIFICIA UNIVERSIDADE CATÓLICA DE RIO DE JANEIRO (PUC-RIO) Febrero 2010 Noviembre 2014 MARCELA QUISPE CRUZ Ciencias Naturales
Proyectos de investigación Lógica y semántica de programas Este projeto visa investigar a eficiência da lógica descritiva intuicionista como alternativa à ALC clássica, com foco no domínio das ontologias jurídicas. Assim, espera-se promover a consolidação de conhecimentos de teoria da prova, focado na prova automática de teoremas. Além dos estudos sobre lógica descritiva, propõe-se o desenvolvimento de um ferramental para a prova automática de teoremas através de tableaux e dedução natural. Esse mesmo ferramental deverá ser adequado de forma a ser utili PONTIFICIA UNIVERSIDADE CATÓLICA DE RIO DE JANEIRO (PUC-RIO) Marzo 2012 Marzo 2013 EDWARD HERMANN HAEUSLER Ciencias Naturales
Proyectos de investigación KUSISQA: Ayudando a Regular Nuestras Emociones en los Procesos de Enseñanza y Aprendizaje Concurso: Incorporación de Investigadores, Nro. 014-2019-FONDECYT-BM-INC.INV. UNIVERSIDAD NACIONAL DE SAN AGUSTÍN DE AREQUIPA Enero 2020 Diciembre 2022 ALVARO ERNESTO CUNO PARARI Ingeniería y Tecnología

Proyectos importados de ORCID

Tipo de financiamiento Título Descripción Institución Fecha de Inicio Fecha de Fin

Derechos de Propiedad Intelectual

Título de la Propiedad Intelectual (PI) Tipo de PI Entidad donde se tramitó la PI País Nombre del propietario de la PI Trámite vía PCT Estado de la patente Número de registrode la PI Rol de participación Participación en los derechos de la PI

Productos de Desarrollo Industrial

Denominación Tipo de desarrollo Tipo de participación Estado del desarrollo Alcance del desarrollo Estado del uso del desarrollo Propietario del desarrollo

Distinciones y Premios

Institución Distinción Descripción País Web Referencia
UNIVERSIDAD CATOLICA SAN PABLO Premio a la Excelencia en Investigación Científica (PEIC 2016) Los premios a la excelencia en investigación científica 2016 reconocen el esfuerzo y mérito de los profesores que hayan publicado el resultado de sus trabajos en revistas o eventos de reconocido nivel académico. PERÚ http://ucsp.edu.pe/investigacion/resultados-peic-2016/
CIBSE - IBEROAMERICAN CONFERENCE ON SOFTWARE ENGINEERING DISTINGUISHED PAPER of the Conference Este artículo fue distinguido como uno de los mejores papers de la conferencia CIBSE 2022 ARGENTINA https://cibse2022.frc.utn.edu.ar/
Contactar investigador Aquí

Los investigadores son responsables por los datos que consignen en la ficha personal del Directorio Nacional de Investigadores en CTeI, la cual podrá ser verificada en cualquier oportunidad por el CONCYTEC.

De comprobarse fraude o falsedad de la información y/o los documentos adjuntados, el CONCYTEC, podrá dar de baja el registro, sin perjuicio de iniciar las acciones, correspondientes.