Benedito Melo Acióly

Possui graduação em Bacharelado Em Matemática pela Universidade Federal de Pernambuco(1971), mestrado em Matemática pela Universidade Federal de Pernambuco(1982) e doutorado em Computação pela Universidade Federal do Rio Grande do Sul(1991). Atualmente é Professor adjunto da Universidade Estadual do Sudoeste da Bahia. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:Teoria dos Domínios, Matemática intervalar, semântica denotacional, lógica, topologia de Scott.

Informações coletadas do Lattes em 26/03/2025

Acadêmico

Formação acadêmica

Doutorado em Computação

1989 - 1991

Universidade Federal do Rio Grande do Sul
Título: Fundamentação Computacional da Matemática Intervalar
Orientador: Dalcídio Moraes Cláudio
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Teoria dos Domínios; Matemática intervalar; semântica denotacional; lógica; topologia de Scott.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Matemática Intervalar. 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 Matemática

1979 - 1982

Universidade Federal de Pernambuco
Orientador: Hidelberto Eulalio Cabral
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Forma Normal de Birkhoff.Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Física Matemática. Setores de atividade: Outros Setores.

Graduação em Bacharelado Em Matemática

1967 - 1971

Universidade Federal de Pernambuco

Idiomas

Inglês

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

Espanhol

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

Italiano

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

Francês

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

Alemão

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, 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: Computabilidade e Modelos de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Matemática Intervalar.

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: Matemática / Subárea: Álgebra.

Orientou

Roque Mendes Prado Trindade

Uma Análise Intervalar de Scott; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco,; Orientador: Benedito Melo Acióly;

Simão Rosembaum

Proposta de um Modelo de Computabilidade no Contínuo; 1998; 0 f; Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Benedito Melo Acióly;

Ricardo Bezerra de Meneses

Inteligência Computacional- Métodos Procedimentais para Pensar, Aprender e Resolver Problemas; 1998; 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: Benedito Melo Acióly;

Emmanuel Felix Lopes da Silva

Uma Proposta de uma Abordagem Conjuntista para a Análise Real; 1998; 0 f; Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Benedito Melo Acióly;

João Buarque Caminha

Intuicionismo no Contexto da Computação Científica; 1997; 0 f; Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Benedito Melo Acióly;

A Monteiro Ticiano

Uma Semântica Categórica para a Matemática Intervalar; 1996; 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: Benedito Melo Acióly;

Thelles Cerqueira de Mello

Uma Proposta para o Tipo de Dados Intervalo; 1996; 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: Benedito Melo Acióly;

Regivan Hugo Nunes Santiago

No Sentido de uma Lógica Construtiva para a Análises Real; 1995; 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: Benedito Melo Acióly;

Regivan Hugo Nunes Santiago

Teoria da Equações Intervalares Locais; 1999; 0 f; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco,; Orientador: Benedito Melo Acióly;

Benjamín René Callejas Bedregal

Sistemas de Informação Contínuos: Uma Abordagem Lógica e Computacional da Matemática Intervalar; 1996; 0 f; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Benedito Melo Acióly;

Produções bibliográficas

SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Formal Aspects of Correctness and Optimality of Interval Computations. Formal Aspects of Computing , v. 18, p. 231-243, 2006.
SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Interval Representations. Tema (São Paulo) , v. 5, p. 317-326, 2004.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Effectively Given Continuous Domain: A Computable Interval Analysis. Brazilian Electronic Journal On Mathematic Of Computation, Universidade Católica de Pelot, v. 0, n.0, p. 1-22, 1999.
ACIÓLY, B. M. ; BEDREGAL, B. R. C. . A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space. Reliable Computing , Holanda, v. 3, n.3, p. 305-313, 1997.
SANTIAGO, R. H. N. ; ACIÓLY, B. M. . A Numerical Approximation Logic. Revista de Informática Teórica e Aplicada , Porto Alegre-RS, v. 3, n.3, 1997.
ACIÓLY, B. M. ; BEDREGAL, B. R. C. ; LYRA, A. . INTRODUÇÃO A TEORIA DAS LINGUAGENS FORMAIS, DOS AUTÔMATOS E DA COMPUTABILIDADE. 1. ed. NATAL/RN: EDITORA EDIÇÕES UNP, 2002. v. 1. 244p .
TRINDADE, R. M. P. ; BEDREGAL, B. R. C. ; DOIRA NETO, A. D. ; ACIÓLY, B. M. . An Interval Metric. In: Roque Mendes Prado Trindade; Adrião Duarte Dória Neto; Benjamí René Callejas Bedregal. (Org.). Advanced Technologies. : , 2009, v. , p. -.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . An interval domain logic with application to intervala constraint satsifaction problems. In: XXV Coneferencia Latinoamericana de Informática - CLEI´99, 1999, Assunción. Memorias de XXV Coneferencia Latinoamericana de Informática - CLEI´99, 1999. p. 661-672.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Computability on the Interval Space: A Domain Approach. In: XXIII Conferencia Latinoamericana de Informática - CLEI´97, 1997, Valparaíso. Memorias de la XXIII Conferencia Latinoamericana de Informática - CLEI´97, 1997. v. II. p. 467-478.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Logic of Plotkin Continuous Domains. In: Second Latin American Symposium - LATIN´95, 1995, Valparaíso. Lectures Notes in Computer Science - LATIN´95: Theoretical Informatics. Berlin Heildelberg: Springer-Verlag, 1995. v. 911. p. 903-915.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Rational Intervals: An effectively given Information Systems. In: International Conference on Mathematical Modelling and Scientific Computation, 1993, Sozopol. Scientific Computation and Mathematical Modelling. Sofia: DATECS Publishing, 1993. p. 159-170.
ACIÓLY, B. M. . About Range of Functions. In: International AMSE Conference Signals & Systems - AMSE, 1991. Proceeding of AMSE, 1991.
ACIÓLY, B. M. . Why a New Approach of Interval Arithmetic Based on Domain Theory instead of Classic Interval Arithmetic or the Usual Floating Point One?. In: International AMSE Conference Signals & Systems - AMSE, 1991. Proceeding of AMSE, 1991.
ACIÓLY, B. M. . Some Algebraic Characteristics of a Computable Space. In: ICIAM, 1991, Washington. Proceeding of ICIAM´91, 1991.
ACIÓLY, B. M. . A New Approach of Solving Linear Systems of Equations on Real Number or Moore Interval Space. In: GAMM/IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN´91, 1991, Oldenburg. Proceeding of SCAN´91, 1991.
ACIÓLY, B. M. . The Partial Real Interval. In: GAMM/IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN´2000, 1991, Oldenburg. Proceeding of SCAN´91, 1991.
ACIÓLY, B. M. . Towards Computational Interval Mathematics. In: GAMM/IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics - SCAN´91, 1991, Oldenburg. Proceeding of SCAN´91, 1991.
ACIÓLY, B. M. ; LOPES, M. A. . Um Esboço de uma Lógica de Resolução de Problemas. In: XII SEMISH e XI Conferencia Latinoamericana de Informática - CLEI´85, 1985, Porto Alegre-RS. Anais do XII SEMISH e XI Conferência Latino Americana de Informática, 1985. p. 516-525.
ACIÓLY, B. M. ; LOPES, M. A. . Preservação da Decomposição n-ária de Problemas Através de Resolutores. In: II Simpósio Brasileiro de Inteliência Artificial - SBIA´85, 1985, Rio de Janeiro. Anais do II Simpósio Brasileiro de Inteliência Artificial - SBIA´85, 1985.
ACIÓLY, B. M. ; TRINDADE, R. M. P. . Analise Intervalar de Scott. In: ENCONTRO REGIONAL DE MATEMATICA APLICADA COMPUTACIONAL, 2002, NATAL/RN. ERMAC 2002, 2002. p. 36-37.
ACIÓLY, B. M. ; SILVA, A. F. . Igualdade Local em Domínios Contínuos Intervalares. In: Encontro Regional de Matemática Aplicada Computacional, 2002, Natal/RN. ERMAC 2002, 2002. p. 77-77.
ACIÓLY, B. M. ; AGUIAR, S. S. . Lógica bidimensional com uma semântica categórica interpretada num domínio intervalar com uma igualdade local. In: Encontro Regional de Matemática Aplicada Computacional (ERMAC 2002), 2002, Natal/RN. ERMAC 2002, 2002. p. 83-84.
SANTIAGO, R. H. N. ; ACIÓLY, B. M. . Identity and Consistency. In: XXIII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC, 2000, Santos-SP. Resumos das Comunicações, 2000.
SILVA, E. F. L. ; ACIÓLY, B. M. . Uma Proposta de uma Abordagem Local para o Tipo Real. In: XXIII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC, 2000, Santos-SP. Resumo das Comunicações, 2000.
SANTIAGO, R. H. N. ; ACIÓLY, B. M. . Interval Local Equality. In: GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (scan2000) jointly with International Conference on Interval Methods in Science and Engineering (Interval2000), 2000, Karlsruhe. scan 2000/Interval 2000: Book of Abstracts. Karlsruhe: Universitat Karlsruhe (TH)- Institut fur Angewandte Mathematik, 2000. p. 172-172.
SILVA, E. F. L. ; ACIÓLY, B. M. . An Approach to ocal Set Theory. In: GAMM-IMACS International Symposium on Scientific Computing, Computer rithmetic, and Validated Numercs (scan2000) jointly with International Conference on Interval Methods in Science and Engineering (Interval 2000), 2000, Karlsruhe. scan 2000/Interval 2000: Book of Abstracts. Karlsruhe: Universitat Karlsruhe (TH) - Institut fur Angewandte Mathematik, 2000. p. 180-180.
SANTIAGO, R. H. N. ; ACIÓLY, B. M. . A Real Number Data Type Specification. In: 2nd Panamerican Workshop on Applied anad Computational Mathematics, 1997, Gramado. II Panamerican Workshop on Applied anad Computational Mathematics: Abstracts, 1997. p. 91-91.
ACIÓLY, B. M. ; BEDREGAL, B. R. C. . An Interval Domain Logic. In: II Panamerican Workshop of Computational and Applied Mathematics, 1997, Gramado. II Panamerican Workshop of Computational and Applied Mathematics: Abstracts, 1997. p. 90-90.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . A Computability Theory on I(R). In: XX Congresso Nacional de Matemática Aplicada e Computacional - CNMAC´97, 1997, Gramado. XX Congresso Nacional de Matemática Aplicada e Computacional: Resumos, 1997. p. 84-85.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Moore-Computability. In: II Workshop on Computer Arithmetic, Interval and Symbolic Computation - WAI´96, 1996, Recife. II Workshop on Computer Arithmetic, Interval and Symbolic Computation - WAI´96: Abstracts, 1996. p. 15-18.
ACIÓLY, B. M. . The Scott Interval Analysis. In: II Workshop on Computer Arithmetic, Interval and Symbolic Computation - WAI´96, 1996, Recife-PE. Abstracts of II Workshop on Computer Arithmetic, Interval and Symbolic Computation - WAI´96, 1996. p. 4-6.
SANTIAGO, R. H. N. ; ACIÓLY, B. M. . A Numerical Approximation Logic. In: II Workshop on Computer Arithmetic, Interval and Symbolic Computation - WAI´96, 1996, Recife-PE. Abstracts of II Workshop on Computer Arithmetic, Interval and Symbolic Computation - WAI´96, 1996. p. 82-84.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Continuous Domain Logic: A Logic of Program for Interval Mathematics. In: XVII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC´94, 1994, Vitória-ES. XVII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC´94:Resumos, 1994.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Interval Linear Logic. In: First Workshop on Non-Standard Logic Aspects of Computer Science - NSL´94, 1994, Kanazawa. Abstracts of Papers NSL´94, 1994. p. 16-17.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Uma Base Teórica para a Semântica Denotacional de Programas Intervalares. In: XVI Congresso Nacional de Matemática Aplicada e Computacional - CNMAC´94, 1994, Vitória-ES. XVI Congresso Nacional de Matemática Aplicada e Computacional - CNMAC´94: Resumos, 1994.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Intervalos Reais: Um Sistema de Informação Efetivo para os Reais. In: XVI Congresso Nacional de Matemática Aplicada e Computacional - CNMAC´93, 1993, Uberlândia-MG. XVI Congresso Nacional de Matemática Aplicada e Computacional - CNMAC´93: Resumos, 1993.
ACIÓLY, B. M. . Uma Abordagem para Teoria de Intervalos. In: XIII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC´90, 1990, Rio de Janeiro. Anais do XIII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC´90, 1990.
ACIÓLY, B. M. ; BEDREGAL, B. R. C. . A ``Metric´´ Topology Compatible with Inclusion Monotonicity on Interval Space. Journal of Reliable Computing, Wurzburg-Germany, n.supplement, p. 7-8, 1996.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . An Information System Approach to Interval Mathematics. Journal of Reliable Computing, Wurzburg-Germany, n.supplement, p. 15-16, 1996.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Intervals Deductions in Continuous Domain Logic. Journal of Reliable Computing, Wurzburg-Germany, n.supplement, p. 17-18, 1996.
ACIÓLY, B. M. . Solving Algebraic Equations on Intervals. Journal of Reliable Computing, Wurzburg-Germany, n.supplement, p. 117-118, 1996.
SANTIAGO, R. H. N. ; ACIÓLY, B. M. . Intervals as Real Number Specification. Journal of Reliable Computing, Wurxburg-Germany, n.supplement, p. 99-100, 1996.
BEDREGAL, B. R. C. ; ACIÓLY, B. M. . A Computability Theory on the Interval Space. 1998. (Apresentação de Trabalho/Congresso).

