Juan Carlos Agudelo
Juan Carlos Agudelo
I was born in 1975 in Medellín, Colombia. I am graduated in Computer Science in 1997 at EAFIT university, in Medellín, where I also worked as System Analyst at the Informatic Center and got a master´s degree in Informatic Engineering in 2001. In 2006, I got a master´s degree in Philosophy, area of Logic, at State University of Campinas- UNICAMP, Campinas, Brazil; where I also got a PhD degree in the same program, in 2009, under the supervision of Professor Walter Carnielli. Currently, I am Professor at the Mathematics Department of the Universidad de Antioquia, Medellín, Colombia.
Agudelo, Juan C. and Sicard, Andrés. Máquinas de Turing Paraconsistentes: una Posible Definición. In: Matemáticas: Enseñanza Universitaria, Cali - Colombia, v. XII, n. 2, p. 37-51, 2004.
Agudelo, Juan C. and Carnielli, Walter. Quantum Algorithms, Paraconsistent Computation and Deutsch´s Problem. In: 2nd IndianInternational Conference on Artificial Intelligence, 2005, Pune, India. Proceedings of the 2nd Indian International Conference on Artificial Intelligence. Pune, India: Bhanu Prasad, 2005. pp. 1609-1628.
Agudelo, Juan C. and Carnielli, Walter. Unconventional Models of Computation Through Non-standard Logic Circuits. In: Lecture Notes in Computer Science, 4618, Springer 2007, Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, Todd Wareham (Eds.): Unconventional Computation, 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings. pp. 29-40.
Agudelo, Juan C. and Carnielli, Walter. Paraconsistent Machines and their Relation to Quantum Computing. In: Journal of Logic and Computation, Oxford University Press, 20(2):573-595, 2010.
Agudelo, Juan C. and Carnielli, Walter. Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof Method for Modalities. Acepted for publication in the Review of Symbolic Logic.
Computacão Quântica, Computacão Paraconsistente e Lógica: Interrelações e Fundamentos dos Algoritmos Quânticos. (Quantum computing, paraconsistent computing and logic: interrelations and foundations of quantum algorithms)
Participation in projects
ConsRel: Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications FAPESP Project Number: 2004/14107-2.
Group for Applied and Theoretical Logic. CNPq Research Group certified by UNICAMP.
Logic and Computation Research Group, EAFIT University. Research group certified by Colciencias.
My Curriculum vitae at Colciencias: http://126.96.36.199:8081/cvlac/visualizador/generarCurriculoCv.do