Jorge Lopes de Souza Leão

Possui graduação em Engenharia Eletrônica pela Universidade Federal do Rio de Janeiro (1972), mestrado em Engenharia Elétrica pela COPPE/UFRJ (1978) e doutorado em Automação / Engenharia Elétrica pela Université de Toulouse III (Paul Sabatier) (1983). Trabalhou como professor associado 4 da Universidade Federal do Rio de Janeiro, lotado e atuando no PEE/COPPE desde maio de 1975 até aposentar-se em 29 de abril de 2021. Tem experiência na área de Automação, Ciência da Computação, desenvolvimento de software e IoT. Atualmente trabalha como Especialista em Software na Intelie (a Viasat Company).

Informações coletadas do Lattes em 08/01/2026

Acadêmico

Formação acadêmica

Doutorado em Automatique

1980 - 1983

Université Toulouse III Paul Sabatier
Título: Commande numérique du profil spatio-temporel dun réacteur dépitaxie en phase liquide.
Orientador: Jean-Pierre Babary
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Epitaxia Em Fase Liquida; Redes de Petri; Controle Por Computador.Grande área: EngenhariasSetores de atividade: Pesquisa e desenvolvimento científico.

Mestrado em UFRJ COPPE-PEE Programa de Engenharia Elétrica

1973 - 1978

Universidade Federal do Rio de Janeiro
Título: ANALISE DE CAPACITORES MOS, Ano de Obtenção: 1978
Orientador: LUIS PEREIRA CALOBA
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Amplificador Lock-In; Capacitores Mos; Controle Digital; Curva C-V.Grande área: Engenharias

Graduação em Engenheiros Eletrônicos

1968 - 1972

Universidade Federal do Rio de Janeiro

Idiomas

Inglês

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

Espanhol

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

Francês

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

Á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.

Orientou

Salomão Gonçalves de Oliveira Junior

Desenvolvimento de um Robô com Rodas Autônomo; 2008; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Coorientador: Jorge Lopes de Souza Leão;

Sônia Cristina Bastos de Souza

Planejamento de Trajetória para um Robô Móvel com Duas Rodas Utilizando um Algoritmo A-Estrela Modificado; 2008; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Coorientador: Jorge Lopes de Souza Leão;

Yuri Barwick Lannes de Camargo

Abordagem Lingüística na Classificação de textos em Português; 2007; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Laila Beatrtiz Soares Melo

Reconhecimento de Padrões Textuais para Categorização Automática de Documentos; 2007; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Marcio Elkind

Um Sistema Confiável de Distribuição de Mídia; 2006; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Orlens da Silva Melo

Um sistema de Comunicação sem Fio para a Aquisição de Dados em Ambiente Fabril; 2005; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Roberto Bomeny Maia

Detecção da Intrusão Utilizando Classificação Bayesiana; 2005; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Antonio Alexandre de Castro Soares

Detecção de intrusão utilizando modelos neuro-difusos; 2005; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

André Luiz Duarte Cavalcante

Uma Arquitetura Aberta para a Integração de Dados do Ambiente Fabril com os Níveis Superiores da Empresa; 2005; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Fagundes Pareira da Silva

Um benchmark para sistemas de gerenciamento de fluxo de trabalho; 2004; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Gardel Moreira Delfino

Um Compilador de Restrições Temporais para a Linguagem Estelle; 2003; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

José Valentim dos Santos Filho

Um simulador para Estelle tempo real; 2002; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Coorientador: Jorge Lopes de Souza Leão;

Rodrigo de Carvalho Roman

Um editor visual para o auxílio a especificação de protocolos de comunicação com restrições temporais; 2001; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Coorientador: Jorge Lopes de Souza Leão;

Ezequiel José Guedes Fernandes

Especificação e verificação modular hierárquica de sistemas concorrentes; 2001; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Jorge Luis Machado do Amaral

Programação em lógica fuzzy: um sistema formal e um interpretador; 1999; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

João Paulo Gonsiro Nocao

Implementação do modelo X-BIND na plataforma 7000HD/3COM; 1999; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Silvia Mara da Costa Campos Victer

Contribuições para um sistema de gerenciamento de workflow transacional para a www; 1999; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Antonio Carlos Fernandes Nunes

A Estrutura das Aplicações no Sistema W4 de Gerenciamento de Workflow; 1998; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Jorge Duarte Pires Valerio

Aquisição de Conhecimento Auxiliada por Computador; 1997; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Mônica de Rezende

Descrição e Implementação de Apresentações Multimídia Pré-Orquestradas Interativas; 1997; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Agilberto Pessoa da Silva

Escalamento Heurístico Baseado Em Lógica Difusa; 1995; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Miguel Grimm do Nascimento

