Juan Carlos Agudelo Agudelo

Possui graduação em Ingeniería de Sistemas - Universidad EAFIT, Medellin, Colombia (1997), mestrado em Ingeniería Informática -Universidad EAFIT, Medellin, Colombia (2001), mestrado em Filosofía (Lógica) pela Universidade Estadual de Campinas (2006) e doutorado em Filosofía (Àrea de Lógica) pela Universidade Estadual de Campinas (2009). Atualmente é professor vinculado - categoría auxiliar - Universidad de Antioquia. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: computabilidade e lógicas não clássicas.

Informações coletadas do Lattes em 10/11/2022

Acadêmico

Formação acadêmica

Doutorado em Filosofía (Àrea de Lógica)

2006 - 2009

Universidade Estadual de Campinas
Título: Computação Paraconsistente: Uma Abordagem Lógica à Computação Quântica
Walter Alexandre Carnielli. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo. Palavras-chave: Computabilidade; Computação Paraconsistente; Computação quântica; Lógica Paraconsistente; Máquinas de Turing; Lógica quântica.

Mestrado em Filosofía (Lógica)

2004 - 2006

Universidade Estadual de Campinas
Walter Alexandre Carnielli.Palavras-chave: Computabilidade; Lógica Paraconsistente; Máquinas de Turing; Computação quântica; Computação Paraconsistente.Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

Mestrado em Ingeniería Informática

1999 - 2001

Universidad EAFIT
Orientador: Andrés Sicard
Palavras-chave: Computabilidade; Redes Neuronais; Hiper-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: Redes Neuronais.

Especialização em Lógica y Filosofía

2001 - 2003

Universidad EAFIT
Orientador: Andrés Sicard

Graduação em Ingeniería de Sistemas

1992 - 1997

Universidad EAFIT
Orientador: Raquel Anaya

Idiomas

Inglês

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

Espanhol

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

Portuguê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.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Computabilidade.

Orientou

Oscar Eduardo Gracía Quintero

Resolución algebraica de teoremas en lógicas proposicionales; Início: 2012; Trabalho de Conclusão de Curso (Graduação em Matemáticas) - Universidad de Antioquia; (Orientador);

Produções bibliográficas

