Manoel Agamemnon Lopes

Becharelado em Matemática pela Universidade Federal de Pernambuco (1969), possui graduação em Licenciatura em Matemática pela Universidade Federal de Pernambuco (1971), Mestrado em Matematica pela Universidade Federal de Pernambuco (1972) e Doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1981). Atualmente é professor adjunto da Universidade Federal de Alagoas. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação e inteligência Artificial, atuando principalmente nos seguintes temas: computabilidade, problemas e decomposição de problemas, solução e especificação de problemas, Algoritmos Genéticos: teoria e aplicações. Atualmente tem desenvolvido pesquisa na Área de Algoritmo Gentetico e Computação Evolucionária

Informações coletadas do Lattes em 09/04/2024

Acadêmico

Formação acadêmica

Doutorado em Informática

1976 - 1981

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: INTRODUCAO UMA TEORIA GERAL DE PROBLEMAS
PAULO AUGUSTO VELOSO. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Problemas; Recomposicao; Solubilidade.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. Setores de atividade: Informática.

Mestrado em Mestrado Em Matematica

1970 - 1972

Universidade Federal de Pernambuco
Orientador: ROBERTO RAMALHO
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra / Área: Matemática.

Especialização em Especialização Em Gestão de Departamento Acadêmico

1974 - 1975

Universidade Federal de Pernambuco

Graduação

1968 - 1971

Universidade Federal de Pernambuco

Graduação em Bel Em Matemática

1966 - 1969

Universidade Federal de Pernambuco

Idiomas

Inglês

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

Espanhol

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

Francês

Compreende Pouco, Fala Pouco, Lê 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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da 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: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Orientou

Antonio Carlos de Albuquerque

Uma Lógica Proposicional de Resolução de Problemas; 1998; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Manoel Agamemnon Lopes;

Vera Lúcia Prudência dos Santos

Uma Metodologia para Resolução de Problemas do tipo Determine; 1997; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Manoel Agamemnon Lopes;

Gilson Oliveira dos Santos

Uma Metodologia de Resolução de Problemas via refinamento da Especificação; 1996; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba,; Orientador: Manoel Agamemnon Lopes;

Nícia Cristina Riccio Rocha

Sobre a Questão da Formalização da Lógica Abdutiva via Sistema Dedutivo com Rótulo; 1995; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Manoel Agamemnon Lopes;

Adriano Pedrosa de Almeida

Especificação e Solubilidade Classes de Problemas com Paradigmas e Classes Nomeáveis; 1990; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Manoel Agamemnon Lopes;

Benjamim Callejas Bedregal

intitulada Especificação de Problemas Solúveis por Decomposição via Análise da Intencionalidade; 1987; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Manoel Agamemnon Lopes;

Ivan Pedro da Silva

Uma visão da Teoria de Banerji através da Teoria Geral de Problemas; 1985; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco,; Orientador: Manoel Agamemnon Lopes;

Wilson de Oliveira Rosa

Especificação e Característica dos Problemas Solúveis por Decomposição; 1985; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Manoel Agamemnon Lopes;

Roberta Vilhena Vieira

Um Modedo de Algoritmos Genético via Tipos Abstrato de Dados; 2003; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Manoel Agamemnon Lopes;

Benedito Melo Acióly

Fundamentação Computacional da Análise Intervalar; 1990; 0 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Manoel Agamemnon Lopes;

Produções bibliográficas

LOPES, M. A. ; VIEIRA, R. V. . Alinhamento Multipli de Sequencia de DNA via Algoritmo Genético, ENIA2001, Fortaleza CE, 2001.
LOPES, M. A. ; VIEIRA, R. V. . A Construction of Phylogenetic Trees by Genetic Algorithms , 2000 ICMETMBS, Las Vegas, 2000.
LOPES, M. A. ; VIEIRA, R. V. . An application of Abstract Data Types in the Genetic Algorithms Construction; the exemple of the Traffic Light control Problem , III CITS-IEEE Dearborn USA, 2000.
LOPES, M. A. ; VIEIRA, R. V. . An Application of Abstract Data Types in the Genetic Algoritms Construction: The Exemple of the Traveling Salesman Problem, Conf. Soc. Chile de Computaçã, 1999.
LOPES, M. A. ; COSTA, E. B. . Ambientes de Aprendizagem Interativa: Uma Abordagem teórica , I ENIE - Brasília DF, 1997.
LOPES, M. A. ; COSTA, E. B. ; FERNEDA, E. . MATHEMA: A Learning Environment Based on a Multi-Agent Architecture. Revista Tecnológica, 1995.
LOPES, M. A. . Uma Visão Epistemológica da Aquisição do Conhecimento: o exemplo da tecnologia., Rev. Tecn. de Transporte UFPB, 1994.
LOPES, M. A. ; BECREGAL, B. C. . Sistemas de Informação via sistemas Semânticos., XX Conf L de Inf-Mexico, 1994.
LOPES, M. A. ; BREDEGAL, B. C. . Alguns Aspectos de Sistemas de Informação via Sistemas Semânticos., JAIO-Bueno Aires AG, 1993.
LOPES, M. A. ; BEDREGAL, B. C. . Decomposição de Problemas: Uma solução de um Problema Interessante da Teoria dos Números. XI Congresso Nacional de Matemática Aplicada e Computação (SBMAC), Ouro Preto, ago/88 - M.A.Lopes & B.R.C.Bredegal Decomposição de Problemas: Uma solução de um Problema Interessante da Teoria dos Números., XI CNMA - Ouro Preto MG, 1988.
LOPES, M. A. ; VELOSO, P. . Operations On Problems And Their Solution Spaces. VI EUROPEAM MEETING OF CYBERNETICS AND SYSTEMS RESEARCH, Bellgica 1983, p. 0-0, 1983.
VELOSO, P. ; LOPES, M. A. . On Problem Solvability via Homomorphism And Anology, p. 0-0, 1983.
VELOSO, P. ; LOPES, M. A. . Sorting By Divide And Conquer Data Types: An Exemple Of Problem Solving. VII CONFERENCAI LATINO AMERICANA DE INFORMATICA, p. 0-0, 1980.
LOPES, M. A. . INTRODUÇÃO À AGROINFORMÁTICA. 1. ed. Maceió: Editora da Universidade Federal de Alagoas, 2005. 127p .
LOPES, M. A. . Pesolucao de Problemas: Teoria e Metodologia. RECIFE: SUDENE, 1987. 00108p .
LOPES, M. A. ; CRESCENCIA NETO, V. . Introducao A Analise Numerica.. RECIFE: DEPTO DE INFORMATICA DA UFPE, 1983. 00096p .
LOPES, M. A. . ANTOLOGIA DE POETAS NORDESTINOS. Recife: Edições Micros, 2000 (POESIA).
LOPES, M. A. . Canto do Chão. Recife: Editora Universitária da UFPE, 1995 (POESIA).

