Christian Jacques Renteria

Possui graduação em Engenharia de Computação pela Pontifícia Universidade Católica do Rio de Janeiro(1997), graduação em Mathématiques Superieures pela Lycée Louis Le Grand(1990), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro(1999), doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro(2004) e aperfeicoamento em Análise I pelo Associação Instituto Nacional de Matemática Pura e Aplicada(1989). Atualmente é da Pontifícia Universidade Católica do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:Lógica, Dedução Natural, CTL, Normalização, Indução e Rótulo.

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

Acadêmico

Formação acadêmica

Doutorado em Informática

2000 - 2004

Pontifícia Universidade Católica do Rio de Janeiro
Título: Uma abordagem geral para quantificadores em dedução natural
Edward Hermann Haeusler. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. 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. Setores de atividade: Desenvolvimento de Programas (Software); Educação Superior.

Mestrado em Informática

1998 - 1999

Pontifícia Universidade Católica do Rio de Janeiro
Edward Hermann Haeusler.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Lógica; Dedução Natural; CTL; Normalização; Indução; Rótulo. 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. Setores de atividade: Desenvolvimento de Programas (Software); Fabricação de Máquinas, Aparelhos e Materiais Elétricos.

Aperfeiçoamento em Análise I

1989 - 1989

Associação Instituto Nacional de Matemática Pura e Aplicada
Ano de finalização: 1989;

Graduação em Engenharia de Computação

1989 - 1997

Pontifícia Universidade Católica do Rio de Janeiro
Orientador: Moisés Henrique Szwarcman

Graduação em Mathématiques Superieures

1989 - 1990

Lycée Louis Le Grand
Bolsista do(a): Ministère de L'éducation Nationale de La Jeunesse Et Des Sports.

Pós-doutorado

2005 - 0000

Pós-Doutorado. , Universitat Tuebingen (Eberhard-Karls). , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. , 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. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.

Formação complementar

2006 - 2006

Combstru School on Computational Complexity. (Carga horária: 35h). , Bertinoro International Center For Informatics.

1994 - 1994

Extensão universitária em Scanner T D I. (Carga horária: 60h). , Case Western Reserve University, CWRU, Estados Unidos.

Idiomas

Inglês

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

Espanhol

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

Português

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

Francês

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

Alemão

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

Latim

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

Áreas de atuação

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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computaçã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: Linguagens de Programação.

Participação em eventos

11th Workshop on Logic, Language, Information and Computation (WoLLIC'2004). A Natural Deduction System for Keisler's Quantification. 2004. (Congresso).

XIII Encontro Brasileiro de Lógica.XIII Encontro Brasileiro de Lógica. 2003. (Encontro).

Natural Deduction. Natural Deduction - Rio. 2001. (Congresso).

Logic Colloquium. Logic Colloquium 2000. 2000. (Congresso).

XII Brazilian Logic Conference. XII Brazilian Logic Conference. 1999. (Congresso).

Produções bibliográficas

RENTERÍA, C. J. ; HAEUSLER, Edward Hermann . Full Normalization for PLTL. Notre Dame Journal of Formal Logic , 2006.
RENTERÍA, C. J. ; HAEUSLER, Edward Hermann . A Natural Deduction System for Keisler's Quantification. Electronic Notes In Theoretical Computer Science, Internet, v. 123, p. 229-240, 2005.
RENTERÍA, C. J. ; HAEUSLER, Edward Hermann ; VELOSO, P. A. S. . NUL: Natural Deduction for Ultrafilter Logic. Bulletin of the Section of Logic , Polônia, v. 32, n.4, p. 191-199, 2003.
RENTERÍA, C. J. ; HAEUSLER, Edward Hermann . CN: Natural Deduction for CTL. Bulletin of the Section of Logic , 2002.
RENTERÍA, C. J. ; HAEUSLER, Edward Hermann . A Natural Deduction System for Keisler's Quantification. In: 11th Workshop on Logic, Language, Information and Computation (WoLLIC'2004), 2004, Paris. Electronic Notes in Theoretical Computer Science, 2004. v. 123. p. 229-240.
RENTERÍA, C. J. ; HAEUSLER, Edward Hermann . Natural Deduction for CTL. In: Logic Colloquium, 2000, Paris, 2000.
RENTERÍA, C. J. ; HAEUSLER, Edward Hermann ; VELOSO, P. A. S. . NUL: Natural Deduction for Ultrafilter Logic. In: XIII Encontro Brasileiro de Lógica, 2003, Campinas. CLE/SBL 25 ANOS - XIII Encontro Brasileiro de Lógica, 2003.
RENTERÍA, C. J. ; HAEUSLER, Edward Hermann . Natural deduction for ultrafilter logic - proof theory. Bulletin Of Symbolic Logic , v. 8, n.1, p. 176-176, 2002.
RENTERÍA, C. J. ; HAEUSLER, Edward Hermann . Natural deduction for CTL - proof theory. Bulletin Of Symbolic Logic , v. 7, n.1, p. 145-145, 2001.
RENTERÍA, C. J. ; HAEUSLER, Edward Hermann ; VELOSO, P. A. S. . Dedução Natural para Lógica de Ultrafiltros. Rio de Janeiro: PUC-RJ, 2002 (Monografia).

