Comissão de Pesquisa e Inovação do IME-USP - Pesquisador Colaborador concluído

Claudio Andrés Callejas Olguín

Possui graduação em Ingeniería de Ejecución en Computación e Informática pela Universidad Mayor (Chile, 2010), revalidado como Bacharelado em Ciência da Computação pela Universidade Federal do Rio Grande do Norte (2013), mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2012) e doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Norte (2016). Atualmente é professor adjunto C4 da Universidade Federal Rural do Semi-Árido. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação e Lógica, atuando principalmente nos seguintes temas: computabilidade, teoria dos domínios e lógica fuzzy. (Texto informado pelo autor)

  • http://lattes.cnpq.br/6212733101266338 (04/07/2023)
  • Rótulo/Grupo:
  • Bolsa CNPq:
  • Período de análise:
  • Endereço: Universidade Federal Rural do Semi-Árido, UFERSA - Campus Pau dos Ferros. BR 226, KM 405 São Geraldo 59900000 - Pau dos Ferros, RN - Brasil Telefone: (84) 33178525 Ramal: 4355 URL da Homepage: http://ufersa.edu.br/
  • Grande área: Ciências Exatas e da Terra
  • Área: Ciência da Computação
  • Citações: Google Acadêmico

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

Organização de eventos

Lista de colaborações

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

  • Total de projetos de pesquisa (3)
    1. 2018-2021. Uma cartografia das bi-implicações fuzzy
      Descrição: Em lógica fuzzy (ou lógica difusa) os conectivos lógicos mais utilizados da lógica clássica têm sido generalizados para serem valorados no intervalo [0,1]. Alguns exemplos de conectivos da lógica fuzzy são: as t-normas, as t-conormas, as negações fuzzy, as implicações fuzzy e as bi-implicações fuzzy, que generalizam, respectivamente, a conjunção, a disjunção, a negação, a implicação e a bi-implicação da lógica clássica. Este projeto visa estudar e propor distintas classes de bi-implicações fuzzy e investigar a relação entre elas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Claudio Andrés Callejas Olguín - Integrante / Benjamín René Callejas Bedregal - Integrante / Joao Marcos de Almeida - Integrante / Regivan Hugo Nunes Santiago - Integrante / Antonio Diego Silva Farias - Coordenador. Financiador(es): Universidade Federal Rural do Semi-Árido - Auxílio financeiro.
      Membro: Claudio Andrés Callejas Olguín.
    2. 2018-Atual. Por uma nova hierarquia em Lógica Algébrica Abstrata
      Descrição: Proposta e justificação teórica de uma nova hierarquia na área de lógica algébrica abstrata baseada no tipo de ordem das semânticas algébricas subjacentes.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Claudio Andrés Callejas Olguín - Coordenador.
      Membro: Claudio Andrés Callejas Olguín.
    3. 2013-2016. GeVe - Generalizações de Verofuncionalidade (Edital Universal CNPq No 14/2013 faixa C)
      Descrição: O _Princípio de Composicionalidade do Significado_ (PCS) para linguagens formais, de inspiração fregeana, pode ser compreendido como asseverando que o significado de uma expressão composta é analisável deterministicamente (e, com frequência, recursivamente) a partir do significado de suas expressões constituintes, levando em consideração o modo pelo qual tais constituintes são combinadas de modo a formar a expressão composta. De um ponto de vista lógico, isto consiste na prescrição de uma restrição ---que pode ou não ser respeitada--- aos mecanismos internos que constroem e dão significado a um dado sistema formal. Nos domínios da semântica formal e da estrutura das derivações lógicas, o PCS costuma ser diretamente refletido por metapropriedades importantes como a _verofuncionalidade_ e a _analiticidade_, características de sistemas lógicos computacionalmente bem-comportados. O projeto *GeVe* é dedicado ao estudo de várias formas bem motivadas através das quais as propriedades e metapropriedades mais atraentes das lógicas verofuncionais podem ser alargadas de modo a cobrir terrenos lógicos mais amplos. A ubiquidade do uso das lógicas não-clássicas na formalização do raciocínio prático exige a formulação de teorias do significado e da composicionalidade mais flexíveis do que as usuais, teorias estas que permitam o estabelecimento de bases mais inclusivas para a compreensão de tais lógicas. Tais investigações pressupõem não apenas o desenvolvimento de arcabouços adequados desde as perspectivas da Teoria dos Modelos, da Teoria das Demonstrações e da Lógica Universal, mas também a construção de pontes sólidas entre estes campos de estudo, baseadas em diversas generalizações da noção de verofuncionalidade. Prevêem-se aplicações das lógicas verofuncionais neste sentido ampliado, em suas múltiplas versões, em diversas áreas da ciência da computação, da matemática, da filosofia e da linguística, onde a complexidade sempre crescente dos sistemas erigidos dá origem a novos e complicados desafios para a composicionalidade.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (2) . Integrantes: Claudio Andrés Callejas Olguín - Integrante / Benjamín René Callejas Bedregal - Integrante / Joao Marcos de Almeida - Coordenador / Carlos Caleiro - Integrante / Jaime Ramos - Integrante / Jean Yves Béziau - Integrante / Regivan Hugo Nunes Santiago - Integrante / Elaine Gouvea Pimentel - Integrante / Luiz Carlos Pereira - Integrante / Marco Volpe - Integrante / Ofer Arieli - Integrante / Arnon Avron - Integrante / Agata Ciabattoni - Integrante / Valeria de Paiva - Integrante / Razvan Diaconescu - Integrante / Edward Hermann Haeusler - Integrante / Beata Konikowska - Integrante / Manuel Martins - Integrante / Alexandre Rademaker - Integrante / Yaroslav Shramko - Integrante / Luca Viganò - Integrante / Anna Zamansky - Integrante / Adriano Dodó - Integrante / Flaulles Boone Bergamaschi - Integrante / Sanderson Molick Silva - Integrante / Hélida Salles Santos - Integrante / Vivek Nigam - Integrante.
      Membro: Claudio Andrés Callejas Olguín.

