Hoja de vida

Nombre Juan Carlos Agudelo Agudelo
Nombre en citaciones AGUDELO AGUDELO, JUAN CARLOS
Nacionalidad Colombiana
Sexo Masculino

Formación Académica

  •  
  • Doctorado Universidade Estadual De Campinas
    Filosofia
    Marzode2006 - Diciembrede 2009
    Computação Paraconsistente: uma Abordagem Lógica à Computação Quântica
  •  
  • Maestría/Magister Universidad Eafit
    Maestría En Ingeniería Informática
    Enerode1999 - de 2001
    Computabilidad de las Redes Neuronales Recurrentes Análogas
  •  
  • Maestría/Magister Universidade Estadual De Campinas
    Filosofia
    Enerode2004 - de 2006
    Da Computação Paraconsistente à Computação Quântica
  •  
  • Especialización Universidad Eafit
    Especialización En Lógica y Filosofía
    Enerode2001 - de
  •  
  • Pregrado/Universitario Universidad Eafit
    Ingeniería de Sistemas
    Enerode1992 - de 1997
    Herramienta para diseño de bases de datos distribuidas

    Experiencia profesional

  •  
  • Universidad De Antioquia - Udea
    Dedicación:  horas Semanales Mayo de 2010 Enero de

  •  
  • Universidad Eafit
    Dedicación: 40 horas Semanales Agosto de 1998 Abril de 2004

    Actividades de administración
    -  Otra actividad técnico-científica relevante - Cargo: Otra actividad técnico-científica relevante Agosto de 1998 Diciembre de 2003
    Actividades de docencia
    -   Pregrado - Nombre del curso:  Matemáticas especiales I,  Febrero 2000
    -   Pregrado - Nombre del curso:  Matemáticas especiales III,  Febrero 2000
    -   Pregrado - Nombre del curso:  Matemáticas especiales II,  Febrero 2000
    Actividades de investigación
    -   Investigación y Desarrollo - Titulo:  IETool (Herramienta para educación virtual) Enero 2000 Junio 2000

    Áreas de actuación

  •  Ciencias Naturales -- Matemática -- Matemáticas Puras
  •  Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación
  • Idiomas

      Habla Escribe Lee Entiende
  •  Portugués
  • Bueno Bueno Bueno Bueno
  •  Inglés
  • Aceptable Aceptable Bueno Aceptable
  •  Español
  • Bueno Bueno Bueno Bueno

    Lineas de investigación

  •  Computación Cuántica, Activa:Si
  •  Computabilidad, Activa:Si
  •  Complejidad Algorítmica, Activa:Si
  •  Lenguajes de programación, Activa:Si
  •  Lógica, Activa:Si
  •  Informática Educativa, Activa:No
  • Reconocimientos

  • Mención de honor por mejor promedio crédito de la promoción,Universidad Eafit - de 1997
  •  
    Los ítems de producción con la marca corresponden a productos avalados y validados para la última Convocatoria Nacional para el Reconocimiento y Medición de Grupos de Investigación, Desarrollo Tecnológico o de Innovación y para el Reconocimiento de Investigadores del SNCTeI

    Trabajos dirigidos/tutorias

  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad médica
  • JUAN CARLOS AGUDELO AGUDELO, HEBERT MONTEGRANARIO RIASCOS, Método para resolver sistemas de ecuaciones polinómicas sobre campos finitos y su aplicación a las lógicas finitamente multivaluadas  Universidad De Antioquia - Udea  Estado: Tesis concluida  Maestría en Matemáticas  ,2013,  . Persona orientada: Carlos Andrés Agudelo González  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Puras,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN CARLOS AGUDELO AGUDELO, Resolución Algebraica de Teoremas  Universidad De Antioquia - Udea  Estado: Tesis concluida  Matemáticas  ,2012,  . Persona orientada: Óscar Eduardo García Quintero  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Puras,
     

    Jurado en comites de evaluación

  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Maestría
  • JUAN CARLOS AGUDELO AGUDELO, Titulo: Cardinal invariants associated with ideals between measure zero and strong measure zero Tipo de trabajo presentado: Trabajo de grado/tesis en:  UNIVERSIDAD NACIONAL DE COLOMBIA  programa académico Maestría en Matemáticas  Nombre del orientado: Miguel Antonio Cardona Montoya  
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Maestría
  • JUAN CARLOS AGUDELO AGUDELO, Titulo: Una formalización del sistema de los números reales Tipo de trabajo presentado: Proyecto de grado/Tesis en:  Universidad Eafit  programa académico MAESTRÍA MATEMÁTICAS APLICADAS  Nombre del orientado: Jorge Ohel Acevedo Acosta y Jose Luis Echeverri Jurado  

    Eventos científicos

    1 Nombre del evento: Encuentro Nacional de Lógicas Multi-valuadas y Teoría de la Representación  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2015-01-30 00:00:00.0,  2015-01-30 00:00:00.0   en PEREIRA   - Universidad Tecnológica de Pereira  
    Productos asociados
    • Nombre del producto:Semántica polinomial para lógicas multivaluadas Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución: Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente magistral
    2 Nombre del evento: Séptimo Encuentro Regional de Matemáticas  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2015-12-15 00:00:00.0,  2015-12-17 00:00:00.0   en MEDELLÍN   - Universidad de Antioquia  
    Productos asociados
    • Nombre del producto:Semántica polinómica para lógicas no clásicas Tipo de producto:Producción técnica - Presentación de trabajo - Conferencia
    Instituciones asociadas
    • Nombre de la institución:Universidad De Antioquia - Udea Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente magistral
    3 Nombre del evento: 16th Latin American Symposium on Mathematical Logic  Tipo de evento: Simposio  Ámbito: Internacional  Realizado el:2014-07-28 00:00:00.0,  2014-08-01 00:00:00.0   en Buenos Aires   -  
    Productos asociados
    • Nombre del producto:From dyadic semantics to translations into classical logic Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:Universidad De Buenos Aires Tipo de vinculaciónGestionadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    4 Nombre del evento: 4th World Congress and School on Universal Logic - UNILOG'2013  Tipo de evento: Congreso  Ámbito:   Realizado el:2013-04-01 00:00:00.0,    en ARMENIA   -  
    Productos asociados
    • Nombre del producto:Algebraic Resolution Methods for Propositional Logics Characterized by Boolean Algebras with Operators Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Asistente
    5 Nombre del evento: 2nd Indian International Conference on Artificial Intelligence (IICAI-05)  Tipo de evento: Otro  Ámbito:   Realizado el:2005-01-01 00:00:00.0,    en Pune - India   -  
    Productos asociados
    • Nombre del producto:Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Asistente
    6 Nombre del evento: CLE 30 / XV EBL / XIV SLALM  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2008-01-01 00:00:00.0,    en Campinas   - Paratí, Rio de Janeiro, Brasil  
    Productos asociados
    • Nombre del producto:Paraconsistency and quantum computation Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Instituciones asociadas
    • Nombre de la institución:Centro de Lógica, Epistemología e História de la Ciéncia Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Organizador
    7 Nombre del evento: Science, Truth and Consistency - CLE/AIPS Event  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2009-08-01 00:00:00.0,    en Campinas   -  
    Productos asociados
    • Nombre del producto:Paraconsistent Computation and its Quantum Character Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Instituciones asociadas
    • Nombre de la institución:Centro de Lógica, Epistemología e História de la Ciéncia Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Organizador
    8 Nombre del evento: XIII Encontro Nacional de Filosofia da ANPOF  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2008-10-01 00:00:00.0,    en Canela   -  
    Productos asociados
    • Nombre del producto:A tese de Church-Turing como principio físico Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Instituciones asociadas
    • Nombre de la institución:Universidad Caxias do Sul Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Organizador
    9 Nombre del evento: Unconventional Computation 2007  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2007-08-13 00:00:00.0,  2007-08-17 00:00:00.0   en Kingston   -  
    Productos asociados
    • Nombre del producto:Unconventional Models of Computation Through Non-standard Logic Circuits Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:Queen's University Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Organizador
    10 Nombre del evento: XIV Encontro Brasileiro de Lógica (EBL)  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2006-01-01 00:00:00.0,    en Itatiaia   -  
    Instituciones asociadas
    • Nombre de la institución:Centro de Lógica, Epistemología e História de la Ciéncia Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Organizador
    11 Nombre del evento: VIII encuentro de la ERM  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2001-01-01 00:00:00.0,    en PASTO   - Universidad de Nariño  
    Productos asociados
    • Nombre del producto:Computabilidad de las redes neuronales recurrentes análogas con pesos reales Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:Escuela Regional de Matemáticas Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Organizador
    12 Nombre del evento: XIV Encontro Brasileiro de Lógica  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2006-01-01 00:00:00.0,    en Itatiaia - Rio de Janeiro - Brasil   - Hotel Simon - Itatiaia  
    Productos asociados
    • Nombre del producto:Máquinas de Turing Paraconsistentes Não Adjuntivas e a Simulação de Algoritmos Quânticos Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Instituciones asociadas
    • Nombre de la institución:Sociedade Brasileira de Lógica Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Organizador
    13 Nombre del evento: XII Encontro Nacional de Filosofia da ANPOF  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2006-01-01 00:00:00.0,    en Salvador - Bahia - Brasil   - Hotel Othon Palace  
    Productos asociados
    • Nombre del producto:Circuitos Lógicos via Cálculo de Anéis de Polinômios Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Instituciones asociadas
    • Nombre de la institución:ANPOF (Associação Nacional de Pós-graduação em Filosofia) Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Organizador
    14 Nombre del evento: Workshop Semantics and Meaning  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2005-01-01 00:00:00.0,    en Campinas - São Paulo - Brasil   - Universidad Estadual de Campinas  
    Productos asociados
    • Nombre del producto:Lógicas da mecânica quântica Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Instituciones asociadas
    • Nombre de la institución:Centro de Lógica, Epistemología e Historia da Ciencia Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Organizador
    15 Nombre del evento: II encuentro regional de lógica y computación  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2002-05-20 00:00:00.0,  2002-05-24 00:00:00.0   en CALI   - Universidad del Valle  
    Productos asociados
    • Nombre del producto:Aproximación semántica a una lógica cuántica Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Organizador

    Artículos

  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, MANUEL H. SIERRA ARISTIZABAL, "Restricted normal modal logics and levelled possible worlds semantics" . En: Inglaterra 
    Journal Of Logic And Computation  ISSN: 0955-792X  ed: 
    v.24 fasc.4 p.687 - 704 ,2014,  DOI: 
    Palabras:
    Lógica Modal, Lógica Epistémica, Problema de la Omnisciencia Lógica,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, ANDRES SICARD RAMIREZ, "Máquinas de Turing paraconsistentes: una posible definición" . En: Colombia 
    Matematicas: Enseñanza Universitaria  ISSN: 0120-6788  ed: Litocencoa
    v.XII fasc.N.2 (Dic.) p.37 - 51 ,2004,  DOI: 
    Palabras:
    Máquinas de Turing, Lógica paraconsistente, computabilidad,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, WALTER CARNIELLI, "Unconventional Models of Computation Through Non-standard Logic Circuits" . En: Canadá 
    Lecture Notes In Computer Science  ISSN: 0302-9743  ed: Springer
    v.4618 fasc.1 p.29 - 40 ,2007,  DOI: 
    Palabras:
    computabilidad, Computación cuántica, Lógica paraconsistente, Circuitos lógicos,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, WALTER CARNIELLI, "Polynomial ring calculus for modalities" . En: Reino Unido 
    Journal Of Logic And Computation  ISSN: 1465-363X  ed: 
    v.1 fasc.N/A p.1 - 18 ,2015,  DOI: doi:10.1093/logcom/exv069
    Palabras:
    Lógica Modal, Lógica, Cálculo de anillo de polinómios,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, WALTER CARNIELLI, "Polynomial Ring Calculus for Modal Logics: a new Semantics and Proof Method for Modalities" . En: Estados Unidos 
    Review Of Symbolic Logic  ISSN: 1755-0203  ed: Cambridge University Press
    v.4 fasc.1 p.150 - 170 ,2011,  DOI: 
    Palabras:
    Lógica Modal,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, "Translating Non-classical Logics into Classical Logic by Using Hidden Variables" . En: Suiza 
    Logica Universalis  ISSN: 1661-8300  ed: 
    v.11 fasc.2 p.205 - 224 ,2017,  DOI: 10.1007/s11787-017-0168-1
    Palabras:
    Lógica, Lógica multivaluada, Lógica paraconsistente,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, WALTER CARNIELLI, "Paraconsistent Machines and their Relation to Quantum Computing" . En: Inglaterra 
    Journal Of Logic And Computation  ISSN: 0955-792X  ed: 
    v.20 fasc.2 p.573 - 595 ,2010,  DOI: 
    Palabras:
    Máquinas de Turing paraconsistentes, Lógica paraconsistente, Computación cuántica,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, CARLOS ANDRES AGUDELO GONZALEZ, OSCAR EDUARDO GARCIA QUINTERO, "On polynomial semantics for propositional logics" . En: Reino Unido 
    Journal Of Applied Non-Classical Logics  ISSN: 1958-5780  ed: 
    v.26 fasc.2 p.103 - 125 ,2016,  DOI: 10.1080/11663081.2016.1198529
    Palabras:
    Semántica polinomial, Lógica multivaluada, Lógica paraconsistente, Polinomios sobre campos finitos, Bases de Gröbner,

    Proyectos

    Tipo de proyecto: Investigación y desarrollo 
    Polinomios con operadores y su aplicación a la Lógica modal
    Inicio: Julio  2016 Duración 
    Resumen

    En este proyecto de investigación se propone desarrollar una teoría de ¿anillo de polinomios con operadores¿ y extender la teoría de bases de Gröbner a dichos polinomios. Usando los resultados obtenidos, se buscará definir traducciones de fórmulas de lógicas modales a polinomios con operadores, de tal manera que el problema de la deducibilidad en estas lógicas resulte ser equivalente al problema de determinar la pertenencia de un polinomio a un ideal (bajo una noción generalizada de ideal para polinomios con operadores), y por lo tanto pueda ser resuelto por medio métodos algebraicos, de manera análoga a como ocurre con las lógicas multivaluadas.

    Tipo de proyecto: Investigación y desarrollo 
    Semántica de Mundos Posibles Encajados
    Inicio: Enero  2011 Fin: Diciembre  2011 Duración 
    Resumen

    La semántica de mundos posibles encajados, se construye a partir de la semántica de mundos posibles usual para el sistema multimodal Km, haciendo las siguientes modificaciones: a cada mundo posible M se le asocia una jerarquía de mundos encajados M1, M2, M3, ¿, donde el mundo Mk se encuentra asociado al conjunto Lk, el cual consta de las fórmulas de grado modal k. Como a cada relación de accesibilidad usual, se le pueden asociar múltiples relaciones entre mundos encajados, entonces, al imponer restricciones adecuadas a estas últimas, también se imponen restricciones a los sistemas deductivos que estos mundos caracterizan, lo cual podría permitir, en algunos casos, una aproximación alternativa a ciertos problemas asociados a las lógicas modales, por ejemplo, al problema de la omnisciencia lógica, en el caso de las lógicas doxásticas y epistémicas.

    Tipo de proyecto: Investigación y desarrollo 
    Resolución Algebraica de Teoremas
    Inicio: Noviembre  2012 Fin proyectado: Abril  2014 Fin: Noviembre  2015 Duración 18
    Resumen

    El proyecto tiene como objetivo proponer un marco teórico de "resolución algebraica" de teoremas para algunas lógicas proposicionales (clásica, multivaluadas y paraconsistentes) y para un fragmento (mayor al monádico) de la lógica de primer orden clásica, que sirva como fundamentación para la programación lógica; de manera alternativa al método de resolución de Robinson.

    Tipo de proyecto: Investigación y desarrollo 
    Resolución Algebraica de Teoremas
    Inicio: Noviembre  2012 Fin: Noviembre  2015 Duración 
    Resumen

    El objetivo del proyecto es proponer un marco teórico de `resolución algebraica' de teoremas, para algunas lógicas proposicionales (clásica, multivaluadas y paraconsistentes) y para un fragmento (mayor al monádico) de la lógica de primer orden clásica, que sirva como fundamentación para la programación lógica; de manera alternativa al método de resolución de Robinson.