• No se han encontrado resultados

Marcela Quispe Cruz. Datos Personales. Formación Académica/Titulación. Nombre. Marcela Quispe Cruz Nacionalidad Peruana DNI

N/A
N/A
Protected

Academic year: 2021

Share "Marcela Quispe Cruz. Datos Personales. Formación Académica/Titulación. Nombre. Marcela Quispe Cruz Nacionalidad Peruana DNI"

Copied!
8
0
0

Texto completo

(1)

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

(2)

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

(3)

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.

(4)

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

(5)

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.

(6)

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

(7)

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.

(8)

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)

Referencias

Documento similar

4 Uruguay no ofrece datos de entradas de capitales.. de tipo social, particularmente Brasil y Paraguay, como de tipo productivo, económico, de promoción de las

En ot ro s lugares se celebra cum- pliendo un voto hecho como acción de gracias por librarles de los daños cau- sados po r el granizo y las lluvias to - rrenciales, como en

Si, al ser aislado, nos domina un efecto de iluminación, si, por ejemplo, un haz de luz que conduce nuestra mirada nos cautiva hasta el punto de aparecernos como un cono lechoso

Para los menores procede de igual manera: utiliza el centro del crucero perimetral menor y toma como radio la distancia desde dicho centro hasta cada una de las alturas marcadas en

Pero si estos pueblos no son mencionados, las fuentes de finales del siglo VI nos vuel- ven a dar cuenta de la vitalidad indígena en el cuadrante NO peninsular; los suevos se

Fundación Ramón Menéndez Pidal / Universidad Autónoma de Madrid... Fundación Ramón Menéndez Pidal / Universidad Autónoma

d) que haya «identidad de órgano» (con identidad de Sala y Sección); e) que haya alteridad, es decir, que las sentencias aportadas sean de persona distinta a la recurrente, e) que

Se actualiza la relación de 42 especies distribuidas en tres planes de manejo de áreas protegidas administradas por ECOVIDA, a partir de la realización de 17