ROBERTO LINS DE CARVALHO

Possui graduação em Oficial do Exército pela Academia Militar das Agulhas Negras (1961), graduação em Engenheiro de Telecomunicações pelo Instituto Militar de Engenharia (1967), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1969) e doutorado em Informática - University of Toronto (1974). Atualmente é Aposentado pelo Laboratório Nacional de Computação Científica.

Informações coletadas do Lattes em 06/06/2025

Acadêmico

Formação acadêmica

Doutorado em Informática

1970 - 1974

University of Toronto
Título: ver
Orientador: ver

Mestrado em Informática

1967 - 1969

Pontifícia Universidade Católica do Rio de Janeiro
Orientador: ver

Especialização em Análise Funcional

1967 - 1967

Curso de Extensão Universitária do Estado da Guanabara

Especialização em Lógica Matemática

1966 - 1966

Curso de Extensão Universitária do Estado da Guanabara

Graduação em Engenheiro de Telecomunicações

1963 - 1967

Instituto Militar de Engenharia

Graduação em Oficial do Exército

1959 - 1961

Academia Militar das Agulhas Negras

Idiomas

Inglês

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

Francês

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

Orientou

Mario Carlos Campanella

ISTEMAS DINâMICOS EM INTELIGêNCIA ARTIFICIAL E UM APLICATIVO PARA LINGUAGEM NATURAL; 1999; 100 f; Dissertação (Mestrado em Ciência da Informação) - Universidade Federal do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

José Carlos Barbosa Damski