Prêmios e títulos

  • Total de prêmios e títulos (10)
    1. Aprovação no concurso público para provimento do cargo de Professor Assistente - Setor de Ciência da Computação, Universidade Federal Rural do Semi-Árido.. 2014.
      Membro: Claudio Andrés Callejas Olguín.
    2. Aprovação no concurso público para provimento do cargo de Professor Substituto - Setor de Ciência da Computação, Universidade do Estado do Rio Grande do Norte.. 2013.
      Membro: Claudio Andrés Callejas Olguín.
    3. Aprovação no concurso público para provimento do cargo de Professor Substituto - Setor de Ciência da Computação, Universidade Federal do Rio Grande do Norte.. 2013.
      Membro: Claudio Andrés Callejas Olguín.
    4. Aprovação no concurso público para provimento do cargo de Professor Assistente - Setor de Ciência da Computação, Universidade Federal Rural do Semi-Árido.. 2013.
      Membro: Claudio Andrés Callejas Olguín.
    5. Aprovação no concurso público para provimento do cargo de Professor Substituto - Setor de Ciência da Computação, Universidade Federal do Rio Grande do Norte.. 2012.
      Membro: Claudio Andrés Callejas Olguín.
    6. Primeiro lugar entre os formandos do curso de Ingeniería de Ejecución en Computación e Informática do 2010, Universidad Mayor.. 2010.
      Membro: Claudio Andrés Callejas Olguín.
    7. Prémio por não ter reprovado nenhuma disciplina durante a graduação, Universidad Mayor.. 2010.
      Membro: Claudio Andrés Callejas Olguín.
    8. Aprovação no exame Configuring BGP on Cisco Routers, Cisco.. 2009.
      Membro: Claudio Andrés Callejas Olguín.
    9. Cisco Certified Network Associate (CCNA), Cisco.. 2008.
      Membro: Claudio Andrés Callejas Olguín.
    10. Prêmio de Excelência Acadêmica do ano de 2001 do Centro de Engenharia, Universidad Mayor.. 2002.
      Membro: Claudio Andrés Callejas Olguín.