Outras produções

ACIÓLY, B. M. . Notas de Aula em Teoria de Linguagens de Programação. 2000. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

ACIÓLY, B. M. . Notas de Aula em Linguagens de Programação e Estruturas de Dados: Uma abordagem com tipo abstrato de dados. 1999. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

ACIÓLY, B. M. ; BEDREGAL, B. R. C. . Notas de Aula em Teoria da Computação. 1998. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

BEDREGAL, B. R. C. ; ACIÓLY, B. M. . Notas de Aula em Lógica Aplicada à Computção. 1998. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

ACIÓLY, B. M. . Notas de Aula em Algoritmos . 1998. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

ACIÓLY, B. M. . Topologia: Um misto de visão clássica e moderna. 1991. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

Histórico profissional

Endereço profissional

Universidade Estadual do Sudoeste da Bahia, Faculdade de Formação de Professores de Vitória da Conquista, Departamento de Ciências Exatas. , Estrada do Bem Querer Km 4, 45000-000 - Vitoria da Conquista, BA - Brasil, Telefone: (77) 4248651, URL da Homepage:

Experiência profissional

2003 - 2006

Faculdade Independente do Nordeste

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

2001 - 2005

Faculdade de Tecnologia e Ciências

Vínculo: CLT, Enquadramento Funcional: Coordenador de curso de Graduaçao, Carga horária: 20