Um Sistema Automático para Testar Bases de Conhecimento; 1988; Dissertação (Mestrado em Divisão de Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Roberto Lins de Carvalho;

José Carlos Barbosa Damski

Um Sistema Automático para Testar Bases de Conhecimento; 1988; Dissertação (Mestrado em Divisão de Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Roberto Lins de Carvalho;

Sérgio Genaro

Construção de Sistemas Especialistas Usando o SAFO; 1986; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Marcos Mota do Carmo Costa

Descrição e Implementação de um Tradutor Pascal para Código Executável sob a Forma de Cláusulas; 1985; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Carlos Eddy Esaguy Nehad

Por uma Nova Teoria Geral dos Algarismos; 1985; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Luiz Julião Braga Filho

O SAFO e a Visão do Usuário; 1985; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Pablo Javier de La Quintana Bruggemann

Descrição da Implementação e nova Proposta para o Sitema SAFO; 1985; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Pedro Isaac Candel Campelo

PUCLOG - Uma versão de PROLOG; 1984; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Maria Augusta Brandão

Rede de Petri Extendidas através de Tipos Abstratos de Dados: Definição e Análise; 1984; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Coorientador: Roberto Lins de Carvalho;

José Humarabi N

de Medeiros; Lógicas não Monotônicas - Aplicações; 1982; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Sonia Limoeiro Monteiro

Análise e Formalização da Morfologia Universal; 1982; Dissertação (Mestrado em Matemática) - Universidade Federal Fluminense,; Orientador: Roberto Lins de Carvalho;

José Carlos Loureiro Ralha

Análise e Formalização da Caliortogra a Universal; 1982; Dissertação (Mestrado em Matemática) - Universidade Federal Fluminense,; Orientador: Roberto Lins de Carvalho;

Eraldo de Souza Rocha

Analisador Sintático para Prova de Teoremas; 1981; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Margarida Maria Berreta Pion

Sistema Interativo para Construção de Modelos minimais no Universo Herbrand; 1979; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Adélio Hiromiti Yano

Calculos e Combinadores; 1979; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Rosana de Saldanha da Gama Lanzelote

Manipulador de Teorias Deficionais: Uma Aplicação à Topologia; 1977; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Marco Antonio Casanova

Sobre a Definição Semântica de Linguagens de Programação através de Sistemas para Manipulação de Florestas Encadeadas; 1977; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Tarcisio Haroldo Cavalcante Pequeno

Lógica Aplicada à Verificação de Programas; 1976; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Sílvia Regina Góes Peixoto

Resultados Experimentais com um Sistema para Prova Automática de Teoremas; 1975; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Marilia Rosa Millan

Expressões Regulares - Síntese e minimização dos Autômatos Finitos; 1971; Dissertação (Mestrado em Expressões Regulares) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Emmanuel P

Passos; Introdução à Demostração Automática de Teoremas; 1971; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Heitor Luiz Murat Meirelles Quintella

Um Enfoque Computacional de Teoria dos Números e Resolução de Equações Diofantinas Lineares; 1971; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Lucas Tafolo de Macedo

Manipulação de Gramáticas Livres do Contexto e Reconhecimento de LL(K); 1971; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Alfredo Carlos Vieira

Uma Introdução à Construção Automática de Reconhecedores Sintáticos para certas Classes de Linguagens; 1971; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Sueli Mendes dos Santos

Gramáticas Transformacional - Discussão de um Modelo para as Linguagens Naturais; 1970; Dissertação (Mestrado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Pedro Porfírio Nunes Farias

Prova de Teoremas Utilizados Sim -plicação por Eliminação de Lierais; 1998; Tese (Doutorado em COPPE) - Universidade Federal do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Pedro Porfírio Nunes Farias

O USO DE ORÁCULOS NA AQUISIÇÃO AUTOMÁTICA DE CONHECIMENTO; 1997; 100 f; Tese (Doutorado em Ciência da Informação) - Universidade Federal do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Jorge Duarte Pires Valerio

Uso de Oráculos na Aquisição Automática de Conhecimento; 1997; Tese (Doutorado em COPPE) - Universidade Federal do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Werther Jacques Vervloet - TOOL-I

Uma Linguagem Orientada a Objetos Inteligentes: A convivência entre diferentes paradigmas; 1995; Tese (Doutorado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Coorientador: Roberto Lins de Carvalho;

Alcione de Paiva Oliveira

Casamento de Padrões em Ambientes para Processamento de Conhecimento; 1995; Tese (Doutorado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

José Luiz Braga

Aquisição e Estruturação Automáticas de Conhecimento; 1990; Tese (Doutorado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Nizam Omar

Paralelismo em Programação Lógica; 1989; Tese (Doutorado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Crediné de Silva Meneses

Um Ambiente para Processamento de Conhecimento; 1989; Tese (Doutorado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Orivaldo de Lira Tavares

Moldes (Arquitetura de um Gerador de Interfaces; 1989; Tese (Doutorado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Newton José Vieira

Máquinas de Inferência para Sistemas Baseados em Conhecimento; 1987; Tese (Doutorado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Sonia Limoeiro Monteiro

Análise Lógica de Dialetos do Português; 1986; Tese (Doutorado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Paulo Rogerio Foina

Sistema Formal para Especi cação de Arquiteturas de Computadores; 1985; Tese (Doutorado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Aluizio Arcela Junior

As Árvores de Tempos e a Con guração Genética dos Intervalos Musicais; 1984; Tese (Doutorado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Ilka Dias de Castro

Uma Caracterização Uniforme para Representação de Sistemas Formais: Lógica Matemática Subjascente à Teoria da Computação; 1984; Tese (Doutorado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Emmanuel P

Passos; Alguns Resultados e Experiências sobre Demostração Automática de Teoremas; 1980; Tese (Doutorado em COPPE) - Universidade Federal do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Atendolfo Pereda Borquez

Métodos de Descrição de Tipos de Dados; 1979; Tese (Doutorado em Depto; de Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Lins de Carvalho;

Produções bibliográficas

CARVALHO, R. L. . SEMANTICAL RULE INDUCTION. Ver, Ucrania, p. 1-2, 1999.
CARVALHO, R. L. . AMALGAMATING THEOREM PROVER AND LOGIC PROGRAMMING INTERPRETER. Ver, 1995.
CARVALHO, R. L. . Engenharia do Conhecimento e Sistemas Especialistas. 1. ed. Buenos Aires: Kapeluz, 1987. v. 1. 210p .
CARVALHO, R. L. . MáQUINAS, ALGORITMOS E PROGRAMAS. Sao Paulo: II ESCOLA DE COMPUTAçãO, 1980. v. 1. 100p .
CARVALHO, R. L. . The Theory of Semantical Systems. Relatório Interno, 2005.
CARVALHO, R. L. . Sistemas de Avaliação e Conhecimento. Relatório Interno - CNPq, 1989.
CARVALHO, R. L. . O Escopo da Inteligência Artificial. Relatório Interno - LNCC/CNPq, 1989.
CARVALHO, R. L. . O Processamento do Conhecimento. Relatório Interno - LNCC/CNPq, 1989.
CARVALHO, R. L. . A Estruturação do Conhecimento. Relatório Interno - LNCC/CNPq, 1989.
CARVALHO, R. L. . Teoria dos Sistemas Semânticos. Relatório Interno - LNCC/CNPq, 1989.
CARVALHO, R. L. . Definitions, Functions and Linear Resolution. Relatório Interno, 1989.
CARVALHO, R. L. . Ensaio por uma Geometria do Conhecimento. Relatório Interno - SBIA, 1988.
CARVALHO, R. L. . Theorem Proving in Conversative Extensions of Theories. Relatório Interno - Chile, 1984.
CARVALHO, R. L. . Theorem Proving in Conservative Extensions of Theories. Relatório Interno, 1984.
CARVALHO, R. L. ; A Universal View do Data Structures and Data Types . Data Specification Methods. Relatório Interno, 1982.
CARVALHO, R. L. ; Towards a Logic of Limited Perception ; A Universal View do Data Structures and Data Types ; A Review of the Church-Rosser Theorem for the Calculus ; A Model Theoretical Approach to the Semanstics of Data Types . A Model Theoretical Approach to the Semanstics of Data Types and Structures. Relatório Interno - Taiwan, 1982.
CARVALHO, R. L. ; Towards a Logic of Limited Perception . On Horn Sentences, Minimal Entailment and Intersection property on Herbrand Universe. Relatório Interno, 1981.
CARVALHO, R. L. ; Communication Predicates: An Evaluation of an implementation ; MTD a Conversational System oriented for Topology . MTD a Conversational System oriented for Topology. Relatório Interno, 1980.
CARVALHO, R. L. ; Interactive System to construct Minimal Models in the Herbra . Interactive System to construct Minimal Models in the Herbrand Universe. Relatório Interno, 1980.
CARVALHO, R. L. ; Towards a Logic of Limited Perception . Towards a Logic of Limited Perception. Relatório Interno, 1980.
CARVALHO, R. L. . Introduction to the Lambda Calculus with Applications. Relatório Interno, 1979.
CARVALHO, R. L. ; Communication Predicates: An Evaluation of an implementation ; Communication Predicates: An Evaluation of an implementation . Communication Predicates: An Evaluation of an implementation. Relatório Interno, 1978.
CARVALHO, R. L. ; Communication Predicates: An Evaluation of an implementation . Communication Predicates: A complete Strategy for Resolution Based Theorem Provers. Relatório Interno, 1978.
CARVALHO, R. L. ; A Review of the Church-Rosser Theorem for the Calculus ; A Universal View do Data Structures and Data Types ; A Universal View do Data Structures and Data Types . A Universal View do Data Structures and Data Types. Relatório Interno, 1978.
CARVALHO, R. L. ; A Review of the Church-Rosser Theorem for the Calculus . A Short Introduction to the - calculus with aplications. Relatório Interno, 1977.
CARVALHO, R. L. . A Model-Theoretical Approach to the Semantics od Data Types and Structures. Relatório Interno, 1977.
CARVALHO, R. L. . A Relational model for the synthesis of Data Structures. Relatório Interno, 1977.
CARVALHO, R. L. ; A Review of the Church-Rosser Theorem for the Calculus . A Review of the Church-Rosser Theorem for the Calculus. Relatório Interno PUC-RJ, 1976.
CARVALHO, R. L. . Communication Predicates: A Complete Strategy for Resolution Based Theorem provers. Relatório Interno, 1975.
CARVALHO, R. L. . Some Results in Automatic Theorem Proving with Applications in Elementary Set Theory and Topology. Relatório Interno, 1974.
CARVALHO, R. L. . On the Construction and Minimization of Finite Automata. Relatório Interno, 1971.
CARVALHO, R. L. . Simplificações de Gramáticas Livres de Contexto. Relatório Interno, 1969.
CARVALHO, R. L. . Introdução a Teoria da Computação. Relatório Interno, 1969.
CARVALHO, R. L. . Notas Introdutórias à Teoria dos Códigos. Relatório Interno - IME, 1968.
CARVALHO, R. L. . Turing Machine Construction - A Slip Application. Relatório Interno, 1968.
CARVALHO, R. L. . Enlace Oficial em Tropodifusão Rio-São Paulo. Relatório Interno do IME, 1967.

Histórico profissional

Endereço profissional

Laboratório Nacional de Computação Científica. , Avenida Getúlio Vargas, 333, Quitandinha, 25651-075 - Petropolis, RJ - Brasil, Telefone: (24) 22336123, URL da Homepage:

Experiência profissional

2001 - Atual

Laboratório Nacional de Computação Científica

Vínculo: Professor Visitante, Enquadramento Funcional: professor, Carga horária: 12

Atividades

12/2001 - 12/2003
Pesquisa e desenvolvimento .,Linhas de pesquisa

1969 - 1970

Pontifícia Universidade Católica do Rio de Janeiro

Vínculo: Professor Assistente, Enquadramento Funcional: Departamento de Informática

1963 - 1964

Escola Politécnica da Universidade de Pernambuco

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Assistente de Cálculo Avançado

Atividades

01/1963 - 12/1964
Ensino, Geometria Analítica, Nível: Graduação,Disciplinas ministradas, Geometria Analítica