Participação em eventos

  • Total de participação em eventos (13)
    1. 9th International Symposium of Domain Theory and its Applications (ISDT?22). 2022. (Congresso).
    2. Leeds Computability Days 2022 (LCD 2022). 2022. (Congresso).
    3. Nineteenth International Conference on Computability and Complexity in Analysis (CCA 2022). 2022. (Congresso).
    4. Sexto Congresso Brasileiro de Sistemas Fuzzy (VI CBSF). 2021. (Congresso).
    5. VI Congreso Latinoamericano de Matemáticos (CLAM 2021). 2021. (Congresso).
    6. Computability in Europe (CiE2020). 2020. (Congresso).
    7. Thirteenth International Conference on Computability, Complexity and Randomness (CCR 2018). A domain theoretical study of total computable functions. 2018. (Congresso).
    8. Workshop em Comemoração aos 10 anos do LoLITA. 2018. (Congresso).
    9. Nat@logic. Should a new hierarchy in AAL be build?. 2015. (Congresso).
    10. 4th World Congress and School on Universal Logic. A contribution towards a cartography of fuzzy equivalence operators. 2013. (Congresso).
    11. Segundo Congresso Brasileiro de Sistemas Fuzzy. Actions of Automorphisms on Some Classes of Fuzzy Bi-implication. 2012. (Congresso).
    12. Workshop on Logic, Language, Information and Computation (WoLLIC). On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication. 2012. (Congresso).
    13. Workshop on Logical and Semantic Frameworks, with Applications (LSFA). 2010. (Congresso).

Organização de eventos

  • Total de organização de eventos (4)
    1. SOUZA, P. T. V. ; SOUSA NETO, C. M. ; COUTINHO, J. C. S. ; RIQUE, T. P. ; MACEDO, R. L. ; MESQUITA, M. D. A. ; ARRAIS JUNIOR, E. ; FONTES, L. M. O. ; Callejas, Claudio ; GUIMARÃES, A. O. ; SOUZA, V. S. V. ; SOUSA, R. R. ; SEGUNDO, F. C. G. S. ; LEITE, F. T. ; SEMENTE, R. S. ; LIMA, N. C. A. ; SILVA, V. M. L.. IV Encontro de Computação do Oeste Potiguar. 2019. Congresso
    2. SILVA, L. C. ; COUTINHO, J. C. S. ; ALMEIDA, N. C. ; ARRAIS JUNIOR, E. ; MEDEIROS, E. A. ; OLIVEIRA, H. F. A. ; SOUSA NETO, C. M. ; SEMENTE, R. S. ; CHAGAS, J. F. S. ; SOUZA, P. T. V. ; REGO, R. C. B. ; RIQUE, T. P. ; FONTES, L. M. O. ; SEGUNDO, F. C. G. S. ; SOUZA, V. S. V. ; Callejas, Claudio ; MESQUITA, M. D. A. ; TERREMATTE, P. C. A. ; GUIMARÃES, A. O.. III Encontro de Computação do Oeste Potiguar. 2018. Congresso
    3. SEGUNDO, F. C. G. S. ; SILVA, V. M. L. ; SILVA, L. C. ; CHAGAS, J. F. S. ; Callejas, Claudio ; MESQUITA, M. D. A. ; ARRAIS JUNIOR, E. ; GUIMARÃES, A. O. ; SOUZA, V. S. V. ; SEMENTE, R. S. ; RIQUE, T. P. ; OLIVEIRA, H. F. A. ; TERREMATTE, P. C. A. ; LIMA, N. C. A.. II Encontro de Computação do Oeste Potiguar. 2017. Congresso
    4. TERREMATTE, P. C. A. ; Callejas, Claudio ; FARIAS, A. D. S.. I Webinar em Teoria da Computação, Lógica e Matemática Fuzzy. 2017. Congresso

Lista de colaborações

  • Colaborações endôgenas (0)



    (*) Relatório criado com produções desde 2000 até 2024
    Data de processamento: 08/08/2024 12:41:02