Uma Interface de Programação de Aplicações Para Sistemas Distribuídos; 1995; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Marcelo Averbuch

Aplicação do Método de Tableau Para Lógica Temporal À Verificação de Programas Concorrentes; 1994; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Eduardo Compasso Arbex

Controle Híbrido de Posição de Força para um Manipulador Robótico; 1993; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

João Bosco Mangueira Sobral

LDHL - Uma Linguagem Lógica para Verificação de Circuitos Digitais; 1993; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Frederico Celestino Pontes

Lacy Wanderley Egydio Romão

Aplicação de uma metodologia de programação à automação de uma planta piloto de sinterização; 1992; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

João Araujo Ribeiro

Projeto orientado a objetos de um executivo multitarefa para o modo protegido do 80386; 1992; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Ricardo Abraham Wehbe

Verificação de programas CRIS através de transformadores de predicados; 1992; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Márcio Oliveira Rocha

Processamento de uma Linguagem Semi-formal visando a Verificação de Programas de Automação Industrial; 1992; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

LUIS MALTAR CASTELLO BRANCO

Verificacao de Corretude de Programas Cris Usando Logica Temporal; 1991; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

MAGUI PELAYO FERREIRA GONCALVES

Uma Arquitetura Vlsi Para Execucao de Lisp; ; 1991; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

CARLOS ROBERTO BASTOS

Um Ambiente Para A Execucao da Linguagem Cris; 1991; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

CLAUDIO GENTILE

Seguranca de Funcionamento: Estudo de Caso Aplicado Ao Controle de Trafego de Trens No Metro do Rio de Janeiro; 1990; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

HANS DIETMAR KOHWALTER

Nucleo Para Sistema Operacional Em Tempo Real Para O Microprocessador 80386; ; 1990; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

ROBERTO GUIMARAES LINS

Sistema de Desenvolvimento Para Processamento Digital de Sinais Em Tempo Real; 1990; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

JOAO AMARO BAPTISTA PEREIRA

Seguranca de Funcionamento de Arquiteturas Baseadas Em Computadores Nao Tolerantes A Falhas; ; 1990; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

ROBERTO GUIMARAES LINS

Sistema de Desenvolvimento para Processamento Digital de Sinais em Tempo Real; 1990; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Coorientador: Jorge Lopes de Souza Leão;

Marco Antonio Busetti de Paula

Contribuicoes Para O Desenvolvimento de Uma Linguagem de Controle de Robos: Licor; ; 1989; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

RICARDO MARCELO SAMPAIO

Sistema Gerador de Mares Para Modelos Reduzidos de Hidraulica; 1989; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Alexandre Baptista Magalhaes

Um Executivo de Tempo Real Baseado Em Portas; 1989; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

MANUAL AUGUSTO PINTO CARDOSO

Um Compilador Para A Execucao Sequencial da Liguagem Cris; ; 1989; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

RICARDO MARCELO SAMPAIO

Sistema Gerador de Marés para Modelos Reduzidos de Hidráulica; 1989; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Flávio Joaquim de Souza

Anapetri: Um Analisador de Redes de Petri; 1988; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

LUIZA MACEDO MOURELLE

Contribuicoes Para Definicao de Uma Arquitetura Voltada Para A Execucao de Lisp; ; 1988; Dissertação - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Nival Nunes de Almeida

Contribuição para a Definição de uma Linguagem de Automata Comunicantes; 1988; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Antonio Carneiro de Mesquita Filho

Aspectos Computacionais da Resolução Numérica e Controle de um Sistema Descrito por uma Equação Diferencial Parcial; 1987; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Coorientador: Jorge Lopes de Souza Leão;

Edson H

Watanabe; Controle Digital de um Forno de Difusão; 1976; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Alexandre Sztajnberg

Flexibilidade e separação de interesses para concepção e evolução de sistemas - O framework R-Rio; 2002; Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Orlando Bernardo Filho

Verificação de Protocolos de Comunicação com Lógica Nebulosa; 1999; Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Coorientador: Jorge Lopes de Souza Leão;

Nival Nunes de Almeida

Modularidade e Composicionalidade de Sistemas Concorrentes; 1997; Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

João Bosco Mangueira Sobral

Uma Linguagem Para Especificação de Sistemas Distribuídos Em Alto Nível de Abstração; 1994; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Orientador: Jorge Lopes de Souza Leão;

Sérgio Vianna Fialho

Uma Técnica Heurística para Verificação Semi-automática de Sistemas Distribuídos; 1992; Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro,; Coorientador: Jorge Lopes de Souza Leão;

Produções bibliográficas