Outras produções

LOPES, M. A. . CANTO DO CHÃO. 1995.

Histórico profissional

Endereço profissional

Universidade Federal de Alagoas. , Campus Delza Gitaí BR 104 N Km 85, Rio Largo, 57100-000 - Rio Largo, AL - Brasil, Telefone: (082) 32611351, URL da Homepage:

Experiência profissional

2000 - 2001

Universidade Federal de Alagoas

Vínculo: Bolsista EV/CNPq, Enquadramento Funcional: Especialista Visitantes, Carga horária: 40

Atividades

04/2002
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Naturais, Departamento de Matemática Aplicada.,Linhas de pesquisa
04/2002
Ensino, Bacharelado Em Ciencia da Computaçao, Nível: Graduação,Disciplinas ministradas, Teoria da Computaçao
03/2002
Ensino, Engenharia Agronomica, Nível: Graduação,Disciplinas ministradas, Processamento de Dados e Informatica na Agricultura
04/2000
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Naturais, Departamento de Matemática Aplicada.,Linhas de pesquisa

1998 - 1999

Associação Pernambucana de Ensino Superior

Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 20

Atividades

12/1998 - 09/1999
Direção e administração, Faculdade de Informatica, Curso de Tecnologia da Informaçao.,Cargo ou função, Coordenador de Curso.
10/1998 - 03/1999
Ensino, Tecnologia da Informaçao, Nível: Graduação,Disciplinas ministradas, Calculo Numerico, Logica

1995 - 2001

Fundação Universitária de Jaboatão dos Guararapes

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

Outras informações:
Socio

Atividades

08/2001 - 12/2001
Ensino, Bacharelado Em Ciencia da Computaçao, Nível: Graduação,Disciplinas ministradas, Teoria da Computaçao
05/1995 - 12/2001
Direção e administração, Facuuldade de Informatica, Curso de Bacharelado Em Ciencia da Computaçao.,Cargo ou função, Diretor de Unidade.
05/1995 - 12/2001
Conselhos, Comissões e Consultoria, Facuuldade de Informatica, Curso de Bacharelado Em Ciencia da Computaçao.,Cargo ou função, Membro de conselho superior.

1994 - 1996

Universidade Federal da Paraíba

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Adjunto, Carga horária: 40

Atividades

12/1994 - 11/1996
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria da Computação, Teoria dos Modelos, Teoria da Especificação, Introdução à Teoria Geral dos Problemas

1970 - 1993

Universidade Federal de Pernambuco

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

Atividades

03/1970 - 12/1993
Ensino, Bel Em Matemática, Nível: Graduação,Disciplinas ministradas, Cálculo Numérco, Introdução à Análise Numérica, Álgebra Aplicada à Computação, Lógica aplicada à Computação, Computador e Sociedade, Teoria da Comptação, Introdução às Funções Recursivas
03/1974 - 11/1993
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria da Computação I, Teoria da Computação II, Programação em Lógica, Semântica de Programação e Teoria dos Domínios, Teoria da Especificação, Teoria dos Modelos, Álgebra Universal
09/1973 - 06/1993
Ensino, Bacharelado Em Ciencia da Computaçao, Nível: Graduação,Disciplinas ministradas, Introduçao a Computaçao, Calculo Numerico, Algebra Aplicada a Computaçao, Introduçao a Analise Numerica, Estudos dos Problemas Brasileiros, Teoria da Computaçao
03/1970 - 06/1993
Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática.,Linhas de pesquisa
12/1983 - 11/1987
Direção e administração, .,Cargo ou função, CHEFE DO DEPARTAMENTO DE INFORMATICA..
02/1973 - 06/1975
Direção e administração, Centro de Ciências Exatas e da Natureza, Departamento de Estatística.,Cargo ou função, Chefe de Departamento de Estatítica e Informática.