Lizeth Tapia Tarifa

Possui graduação em Ingenieria de Sistemas - Universidad Nacional de San Agustín de Arequipa (2001). Atualmente é analista de sistemas - Global System and Consulting e durante o tempo livre colabora com a UNIVERSIDAD CATÓLICA SAN PABLO de Arequipa Peru

Informações coletadas do Lattes em 16/06/2022

Acadêmico

Formação acadêmica

Graduação em Ingenieria de Sistemas

1996 - 2001

Universidad Nacional de San Agustín de Arequipa

Formação complementar

2007 - 2007

Summer school in Advanced techniques in Software D. (Carga horária: 120h). , United Nation University - International Institute for Softwarte Technology, UNU-IIST, Macau.

2005 - 2005

Construcción de Compiladores usando autómatas. (Carga horária: 40h). , UNIVERSIDAD CATÓLICA SAN PABLO, UCSP, Peru.

2003 - 2003

Cisco - CCNA. , Instituto de Informática de la Universidad Nacional de San Agustín Arequipa, INFOUNSA, Peru.

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Português

Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Produções bibliográficas

Abigail Parisaca Vargas ; Lizeth Tapia ; Chris George . A translation from RSL to CSP. 2008. (Apresentação de Trabalho/Conferência ou palestra).
Lizeth Tapia ; Abigail Parisaca Vargas ; Mamani Sanchez,L. ; Morveli Espinoza,M . Bases de casos clusterizadas con redes Kohonen.. 2003. (Apresentação de Trabalho/Congresso).
Lizeth Tapia ; Chris George . Model Checking Concurrent RSL with CSPM and FDR2 2008 (Reporte tecnico).

Projetos de pesquisa

2007 - 2008

RAISE TOOLS, Descrição: Desenvolvimento de um tradutor da linguagem RSL ao linguagem CSP para verificação de modelos. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Lizeth Tapia Tarifa - Integrante / Chris George - Coordenador.

Prêmios

2007

Engenheiro de Sistemas, Universidad Nacional de San Agustin de Arequipa.

Histórico profissional

Experiência profissional

2008 - Atual

Global System and Consulting

Vínculo: Serviços Profissionais, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

2008 - Atual

Universidad Católica San Pablo

Vínculo: Colaborador, Enquadramento Funcional: Investigador durante o tempo livre

2007 - 2008

United Nation University - International Institute for Softwarte Technology

Vínculo: Fellow, Enquadramento Funcional: Fellow, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
A investigação em sistemas concorrentes e verificando modelos

2006 - 2007

Sur Internacional (Consulting and Training Enterprise)

Vínculo: Serviços Profissionais, Enquadramento Funcional: Professor de linguagens de programação

2005 - 2005

Universidad Nacional de San Agustín de Arequipa

Vínculo: Colaborador, Enquadramento Funcional: Apoio em projectos de investigação

Outras informações:
projeto do Departamento de Química

2003 - 2004

Instituto de Informática de la Universidad Nacional de San Agustín Arequipa

Vínculo: Serviços Profissionais, Enquadramento Funcional: Analista - Programador, Regime: Dedicação exclusiva.

2002 - 2002

Angelo C&C Soluciones Informáticas - Empresa Desenvolvimento de Software

Vínculo: Serviços Profissionais, Enquadramento Funcional: Manutenção de Software

2002 - 2002

Cerveceria del sur del Peru

Vínculo: Practicante, Enquadramento Funcional: Suporte técnico, Carga horária: 40, Regime: Dedicação exclusiva.

2001 - 2002

SATOX - empresa de desenvolvimento de software

Vínculo: Serviços Profissionais, Enquadramento Funcional: Programador

1998 - 1999

Ministerio de transportes y comunicaciones vivienda y construccion

Vínculo: Practicante, Enquadramento Funcional: Suporte técnico