VIEIRA, KLEBER ; KOCH, FERNANDO L. ; SOBRAL, JOAO BOSCO M. ; WESTPHALL, CARLOS BECKER ; LEAO, JORGE LOPES DE SOUZA . Autonomic Intrusion Detection and Response Using Big Data. IEEE Systems Journal , v. 14, p. 1984-1991, 2020.
Carlos Otávio Schocair Mendes ; LEAO, J. L. S. ; PEDROZA, A. C. P. . Arquitetura e serviços para EaD no SBTVD com escalabilidade. ETD : Educação Temática Digital , v. 12, p. 174-197, 2011.
Bernardo Filho, O. ; PEDROZA, A. C. P. ; LEAO, J. L. S. . Uma ferramenta para verificação de sistemas distribuídos com lógica nebulosa: implementação e experiências. Controle & Automação (Impresso) , v. 12, p. 102-117, 2001.
PEDROZA, A. C. P. ; LEAO, J. L. S. ; FIALHO, J. L. ; V, S. . Linguagens Para Especificacao de Sistemas Distribuidos Em Automacao Industrial. REVISTA SBA: CONTROLE E AUTOMACAO, v. 2, n.2, p. 0-0, 1988.
LEAO, J. L. S. ; BABARY, J. . Modelling And Numerical Simulation Of An Epitaxial Reactor. MATHEMATICS AND COMPUTERS IN SIMULATION, v. XXVI, n.3, p. 210-217, 1984.
Maia, Roberto B. ; Soares, A. Alexandre de C. ; LEAO, J. L. S. . Utilização da Lógica Difusa na Detecção da Intrusão. In: Workcomp, 2004, Florianópolis. Workcomp, 2004.
Delfino, G. M. ; Roman, R. C. ; Santos Filho, J. V. ; LEAO, J. L. S. ; PEDROZA, A. C. P. . An integrated toolset for the design of protocols with QoS requirementes (ProtCAD/RT). In: Proceedings PROMS 2000 - Protocols for Multimedia Systems, 2000, Cracóvia - Polônia. Proceedings PROMS 2000 - Protocols for Multimedia Systems, 2000. v. 1. p. 110-116.
Bernardo Filho, O. ; Fernandez, M. P. ; PEDROZA, A. C. P. ; LEAO, J. L. S. . Uma Técnica com Lógica Nebulosa para Verificação de um Protocolo de Gerência Hierárquica de Redes. In: 16 Simpósio Brasileiro de Redes de Computadores (SBRC'98), 1998, Rio de Janeiro - RJ. 16 Simpósio Brasileiro de Redes de Computadores (SBRC'98), 1988.
Bernardo Filho, O. ; PEDROZA, A. C. P. ; LEAO, J. L. S. . Uma Técnica com Lógica Nebulosa para Verificação de sistemas distriuídos. In: XII CBA, 1998, Uberlândia - MG. XII CBA, 1998.
SOBRAL, J. B. M. ; LEAO, J. L. S. ; PEDROZA, A. C. P. ; Westphal, C. B. . Integrating CCS and Z languages for specifying distributed systems. In: First Workshop on Systems Design Languages, 1997, San Jose - Califórnia - EUA. First Workshop on Systems Design Languages, 1997.
FIALHO, S. V. ; LEAO, J. L. S. ; PEDROZA, A. C. P. . A Formal Technique For Specification And Verification Of Distributed Systems And Its Application In Manufacturing Automation. In: 38th Midwest International Symposium (IEEE), 1994.
SOBRAL, J. B. M. ; LEAO, J. L. S. ; PEDROZA, A. C. P. . Especificando Software de Telecomunicações Em Z Com Agentes. In: 13 Simpósio Brasileiro de Telecomunicações, 1994.
SOBRAL, J. B. M. ; LEAO, J. L. S. ; P, P. A. C. . Especificando Protocolos Em Z Com Agentes. In: 13 Simpósio de Redes de Computadores, 1994.
FIALHO, S. V. ; Courtiat, J.P. ; PEDROZA, A. C. P. ; LEAO, J. L. S. . A Partial Reachability Graph Generation Technique for the Verification of ESTELLE* Specifications. In: 11 Simpósio Brasileiro de Telecomunicações, 1993, Natal - RN. 11 Simpósio Brasileiro de Telecomunicações, 1993.
FIALHO, S. V. ; LEAO, J. L. S. ; PEDROZA, A. C. P. . Formal Methods for the Specification and Verification of Distributed Systems. In: International Symposium on Circuits and Systems - ISCAS'92, 1992, San Diego - Califórnia - USA. International Symposium on Circuits and Systems - ISCAS'92, 1991.
LEAO, J. L. S. ; Maltar C. B., L. . Definição de uma Lógica Temporal para Verificação de programas CRIS. In: 9 Congresso Brasileiro de Automática, 1992, Vitória - ES. 9 Congresso Brasileiro de Automática, 1992.
Bernardo Filho, O. ; PEDROZA, A. C. P. ; LEAO, J. L. S. . O verificador de um sistema de auxílio ao projeto de protocolos. In: 9 Congresso Brasileiro de Automática, 1992, Vitória - ES. 9 Congresso Brasileiro de Automática, 1992.
FIALHO, S. V. ; LEAO, J. L. S. ; PEDROZA, A. C. P. . Especificação e verificação formal de uma célula flexível de montagem. In: 9 Congresso Brasileiro de Automática, 1992, Vitória - ES. 9 Congresso Brasileiro de Automática, 1992.
LEAO, J. L. S. . Csp*: Um Dialeto Csp e Sua Aplicacao A Especificacao de Protocolos.. In: ANAIS DO IX SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 1991. FLORIANOPOLIS/SC. p. 0-0.
LEAO, J. L. S. . Uma Ferramenta Para Verificacao Automatica de Programas Concorrentes Com Aplicacao Em Automacao Industrial. In: ANAIS DO VIII CONGRESSO BRASILEIRO DE AUTOMATICA, 1990. BELEM / PA. p. 0-0.
LEAO, J. L. S. . A State Based Language For Discrete Control And The Verification Of Its Programs. In: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, 1989. PORTLAND/OREGON,USA. p. 0-0.
LEAO, J. L. S. . Uma Ferramenta Para Verificacao Automatica de Programas Concorrentes. In: VII SIMPOSIO BRASILEIRO DE TELECOMUNICACOES, 1989. FLORIANOPOLIS/SC. p. 0-0.
LEAO, J. L. S. . A Analise de Programas Cris Atraves Redes de Petri. In: III SIMPOSIO DE COMPUTADORES TOLERANTES A FALHAS, 1989. RIO DE JANEIRO/RJ. p. 0-0.
LEAO, J. L. S. . Linguagens Para Especificao de Sistemas Distribuidos Em Automacao Industrial. In: SEMINARIO DE AUTOMACAO INDUSTRIAL, 1987. FLORIANOPOLIS / SC. p. 0-0.
LEAO, J. L. S. . Simulation Numerique Pe La Commande D'Un Profil Thermique Spatio-Temporel Dans Un Reacteur D'Epitaxie.. In: IMACS LXXXIII SIMULATION DANS LES SCIENCES POUR LINGENIEUR, 1983. FRANCA. p. 0-0.
LEAO, J. L. S. . Automatic Sequencer For The Control Of A Liquid Phase Epitaxy Furnace. In: III RD IFAC/IFIP SYMPOSIUM ON SOFTWARE FOR COMPUTER CONTROL, 1982. ESPANHA. p. 0-0.
LEAO, J. L. S. . Estudo de Um Sistema de Classificacao Para Instrumentos de Medidas. In: ANAIS DO III SEMINARIO DE INSTRUMENTACAO DO IBP, 1979. SALVADOR / BA. p. 0-0.
LEAO, J. L. S. . Analise de Capacitores Mos. In: XXXL REUNIAO ANUAL DA SBPC, 1979. FORTALEZA / CE. p. 0-0.
LEAO, J. L. S. . Controle Digital do Perfil de Temperatura de Um Forno de Difusao. In: REUNIAO REGIONAL SUL DA SOCIEDADE BRASILEIRA PARA O PROGRAMA DA CIENCIA, 1977. FLORIANOPOLIS/SC. p. 0-0.