Outras produções

RENTERÍA, C. J. . Provador de teoremas para lógica intuicionista usando cálculo de seqüêntes. 1999.

Prêmios

2006

Fellowship, BICI.

2004

Bolsa, Association for Symbolic Logic.

2000

Louvor, PUC-RJ.

2000

Bolsa, Association for Symbolic Logic.

Histórico profissional

Endereço profissional

Pontifícia Universidade Católica do Rio de Janeiro, Centro Técnico-Científico, Departamento de Informática. , Rua Marquês de São Vicente, 255, Gávea, 22453900 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 31141500, Fax: (21) 31141530, URL da Homepage:

Experiência profissional

1995 - 1995

Pontifícia Universidade Católica do Rio de Janeiro

Vínculo: Colaborador, Enquadramento Funcional: Outro, Carga horária: 6

Outras informações:
Computação gráfica para profissionais de outras áreas

Atividades

03/2005
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Linguagens e Máquinas, Linguagem de Programação OO
03/2004
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e Autômatos
03/2004 - 02/2005
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Linguagens e Máquinas, Lógica
08/2003 - 12/2003
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Linguagens e Máquinas
03/2003 - 07/2003
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Linguagens e Máquinas
08/2002 - 12/2002
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Lógica
03/2002 - 07/2002
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Linguagens e Máquinas
08/2001 - 12/2001
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Linguagens e Máquinas
03/1999 - 05/1999
Extensão universitária , Centro de Extensão, Cce.,Atividade de extensão realizada, Produção de filmes autônomos e para a WWW.
03/1996 - 11/1998
Extensão universitária , Centro de Extensão, Cce.,Atividade de extensão realizada, Animação com Macromedia Director.
09/1995 - 11/1995
Extensão universitária , Centro de Extensão, Cce.,Atividade de extensão realizada, Computação gráfica para profissionais de outras áreas.

1995 - 1996

Fundação Biblioteca Nacional

Vínculo: Colaborador, Enquadramento Funcional: , Carga horária: 30

Atividades

09/1995 - 08/1996
Serviços técnicos especializados .,Serviço realizado, Multimídia.

1995 - 1995

Corpo de Bombeiros Voluntários de Joinville

Vínculo: Colaborador, Enquadramento Funcional: Outro, Carga horária: 30

Outras informações:
Treinamento e ensino

Atividades

03/1995 - 07/1995
Treinamentos ministrados .,Treinamentos ministrados, Uso de equipamento para ensino da população em geral

1994 - 1997

E R Associados

Vínculo: Outro, Enquadramento Funcional: , Carga horária: 30

Atividades

07/1994 - 12/1997
Direção e administração, .,Cargo ou função, Projetista.
07/1994 - 12/1997
Serviços técnicos especializados .,Serviço realizado, Programação.

1994 - 1994

Museu de Arte Moderna

Vínculo: Colaborador, Enquadramento Funcional: Outro, Carga horária: 30

Atividades

08/1994 - 12/1994
Serviços técnicos especializados .,Serviço realizado, Informatização e Multimídia.

1994 - 1994

Case Western Reserve University

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

Outras informações:
Estagiário

Atividades

07/1994 - 07/1994
Estágios .,Estágio realizado, Treinamento com TDI.

1991 - 1993

International Business Machines Brasil

Vínculo: Outro, Enquadramento Funcional: , Carga horária: 30

Atividades

09/1992 - 11/1993
Estágios .,Estágio realizado, Multimídia Jardim Botânico, Feira da Providência, Bienal do Libro, Programação de revista eletrônica "Boletim Arqueologia".
04/1991 - 09/1992
Estágios .,Estágio realizado, "Laboratorium" PUC, programação, multimídia, lider de equipe.

1991 - 1991

Lycée Molière

Vínculo: Professor Visitante, Enquadramento Funcional: Outro, Carga horária: 26

Atividades

02/1991 - 03/1991
Ensino,,Disciplinas ministradas, Matemática 1o ano do 2o grau, Matemática 2o ano do 2o grau, Matemática 3o ano do 2o grau

1990 - 1990

Objectif Math

Vínculo: Outro, Enquadramento Funcional: Professor titular, Carga horária: 14

Atividades

04/1990 - 06/1990
Ensino,,Disciplinas ministradas, Matemática 1o ano do 2o grau, Matemática 3o ano do 2o grau, Matemática 7a série, Física 1o ano do 2o grau, Física 3o ano do 2o grau