2012 Agudelo-Agudelo, J. C. ; SIERRA-ARISTIZABAL, M. H. . Restricted normal modal logics and levelled possible worlds semantics. Journal of Logic and Computation (Print) , v. NA, p. NA, 2012.
2011 Agudelo, Juan C. ; Carnielli, Walter . POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES. The Review of Symbolic Logic , v. 4, p. 150-170, 2011.
2009 Agudelo, Juan C. ; Carnielli, Walter . Paraconsistent Machines and their Relation to Quantum Computing. Journal of Logic and Computation , v. 19, p. 1-23, 2009.
2007 Agudelo, Juan C. ; Walter Carnielli . Unconventional Models of Computation Through Non-standard Logic Circuits. Lecture Notes in Computer Science , v. 4618, p. 29-40, 2007.
2004 Agudelo, Juan C. ; Sicard, Andrés . Máquinas de Turing Paraconsistentes: una Posible Definición. Matematica enseñanza universitaria , Cali - Colômbia, v. XII, n.2, p. 37-51, 2004.
Agudelo, Juan C. ; Walter Carnielli . Quantum Algorithms, Paraconsistent Computation and Deutsch´s Problem. In: 2nd Indian International Conference on Artificial Intelligence, 2005, Pune, India. Proceedings of the 2nd Indian International Conference on Artificial Intelligence. Pune, India: Bhanu Prasad, 2005. p. 1609-1628.
Agudelo, Juan C. . Computabilidad de las Redes Neuronales Recurrentes Análogas con Pesos Reales. In: VIII encuentro de la Escuela Regional de Matemáticas, 2001, Pasto. Memorias VIII encuentro de la ERM, 2001.
Agudelo-Agudelo, Juan C. . Algebraic Resolution Methods for Propositional Logics Characterized by Boolean Algebras with Operators. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro - RJ. Brasil. Handbook of the 4th World Congress and School on Universal Logic, 2013.
Agudelo, Juan C. . Lógicas da mecânica quântica. In: Workshop "Semantics and Meaning" - SeMe-2005, 2005, Campinas. http://www.cle.unicamp.br/seme_2005/abstracts.html, 2005.
Agudelo-Agudelo, Juan C. . Algebraic Resolution Methods for Propositional Logics Characterized by Boolean Algebras with Operators. 2013. (Apresentação de Trabalho/Comunicação).
Agudelo, Juan C. ; Carnielli, Walter . Paraconsistent Computation and its Quantum Character. 2009. (Apresentação de Trabalho/Comunicação).
Agudelo, Juan C. . Paraconsistency and quantum computation. 2008. (Apresentação de Trabalho/Comunicação).
Agudelo, Juan C. . A tese de Church-Turing como principio físico. 2008. (Apresentação de Trabalho/Comunicação).
Carnielli, Walter ; Agudelo, Juan C. . Unconventional Models of Computation Through Non-standard Logic Circuits. 2007. (Apresentação de Trabalho/Comunicação).
Agudelo, Juan C. . Máquinas de Turing Paraconsistentes Não Adjuntivas e a Simulação de Algoritmos Quânticos. 2006. (Apresentação de Trabalho/Comunicação).
Agudelo, Juan C. . Circuitos Lógicos via Cálculo de Anéis de Polinômios. 2006. (Apresentação de Trabalho/Comunicação).
Agudelo, Juan C. . Lógicas da mecânica quântica. 2005. (Apresentação de Trabalho/Comunicação).
Agudelo, Juan C. ; Carnielli, W. . Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem. 2005. (Apresentação de Trabalho/Comunicação).
Agudelo, Juan C. . Aproximación semántica a una lógica cuántica. 2002. (Apresentação de Trabalho/Comunicação).
Agudelo, Juan C. ; Sicard, Andrés . Computabilidad de las redes neuronales recurrentes análogas con pesos reales. 2001. (Apresentação de Trabalho/Comunicação).

Projetos de pesquisa

2013 - Atual

Resolución algebraica de teoremas, Descrição: Propor um método de resolução algebraica de teoremas para algumas lógica proposicionais (clássica, multivaloradas e paraconsistentes) e para fragmentos da lógica proposicional clássica, que sirva como fundamentação para a programação lógica.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Juan Carlos Agudelo Agudelo - Coordenador / Oscar Eduardo García-Quintero - Integrante., Financiador(es): Universidad de Antioquia - Remuneração.
2011 - 2011

Semántica de mundos posibles encajados, Descrição: Definição de sistemas modais com restrições, obtidos impondo condições aos axiomas e regras dos sistemas modais normais, e construção de uma semântica adequada para os sistemas definidos, mediante adequações à semântica de mundos possíveis. Às lógicas definidas são aptas para definir lógicas epistêmicas nas quais o problema da omnisciência lógica pode ser parcialmente controlado.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Juan Carlos Agudelo Agudelo - Coordenador / Manuel Hernando Sierra Aristizábal - Integrante., Número de produções C, T & A: 1

Histórico profissional

Endereço profissional

Universidad de Antioquia, Instituto de Matemáticas. , Calle 70 No. 52 - 21, Sevilla, Medellín, - Colômbia - Caixa-postal: 1226, Telefone: (057) 42195640, Fax: (057) 42195642, URL da Homepage:

Experiência profissional

2010 - Atual

Universidad de Antioquia, UdeA

Vínculo: Servidor Público, Enquadramento Funcional: Professor Vinculado - Categoría Auxiliar, Carga horária: 40

Outras informações:
Professor do Instituto de Matemáticas

2000 - 2003

Escuela de Administración, Finanzas y Tecnología

Vínculo: Professor de cátedra, Enquadramento Funcional: Professor

Atividades

01/2000 - 12/2003
Ensino, Ingeniería de Sistemas, Nível: Graduação,Disciplinas ministradas, Matemáticas Especiales I (Introdução á Lógica), Matemáticas Especiales II (Alguns tópicos de matemáticas discretas), Matemáticas Especiales III (Computabilidade, linguagens, gramáticas e autômatos)