Raul Henriques Cardoso Lopes

Possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais(1985), mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais(1990) e doutorado em Computer Science pela Leeds Metropolitan University(1998). Atualmente é Professor Adjunto I da Universidade Federal do Espírito Santo. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:Theorem Provers, Inductive Learning.

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

Acadêmico

Formação acadêmica

Doutorado em Computer Science

1994 - 1998

Leeds Metropolitan University
Título: Inductive Generalization of Proof Search Strategies from
Orientador: Mark Tarver
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Theorem Provers; Inductive Learning.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: Informática.

Mestrado em Ciências da Computação

1987 - 1990

Universidade Federal de Minas Gerais
Ano de Obtenção: 1990;

Graduação em Ciência da Computação

1982 - 1985

Universidade Federal de Minas Gerais

Idiomas

Inglês

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

Alemão

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: Análise de Algoritmos e Complexidade de Computação.

Produções bibliográficas

LOPES, R. H. C. . Automatic Generation of Proof Search Strategies for Second-Order Logic. In: Automated Deduction - CADE-16, 1999, Trento. Automated Deduction - CADE-16. New York: Springer Verlag, 1999.

Histórico profissional

Endereço profissional

Universidade Federal do Espírito Santo, Centro Tecnológico, Departamento de Informática. , Av. Fernando Ferrari s/n, CT-VII, sala 13, Goiabeiras, 29060027 - Vitoria, ES - Brasil, Telefone: (27) 3352132, Fax: (27) 3352850, URL da Homepage:

Experiência profissional

1986 - 1992

Universidade Federal do Espírito Santo

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Atividades

01/1999
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Informática.,Linhas de pesquisa
01/1999
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagem de Programação II, Processamento Paralelo, Técnicas de Busca e Ordenação
01/1999
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Algoritmos, Processamento Paralelo

1986 - 1992

Telecomunicações de Minas Gerais S A

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Programador, Carga horária: 40

Atividades

10/1986 - 10/1992
Serviços técnicos especializados .,Serviço realizado, Desenvolvimento de Sistemas de Programação.