Outras produções

LEAO, J. L. S. . "Sistema de Monitoracao da Margem de Resfriamento do Nucleo" (Do Leator de Angra I). 1986.

Histórico profissional

Endereço profissional

Universidade Federal do Rio de Janeiro, Instituto Alberto Luiz Coimbra de Pós Graduação e Pesquisa de Engenharia. , sala 321, bloco H, Centro de Tecnologia, Cidade Universitária, Ilha do Fundão, 21941914 - Rio de Janeiro, RJ - Brasil - Caixa-postal: 68504, Telefone: (021) 25628625, Fax: (021) 25628627, URL da Homepage:

Experiência profissional

1975 - 2021

Universidade Federal do Rio de Janeiro

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 4, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Aposentado em 29 de abril de 2021.

Atividades

05/1975
Pesquisa e desenvolvimento, Instituto Alberto luiz Coimbra de Pós Graduação e Pesquisa de Engenharia -, Programa de Engenharia Elétrica PEE.,Linhas de pesquisa
05/1975
Ensino, Doutorado em Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, INTRODUCAO A LOGICA, INTRODUCAO A INTELIGENCIA ARTIFICIAL, PROGRAMACAO EM TEMPO REAL, ORGANIZACAO E PROGRAMACAO DE MICR-COMPUTADORES I.
07/1987 - 06/1990
Direção e administração, COPPE, PEE.,Cargo ou função, Coordenador de Programa.