1999 - 2000

Universidade Estadual do Sudoeste da Bahia

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

Atividades

07/2001
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Teoria dos conjuntos, Análise real, Geometria analítica, Lógica
03/2000
Ensino, Mestrado Em Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria da computação
01/1999
Pesquisa e desenvolvimento , Faculdade de Formação de Professores de Vitória da Conquista, Departamento de Ciências Exatas.,Linhas de pesquisa
01/1999 - 11/2000
Ensino, Ciência da computação, Nível: Graduação,Disciplinas ministradas, Análises Real, Lógica, Teoria da Computação, Teoria e Linguagens de Programação

1997 - 1998

Universidade Federal do Rio Grande do Norte

Vínculo: Professor Visitante, Enquadramento Funcional: Professor titular, Carga horária: 0, Regime: Dedicação exclusiva.

Atividades

03/1997 - 12/1998
Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Linhas de pesquisa
03/1997 - 12/1998
Ensino,,Disciplinas ministradas, Lógica Aplicada à Computação, Teoria da Computação, Computação Gráfica, Linguagens de Programação, Análise de Algoritmo
03/1997 - 12/1998
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos Avançados em Matemática Computacional, Banco de Dados Não Convencionais, Tópicos Avamçados em Teoria e Inteligência Computacional

1997 - 1998

Universidade Federal da Paraíba

Vínculo: Colaborador, Enquadramento Funcional: Professor Associado (sem vínculo empregatício, Carga horária: 0

Outras informações:
Parte do programa de mestrado em Filosofia

Atividades

03/1997 - 12/1998
Ensino, Filosofia (Ufpe-Ufpb-Ufrn), Nível: Pós-Graduação,Disciplinas ministradas, Teoria dos Modelos, Fundamentos da Teoria dos Conjuntos

1972 - 1980

Universidade Católica de Pernambuco

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor titular, Carga horária: 20

Outras informações:
Lotado no Departamento de Matemática

Atividades

03/1972 - 12/1980
Ensino,,Disciplinas ministradas, Cálculo, Cálculo Diferencial e Integral, Geometria Analítica, Análise Real, Álgebra Abstrata, Equações Diferenciais Parciais, Cálculo Operacional

1971 - 1982

Universidade Federal de Pernambuco

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

Outras informações:
Lotado no Departamento de Matemática

Atividades

08/1991 - 07/1996
Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática.,Linhas de pesquisa
08/1991 - 07/1996
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria da Computação, Teoria dos Modelos, Álgebra Universal, Inteligência Artificial, Concorrência, Lógica Categórica, Semântica Denotacional de Linguagens de Programação
03/1982 - 07/1996
Ensino,,Disciplinas ministradas, Lógica, Teoria dos Grafos, Álgebra Aplicada à Computação, Álgebra Booleana, Funções Recursivas, Linguagens Formais, Matemática Computacional, Teoria Geral de Sistemas, Teoria da Especificação, Análise de Sinais
03/1971 - 02/1982
Ensino,,Disciplinas ministradas, Geometria Analítica, Cálculo Diferencial e Integral, Álgebra Linear, Equações Diferenciais Parciais, Análise Real, Cálculo Operacional, Álgebra Abstrata