PERCY ANTONIO PARI SALAS

Possui graduação em Engenharia de Sistemas pela Universidad Católica de Santa María(1998), mestrado em Ciência da Computação e Matemática Computacional [S.Carlos] pela Universidade de São Paulo(2002), ensino-fundamental-primeiro-graupelo Colegio La Salle Arequipa(1988) e ensino-medio-segundo-graupelo Colegio La Salle Arequipa(1993). Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:Teste, Decompilação.

Informações coletadas do Lattes em 10/11/2022

Acadêmico

Formação acadêmica

Doutorado em andamento em Ciência da Computação e Matemática Computacional [S.Carlos]

2005 - Atual

Universidade de São Paulo
Orientador: José Carlos Maldonado

Mestrado em Ciência da Computação e Matemática Computacional [S.Carlos]

2000 - 2002

Universidade de São Paulo
Orientador: José Carlos Maldonado
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Teste; Decompilação.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.

Graduação em Engenharia de Sistemas

1994 - 1998

Universidad Catolica de Santa Maria

Ensino Médio (2º grau)

1989 - 1993

Colegio La Salle Arequipa

Ensino Fundamental (1º grau)

1983 - 1988

Colegio La Salle Arequipa

Formação complementar

1998 - 1998

Extensão universitária em Microsoft Certified Systems Engineering. , New Horizons, NH, Peru.

Idiomas

Inglês

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

Espanhol

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

Português

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

Francês

Compreende PoucoLê Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Participação em eventos

I International Colloquium on Theoretical Aspects of Computing. I International Colloquium on Theoretical Aspects of Computing. 2004. (Congresso).

2nd IEEE International Conference on Software Engineering and Formal Methods. 2nd IEEE International Conference on Software Engineering and Formal Methods. 2004. (Congresso).

Simpósio Brasileiro de Métodos Formais.Simpósio Brasileiro de Métodos Formais. 2004. (Simpósio).

Pernambuco School on Software Engineering.Pernambuco School on Software Engineering: Refinement. 2004. (Outra).

X Jornada Internacional de Ingeniería de Sistemas. X Jornada Internacional de Ingeniería de Sistemas. 2002. (Congresso).

Produções bibliográficas

AICHERNIG, B. K. ; PARI, P. A. . Test Case Generation by OCL Mutation and Constraint Solving. In: International Conference on Quality Software, 2005, Melbourne. Proceedings of the Fifth International Conference on Quality Software, 2005.
BECK, J. ; MONTOYA, J. ; PARI, P. A. . Extendiendo UML Exchange Format (UXF). In: 6to Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software, 2003, Asunção, 2003.

Outras produções

PARI, P. A. ; AICHERNIG, B. K. . Automatic Test Case Generation for OCL: a Mutation Approach. 2005.

PARI, P. A. . Esquemas de Persistencia. 2002 (Congresso) .

PARI, P. A. . Modernas Técnicas para Pruebas de Software. 2002 (Congresso) .

Histórico profissional

Endereço profissional

Universidade de São Paulo, Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências da Computação e Estatística. , Av. Trabalhador Sãocarlense s/n - Seção de Pós-Graduação do ICMC, Centro, none - Sao Carlos, SP - Brasil, URL da Homepage:

Experiência profissional

2004 - 2005

United Nations University

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

Outras informações:
Em geral, o "fellowship" tem uma duração de nove (9) meses. Sem embargo, este foi extendido até maio de 2005 devido ao bom trabalho mostrado e aos logros conseguidos.

Atividades

01/2004 - 05/2005
Pesquisa e desenvolvimento , International Institute For Software Technology, .,Linhas de pesquisa

2002 - 2003

Universidad Católica San Pablo

Vínculo: Outro, Enquadramento Funcional: Professor auxiliar, Carga horária: 20

Atividades

04/2002 - 12/2003
Ensino, Ingenieria Informatica, Nível: Graduação,Disciplinas ministradas, Compiladores, Engenharia de Software, Análise e Projeto de Software, Projetos

2002 - 2003

Universidad Catolica de Santa Maria

Vínculo: Outro, Enquadramento Funcional: Professor contratado, Carga horária: 20

Atividades

02/2003 - 12/2003
Ensino, Engenharia de Sistemas, Nível: Graduação,Disciplinas ministradas, Compiladores, Engenharia de Software
08/2002 - 12/2002
Ensino, Engenharia de Sistemas, Nível: Graduação,Disciplinas ministradas, Teoria de Automatos e Linguagens Formais, Compiladores

1999 - 2000

Instituto Superior Tecnológico Tecsup Nro 2 Arequipa

Vínculo: Outro, Enquadramento Funcional: Professor contratado, Carga horária: 10

Atividades

08/1999 - 01/2000
Ensino, Computação e Informática, Nível: Especialização,Disciplinas ministradas, Linguagem de programação - JAVA, Banco de Dados, Planejamento de Sistemas de Informação

1999 - 1999

Cibertec Data S A

Vínculo: Outro, Enquadramento Funcional: Técnico Especialista em Aplicações Microsoft, Carga horária: 40

Atividades

03/1999 - 07/1999
Estágios .,Estágio realizado, Desenvolvimento de aplicações Web e de banco de dados.