Hoja de vida

Par evaluador reconocido por Colciencias.
Categoría Investigador Junior (IJ) (con vigencia hasta 2019-12-05 00:00:00.0) - Convocatoria 781 de 2017
Nombre Andrés Sicard Ramírez
Nombre en citaciones SICARD RAMÍREZ, ANDRÉS
Nacionalidad Colombiana
Sexo Masculino

Formación Académica

  •  
  • Doctorado Universidad De La Republica
    Doctorado en Informática
    Enerode2006 - Juliode 2014
    Reasoning about Functional Programs by Combining Interactive and Automatic Proofs
  •  
  • Maestría/Magister UNIVERSIDAD EAFIT
    Maestría en Ingeniería Informática
    Enerode1996 - Noviembrede 1998
    Máquinas de Turing dinámicas: historia y desarrollo de una idea.
  •  
  • Pregrado/Universitario UNIVERSIDAD EAFIT
    Ingeniería de Sistemas
    Enerode1988 - Juniode 1994
    Introducción a la teoría de los sistemas dinámicos simbólicos.

    Experiencia profesional

  •  
  • Chalmers University of Technology
    Dedicación: 48 horas Semanales Agosto de 2006 Diciembre de 2006

    Actividades de administración
    -  Miembro de consejo de centro - Cargo: Estudiante PhD visitante Agosto de 2006 Diciembre de 2006
  •  
  • Swinburne University of Technology
    Dedicación: 40 horas Semanales Octubre de 2004 Octubre de 2004

    Actividades de administración
    -  Miembro de consejo de centro - Cargo: Colaboración en investigación Octubre de 2004 Octubre de 2004
    Actividades de investigación
    -   Pasantías - Titulo:  Hypercomputation from quantum computation Octubre 2004 Octubre 2004
  •  
  • University of Canterbury
    Dedicación: 40 horas Semanales Marzo de 2001 Julio de 2001

    Actividades de administración
    -  Miembro de consejo de centro - Cargo: Colaboración en investigación Marzo de 2001 Julio de 2001
    Actividades de investigación
    -   Investigación y Desarrollo - Titulo:  M-functions. Marzo 2001 Julio 2001
  •  
  • UNIVERSIDAD EAFIT
    Dedicación: 48 horas Semanales Julio de 1994 de

    Actividades de administración
    -  Miembro de comité asesor - Cargo: Miembro comité Doctorado en Ingeniería Matemática Enero de 2015 Enero de
    Actividades de docencia
    -   Pregrado - Nombre del curso:  Lenguajes formales y autómatas , 10 Julio 2009 Enero
    -   Especialización - Nombre del curso:  Lógicas paraconsistentes, 10 Julio 2002 Diciembre 2002
    -   Postgrado - Nombre del curso:  Metodología de la investigación, 10 Enero 1999 Diciembre 2000
    -   Pregrado - Nombre del curso:  Estructuras Discretas, 25 Enero 1995 Enero
    -   Pregrado - Nombre del curso:  Lógica, 25 Julio 1994 Enero
    Actividades de investigación
    -   Investigación y Desarrollo - Titulo:  Combining Interactive and Automatic Proofs in First-Order Theories Enero 2014 Enero
    -   Investigación y Desarrollo - Titulo:  Hipercomputación desde la computación cuántica Enero 2004 Junio 2006
    -   Investigación y Desarrollo - Titulo:  Computación cuántica geometrica no abeliana Julio 2002 Junio 2003
    -   Investigación y Desarrollo - Titulo:  Computación paraconsistente Enero 2001 Diciembre 2001
    -   Investigación y Desarrollo - Titulo:  Computación cuántica geométrica Enero 2001 Julio 2002
    -   Investigación y Desarrollo - Titulo:  Prototipo de un modelo de computación cuántica continua Enero 2000 Diciembre 2000
    -   Investigación y Desarrollo - Titulo:  Máquina de Turing cuántica autorreferencial: Una posibilidad? Enero 1999 Diciembre 1999
    -   Investigación y Desarrollo - Titulo:  Lenguaje subyacente a la noción de máquina cuántica Enero 1998 Diciembre 1998
    -   Investigación y Desarrollo - Titulo:  Máquinas de Turing dinámicas: Historia y desarrollo de una idea Enero 1997 Diciembre 1997

    Áreas de actuación

  •  Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación
  • Idiomas

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

    Líneas de investigación

  •  Lógicas, lenguajes y algoritmos, Activa:Si
  •  Computabilidad, Activa:Si
  •  Computación cuántica, Activa:No
  • Reconocimientos

  • Tesis doctoral con mención de honor,Universidad De La Republica - Juliode 2014
  • Premio anual de investigación,UNIVERSIDAD EAFIT - Enerode 2004
  •  
    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/tutorías

  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • ANDRES SICARD RAMIREZ, Category Theory Applied to Functional Programming  UNIVERSIDAD EAFIT  Estado: Tesis concluida  Ingeniería de Sistemas  ,2012,  . Persona orientada: Juan Pedro Villa Isaza  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación, Ciencias Naturales -- Matemática -- Matemáticas Puras,
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • ANDRES SICARD RAMIREZ, Computabilidad de las redes neuronales recurrentes análogas  UNIVERSIDAD EAFIT  Estado: Tesis concluida  Maestría en Ingeniería Informática  ,2001,  . Persona orientada: Juan Carlos Agudelo  , Dirigió como: Tutor principal,  0 meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación, Ciencias Naturales -- Matemática -- Matemáticas Puras,
    Sectores:
    Otros sectores - Informática,
  • Trabajos dirigidos/Tutorías - Monografía de conclusión de curso de perfeccionamiento/especialización
  • ANDRES SICARD RAMIREZ, Máquinas de Turing paraconsistentes: algunas posibles definiciones y consecuencias  UNIVERSIDAD EAFIT  Estado: Tesis concluida  Especialización en Lógica y Filosofía  ,2003,  . Persona orientada: Juan Carlos Agudelo  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación, Ciencias Naturales -- Matemática -- Matemáticas Puras,
    Sectores:
    Otros sectores - Informática,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • ANDRES SICARD RAMIREZ, Factorización cuántica de números enteros. Una introspectiva al algoritmo de Shor  UNIVERSIDAD EAFIT  Estado: Tesis concluida  Ingeniería de Sistemas  ,2004,  . Persona orientada: Luis Moreno Suárez  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación, Ciencias Naturales -- Ciencias Físicas -- Física atómica, Molecular y Química,
    Sectores:
    Otros sectores - Informática,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • ANDRES SICARD RAMIREZ, Tipologías para problemas no Turing-computables  UNIVERSIDAD EAFIT  Estado: Tesis concluida  Ingeniería de Sistemas  ,2004,  . Persona orientada: Carlos Arturo Pérez Monsalve  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación, Ciencias Naturales -- Matemática -- Matemáticas Puras,
    Sectores:
    Otros sectores - Informática,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • ANDRES SICARD RAMIREZ, CAMILO ERNESTO RESTREPO RAMIREZ, Lógicas paraconsistentes: una introducción  UNIVERSIDAD EAFIT  Estado: Tesis concluida  Ingeniería de Sistemas  ,2000,  . Persona orientada: José Luis Montes  , Dirigió como: Tutor principal,  0 meses  
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Puras,
    Sectores:
    Otros sectores - Informática,
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • ANDRES SICARD RAMIREZ, Una formalización del sistema de los números reales  UNIVERSIDAD EAFIT  Estado: Tesis concluida  Maestría en Matemáticas Aplicadas  ,2015,  . Persona orientada: Jose Luis Echeverri Jurado  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación, Ciencias Naturales -- Matemática -- Matemáticas Puras,
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • ANDRES SICARD RAMIREZ, Reconstructing Propositional Proofs in Type Theory  UNIVERSIDAD EAFIT  Estado: Tesis concluida  Maestría en Matemáticas Aplicadas  ,2016,  . Persona orientada: Jonathan Steven Prieto Cubides  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación, Ciencias Naturales -- Matemática -- Matemáticas Puras,
     

    Jurado en comités de evaluación

  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Maestría
  • ANDRES SICARD RAMIREZ, Titulo: Método para resolver sistemas de ecuaciones polinómicas sobre campos finitos y su aplicación a las lógicas finitamente multivaluadas Tipo de trabajo presentado: Proyecto de grado/Tesis en:  UNIVERSIDAD DE ANTIOQUIA  programa académico Maestría en Matemáticas  Nombre del orientado: Carlos Andrés Agudelo González  
    Palabras:
    solución de sistemas de ecuaciones polinómica, campos finitos, lógica multivaluada,
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Puras,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Pregrado
  • ANDRES SICARD RAMIREZ, Titulo: El número omega: información, incompletez y aleatoriedad Tipo de trabajo presentado:  en:  UNIVERSIDAD DE ANTIOQUIA  programa académico Matemáticas  Nombre del orientado: Johany Suárez  
    Palabras:
    teoría de la información algorítmca,
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Puras,
    Sectores:
    Otros sectores - Informática,
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Pregrado
  • ANDRES SICARD RAMIREZ, Titulo: Modelamiento del crecimiento de plantas utilizando gramáticas L Tipo de trabajo presentado: Proyecto de grado/Tesis en:  UNIVERSIDAD EAFIT  programa académico Ingeniería de Sistemas  Nombre del orientado: Mónica Bedoya; Loyda Torres  
    Palabras:
    fractales, gramáticas L,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Otros sectores - Informática,
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Pregrado
  • ANDRES SICARD RAMIREZ, Titulo: Modelo fractal para sistemas productivos en la industria corsetera Tipo de trabajo presentado: Proyecto de grado/Tesis en:  UNIVERSIDAD EAFIT  programa académico Ingeniería de Sistemas  Nombre del orientado: Carlos Gómez; Diego Moreno  
    Palabras:
    fractales,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Otros sectores - Informática,

    Participación en comités de evaluación

  • Datos complementarios - Participación en comités de evaluación - Otra
  • ANDRES SICARD RAMIREZ, 10 Congreso Colombiano de Computación (10CCC)
    en:  Sociedad Colombiana de de Computación 
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Datos complementarios - Participación en comités de evaluación - Otra
  • ANDRES SICARD RAMIREZ, 11th International Workshop on Developments in Computational Models (DCM 2015)
    en:  PONTIFICIA UNIVERSIDAD JAVERIANA - PUJ - SEDE CALI 
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Datos complementarios - Participación en comités de evaluación - Otra
  • ANDRES SICARD RAMIREZ, 11 Congreso Colombiano de Computación (11CCC)
    en:  Sociedad Colombiana de de Computación 
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Datos complementarios - Participación en comités de evaluación - Otra
  • ANDRES SICARD RAMIREZ, 12 Congreso Colombiano de Computación (12CCC)
    en:  Sociedad Colombiana de de Computación 
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),

    Eventos científicos

    1 Nombre del evento: Logic and Computation Seminar - 2015  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2015-02-05 00:00:00.0,  2015-11-24 00:00:00.0   en MEDELLÍN   - Universidad EAFIT  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD EAFIT Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Organizador
    2 Nombre del evento: Twelf tutorial: Mechanizing Metatheory with LF and Twelf  Tipo de evento: Taller  Ámbito: Internacional  Realizado el:2009-01-19 00:00:00.0,  2009-01-19 00:00:00.0   en Savannah   - Hyatt Regency Savannah  
    Instituciones asociadas
    • Nombre de la institución:Association For Computing Machinery Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Asistente
    3 Nombre del evento: Logic and Computation Seminar - 2009  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2009-02-20 00:00:00.0,  2009-09-25 00:00:00.0   en MEDELLÍN   - Universidad EAFIT  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD EAFIT Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Organizador , Ponente
    4 Nombre del evento: Logic and Computation Seminar - 2016  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2016-09-14 00:00:00.0,  2016-11-09 00:00:00.0   en MEDELLÍN   - Universidad EAFIT  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD EAFIT Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Organizador
    5 Nombre del evento: 15th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2012)  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2012-03-24 00:00:00.0,  2013-04-01 00:00:00.0   en Tallin   - Swissotel Tallinn  
    Instituciones asociadas
    • Nombre de la institución:European Association for Programming Languages and Systems Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente
    6 Nombre del evento: Logic and Computation Seminar - 2012  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2012-08-16 00:00:00.0,  2012-11-30 00:00:00.0   en MEDELLÍN   - Universidad EAFIT  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD EAFIT Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Organizador , Ponente
    7 Nombre del evento: Logic and Computation Seminar - 2007  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2007-02-27 00:00:00.0,  2007-10-08 00:00:00.0   en MEDELLÍN   - Universidad EAFIT  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD EAFIT Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Organizador , Ponente
    8 Nombre del evento: XIX Congreso Nacional de Física  Tipo de evento: Congreso  Ámbito: Nacional  Realizado el:2001-08-24 00:00:00.0,  2001-09-02 00:00:00.0   en MANIZALES   - Universidad Nacional, seccional Manizales  
    Instituciones asociadas
    • Nombre de la institución:Sociedad Colombiana De Física Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Asistente
    9 Nombre del evento: 4th ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'09)  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2009-01-24 00:00:00.0,  2009-01-24 00:00:00.0   en Savannah   - Hyatt Regency Savannah  
    Instituciones asociadas
    • Nombre de la institución:Association For Computing Machinery Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Asistente
    10 Nombre del evento: Logic and Computation Seminar - 2014  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2014-03-31 00:00:00.0,  2014-06-25 00:00:00.0   en MEDELLÍN   - Universidad EAFIT  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD EAFIT Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Organizador
    11 Nombre del evento: Logic and Computation Seminar - 2010  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2010-01-29 00:00:00.0,  2010-11-05 00:00:00.0   en MEDELLÍN   - Universidad EAFIT  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD EAFIT Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Organizador , Ponente
    12 Nombre del evento:  Programming Languages meets Program Verification (PLPV'09)  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2009-01-20 00:00:00.0,  2009-01-20 00:00:00.0   en Savannah   - Hyatt Regency Savannah  
    Productos asociados
    • Nombre del producto:Embedding a Logical Theory of Constructions in Agda Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:Association For Computing Machinery Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente
    13 Nombre del evento: V Evento Internacional de Matemáticas y Computación (COMAT 2001)  Tipo de evento: Otro  Ámbito: Nacional  Realizado el:2001-11-12 00:00:00.0,  2001-11-16 00:00:00.0   en Matanzas   -  
    Productos asociados
    • Nombre del producto:Autorreferencia en el contexto de las máquinas de Turing cuánticas Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    • Nombre del producto:Sobre algunos modelos de implementación para la computación cuántica Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:Universidad De Matanzas Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente
    14 Nombre del evento: 7th International Conference on Adaptive and Natural Computing Algorithms (ICANNGA 2005)  Tipo de evento: Otro  Ámbito: Nacional  Realizado el:2005-03-21 00:00:00.0,  2005-03-23 00:00:00.0   en Coimbra   - Universidade de Coimbra  
    Productos asociados
    • Nombre del producto:Numerical Simulations of a Possible Hypercomputational Quantum Algorithm Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:UUNIVERSIDAD DE COIMBRA Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente
    15 Nombre del evento: Logic and Computation Seminar - 2013  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2013-02-08 00:00:00.0,  2013-09-25 00:00:00.0   en MEDELLÍN   - Universidad EAFIT  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD EAFIT Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Organizador , Ponente
    16 Nombre del evento: Dependently Typed Programming 2008  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2008-02-18 00:00:00.0,  2008-02-20 00:00:00.0   en Nottingham   - National College for School Leadership Learning and Conference Centre  
    Instituciones asociadas
    • Nombre de la institución:TYPES Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Asistente
    17 Nombre del evento: Agda Implementation Meeting - AIM8  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2008-05-29 00:00:00.0,  2008-06-04 00:00:00.0   en Gotemburgo   - Gothenburg  
    Instituciones asociadas
    • Nombre de la institución:Chalmers University of Technology Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente
    18 Nombre del evento: VIII Encuentro de la ERM  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2001-09-10 00:00:00.0,  2001-09-14 00:00:00.0   en PASTO   - Universidad de Nariño  
    Instituciones asociadas
    • Nombre de la institución:Escuela reginal de matemáticas ERM Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente
    19 Nombre del evento: II Encuentro Nacional de Computación e Información Cuántica (CIC 2005)  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2005-05-25 00:00:00.0,  2005-05-27 00:00:00.0   en POPAYÁN   - Universidad del Cauca  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DEL CAUCA Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente magistral
    20 Nombre del evento: I Encuentro Regional de Computación e Información Cuántica  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2002-02-14 00:00:00.0,  2002-02-15 00:00:00.0   en POPAYÁN   - Universidad del Cauca  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DEL CAUCA Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente
    21 Nombre del evento: III Encuentro Regional de Lógica y Computación (Log&Co 2006)  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2006-04-07 00:00:00.0,  2006-04-10 00:00:00.0   en POPAYÁN   - Universidad del Cauca  
    Instituciones asociadas
    • Nombre de la institución:Universidad del Cauca, Universidad EAFIT, Escuela Regional de Matemáticas, Icetex Tipo de vinculaciónPatrocinadora
    • Nombre de la institución:Grupo Log&CO Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Organizador , Ponente
    22 Nombre del evento: Encuentro Grupos de Investigación de la ERM  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2000-09-11 00:00:00.0,  2000-09-15 00:00:00.0   en POPAYÁN   - Universidad del Cauca  
    Instituciones asociadas
    • Nombre de la institución:Escuela reginal de matemáticas ERM Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente magistral
    23 Nombre del evento: VI Encuentro de la ERM  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:1998-08-29 00:00:00.0,  1998-09-03 00:00:00.0   en PEREIRA   - Universidad Tecnológica de Pereira  
    Instituciones asociadas
    • Nombre de la institución:Escuela reginal de matemáticas ERM Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente
    24 Nombre del evento: International Summer School on Language Engineering and Rigorous Software Development  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2008-02-25 00:00:00.0,  2008-03-01 00:00:00.0   en Piriápolis   - Piriápolis  
    Instituciones asociadas
    • Nombre de la institución:LERnet Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente
    25 Nombre del evento: I Encuentro Regional de Lógica y Computación  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:1999-12-13 00:00:00.0,  1999-12-17 00:00:00.0   en MANIZALES   - Universidad Nacional - seccional Manizales  
    Instituciones asociadas
    • Nombre de la institución:Universidad Nacional - seccional Manizales, Universidad EAFIT, Universidad Tecnológica de Pereira, Universidad del Valle, Escuela Regional de Matemáticas Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Organizador , Ponente
    26 Nombre del evento: IX Encuentro de la ERM  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2003-09-15 00:00:00.0,  2003-09-19 00:00:00.0   en NEIVA   - Universidad Surcolombiana  
    Instituciones asociadas
    • Nombre de la institución:Escuela reginal de matemáticas ERM Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente
    27 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,  2014-05-24 00:00:00.0   en CALI   - Universidad del Valle  
    Instituciones asociadas
    • Nombre de la institución:Universidad del Valle, Universidad EAFIT, Universidad Tecnológica de Pereira, Escuela Regional de Matemáticas Tipo de vinculaciónPatrocinadora
    • Nombre de la institución: Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Organizador , Ponente
    28 Nombre del evento: XX Congreso Nacional de Física  Tipo de evento: Congreso  Ámbito: Nacional  Realizado el:2003-09-01 00:00:00.0,  2003-09-05 00:00:00.0   en BOGOTÁ, D.C.   - Universidad del Quíndio  
    Productos asociados
    • Nombre del producto:Universalidad de la Computación Cuántica Geométrica: Modelo del Medio Kerr Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:Sociedad Colombiana De Física Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Asistente
    29 Nombre del evento: 4as Jornadas de Investigación y Desarrollo en Informática (JIDI 2004)  Tipo de evento: Congreso  Ámbito: Nacional  Realizado el:2004-04-21 00:00:00.0,  2004-04-23 00:00:00.0   en MEDELLÍN   - Palacio de exposiciones  
    Productos asociados
    • Nombre del producto:Algoritmos cuánticos: la transformada de Fourier Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:Varias Universidades Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Asistente
    30 Nombre del evento: Séptima jornada de investigación, Universidad Pontificia Bolivariana  Tipo de evento: Otro  Ámbito: Nacional  Realizado el:2000-05-12 00:00:00.0,  2000-05-18 00:00:00.0   en MEDELLÍN   - Universidad Pontificia Bolivariana  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD PONTIFICIA BOLIVARIANA Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente
    31 Nombre del evento: VII Encuentro de la ERM  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:1999-08-23 00:00:00.0,  1999-08-27 00:00:00.0   en MEDELLÍN   - Universidad de Antioquia  
    Instituciones asociadas
    • Nombre de la institución:Escuela reginal de matemáticas ERM Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Ponente
    32 Nombre del evento: Logic and Computation Seminar - 2017  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2017-01-10 00:00:00.0,  2017-06-01 00:00:00.0   en MEDELLÍN   - Universidad EAFIT  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD EAFIT Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ANDRES SICARD RAMIREZ Rol en el evento: Organizador

    Estrategias pedagógicas para el fomento a la CTI

    Nombre de la estrategia Semillero métodos formales - 2018  Inicio enFebrero - 2018,  Finalizó en :Febrero - 2018, 
    Nombre de la estrategia Semillero métodos formales - 2015  Inicio enFebrero - 2015,  Finalizó en :Febrero - 2015, 
    Nombre de la estrategia Semillero métodos formales - 2016  Inicio enSeptiembre - 2016,  Finalizó en :Septiembre - 2016, 
    Nombre de la estrategia Semillero métodos formales - 2017  Inicio enFebrero - 2017,  Finalizó en :Febrero - 2017, 

    Artículos

  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, JUAN FERNANDO OSPINA GIRALDO, "A possible hypercomputational quantum algorithm" . En: Estados Unidos 
    Proceedings Of Spie, The International Society For Optical Engineering  ISSN: 0277-786X  ed: Proceedings Of Spie The International Society For Optical Engineering
    v.5815 fasc.1 p.219 - 226 ,2005,  DOI: NA
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, "Máquinas de Turing" . En: Colombia 
    Revista Universidad Eafit  ISSN: 0120-341X  ed: Editorial Universidad Eafit
    v.103 fasc.1 p.29 - 45 ,1996,  DOI: NA
    Palabras:
    máquinas de Turing, computabilidad,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, "Hipercomputación: la próxima generación de la computación teórica" . En: Colombia 
    Revista Universidad Eafit  ISSN: 0120-341X  ed: Editorial Universidad Eafit
    v.123 fasc.1 p.47 - 51 ,2001,  DOI: NA
    Palabras:
    hipercomputación,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, "Universalidad de la computación cuántica geométrica: modelo del medio Kerr" . En: Colombia 
    Revista Colombiana de Fisica  ISSN: 0120-2650  ed: Revista De La Sociedad Colombiana De Fisica
    v.36 fasc.1 p.230 - 234 ,2004,  DOI: NA
    Palabras:
    computación cuántica geométrica, computación cuántica universal,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, "Computación cuántica geométrica: modelo de 3 estados" . En: Colombia 
    Revista Colombiana de Fisica  ISSN: 0120-2650  ed: Revista De La Sociedad Colombiana De Fisica
    v.36 fasc.1 p.226 - 229 ,2004,  DOI: NA
    Palabras:
    computación cuántica geométrica,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, "El formalismo de la teoría gauge en la computación cuántica" . En: Colombia 
    Revista Colombiana de Fisica  ISSN: 0120-2650  ed: Revista De La Sociedad Colombiana De Fisica
    v.33 fasc.2 p.80 - 84 ,2001,  DOI: NA
    Palabras:
    computación cuántica, teorías gauge,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, CARLOS ARTURO PEREZ MONSALVE, "Paralelismo cúantico: el problema de Deutsch" . En: Colombia 
    Silicio  ISSN: 0123-0689  ed: 
    v.1 fasc.14 p.42 - 47 ,2002,  DOI: NA
    Palabras:
    computación cuántica,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, JUAN CARLOS AGUDELO, "Máquinas de Turing paraconsistentes: una posible definición" . En: Colombia 
    Matematicas: Enseñanza Universitaria  ISSN: 0120-6788  ed: Litocencoa
    v.XII fasc.2 p.37 - 51 ,2004,  DOI: NA
    Palabras:
    computabilidad, máquinas de Turing, lógica paraconsistente,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, "Introducción a la teoría de los sistemas dinámicos abstractos y a la teoría de los sistemas dinámicos simbólicos: una revolución en marcha" . En: Colombia 
    Revista Universidad Eafit  ISSN: 0120-341X  ed: Editorial Universidad Eafit
    v.97 fasc.1 p.43 - 49 ,1995,  DOI: NA
    Palabras:
    sistemas dinámicos simbólicos,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, "Universalidad de la computación cuántica geométrica: modelo de tres estados" . En: Colombia 
    Ingeniería Y Ciencia  ISSN: 1794-9165  ed: FONDO EDITORIAL UNIVERSIDAD EAFIT
    v.1 fasc.1 p.5 - 20 ,2005,  DOI: NA
    Palabras:
    computación cuántica geométrica, computación cuántica universal,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, JUAN FERNANDO OSPINA GIRALDO, "Quantum algorithm of hypercomputation based on the Poschl-Teller potencial" . En: Colombia 
    Revista Colombiana de Fisica  ISSN: 0120-2650  ed: Revista De La Sociedad Colombiana De Fisica
    v.38 fasc.1 p.313 - 316 ,2006,  DOI: NA
    Palabras:
    computación continua, hipercomputación,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, JUAN FERNANDO OSPINA GIRALDO, "Poschl-Teller potentials based solution to Hilbert's tenth problem" . En: Colombia 
    Ingeniería Y Ciencia  ISSN: 1794-9165  ed: FONDO EDITORIAL UNIVERSIDAD EAFIT
    v.2 fasc.4 p.43 - 57 ,2006,  DOI: NA
    Palabras:
    hipercomputación, computación cuántica,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, JUAN FERNANDO OSPINA GIRALDO, "Quantum hypercomputation based on the dynamical algebra su(1, 1)" . En: Reino Unido 
    Journal Of Physics A-Mathematical And General  ISSN: 0305-4470  ed: Institute of Physics Publishing (IOP)
    v.39 fasc.40 p.12539 - 12558 ,2006,  DOI: NA
    Palabras:
    hipercomputación, computación cuántica,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, JUAN FERNANDO OSPINA GIRALDO, "Hipercomputación desde la computación cuántica" . En: Colombia 
    Revista Colombiana De Computación  ISSN: 1657-2831  ed: Universidad Autónoma de Bucaramanga - Oficina de Publicaciones
    v.7 fasc.2 p.66 - 82 ,2006,  DOI: 
    Palabras:
    hipercomputación, computación continua,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, "Computación cuántica: una perspectiva desde lo continuo" . En: Colombia 
    Revista Universidad Eafit  ISSN: 0120-341X  ed: Editorial Universidad Eafit
    v.118 fasc.1 p.41 - 46 ,2000,  DOI: NA
    Palabras:
    computación continua, computación cuántica,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, "Más allá de la computabilidad? (algunas reflexiones acerca de)" . En: Colombia 
    Revista Universidad Eafit  ISSN: 0120-341X  ed: Editorial Universidad Eafit
    v.112 fasc.1 p.91 - 100 ,1998,  DOI: NA
    Palabras:
    hipercomputación, computabilidad,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, "Máquina universal de Turing: algunas indicaciones para su construcción" . En: Colombia 
    Revista Universidad Eafit  ISSN: 0120-341X  ed: Editorial Universidad Eafit
    v.108 fasc.1 p.61 - 106 ,1997,  DOI: NA
    Palabras:
    máquinas de Turing, máquina universal de Turing,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ANDRES SICARD RAMIREZ, ANA BOVE, PETER DYBJER, "Combining interactive and automatic reasoning in first order theories of functional programs" . En: Alemania 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.7213 fasc.1 p.104 - 118 ,2012,  DOI: NA
    Palabras:
    type theory,
    Sectores:
    Productos y servicios de recreación,culturales, artísticos y deportivos, Desarrollo de programas (software) y prestación de servicios en informática - Consultoría en sistemas de informática, Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),

    Libros

  • Producción bibliográfica - Libro - Libro resultado de investigación
  • ANDRES SICARD RAMIREZ, "Reasoning about functional programs by combining interactive and automatic proofs" En: Uruguay 2015.  ed:Universidad de la República  ISBN: 0797-6410  v. pags. 
    Palabras:
    automatic proofs, functional program correctness, interactive proofs, total languages, type theory,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Producción bibliográfica - Libro - Libro resultado de investigación
  • ANDRES SICARD RAMIREZ, RAUL GOMEZ MARIN, "Informática Teórica. Elementos Propedeúticos" En: Colombia 2001.  ed:FONDO EDITORIAL UNIVERSIDAD EAFIT   ISBN: 958-9041-76-0  v. pags. 
    Palabras:
    autómatas de estado finito, autómatas de pila, complejidad algorítmica, funciones recursivas, máquinas de Turing,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,

    Capitulos de libro

  • Tipo: Otro capítulo de libro publicado
    ANDRES SICARD RAMIREZ, Tipo: Otro capítulo de libro publicado
    SERGIO PINEDA VELEZ, "Hipercomputación" Hipercubo: Arte, Ciencia Y Tecnología . En: Colombia  ISBN: 958-695-057-3  ed: Ediciones Uniandes , v. , p.127 - 149  ,2002
    Palabras:
    hipercomputación,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Otros sectores - Informática,
  • Tipo: Capítulo de libro
    ANDRES SICARD RAMIREZ, Tipo: Capítulo de libro
    B JACK COPELAND, "Appendix: Subroutines and M-functions" The Essential Turing . En: Reino Unido  ISBN: 0198250800  ed: Oxford University Press , v. , p.54 - 57  ,2004
    Palabras:
    máquinas de Turing,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Otros sectores - Informática,
  • Textos en publicaciones no científicas

  • Producción bibliográfica - Otro artículo publicado - Revista de divulgación
  • ANDRES SICARD RAMIREZ, MARIO ELKIN VELEZ RUIZ, "Computación Cuántica Geométrica: Modelo Kerr" En: Colombia. 2009. Journal De Ciencia E Ingeniería. ISSN: 2145-2628 p.10 - 12 v.01
    Palabras:
    computación cuántica geométrica, computación cuántica universal,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,

    Proyectos

    Tipo de proyecto: Investigación y desarrollo 
    Máquinas de Turing dinámicas: historia y desarrollo de una idea
    Inicio: Enero  1997 Fin: Diciembre  1997 Duración 
    Resumen

    El objetivo del proyecto es construir un formalismo para la idea intuitiva de Máquina de Turing Dinámica (Autorrefencial) o en su defecto justificar la imposibilidad de dicha construcción. El capítulo 1 construye el marco teórico necesario para que la noción de Máquina de Turing Autorreferencial (MTAR) se instale en un contexto científico-filosófico-teórico. El capítulo 2 define que es una Máquina de Turing (MT), explica un elemento auxiliar para la construcción de las mismas, llamado m-funciones, indica un sistema de codificación y enumeración para las máquinas de Turing y presenta la Máquina Universal de Turing (MUT). El capítulo 3 describe que es una MTAR. El capítulo 4 se pregunta por las consecuencias de este constructo teórico; en particular, se pregunta por la relación que existe entre una MT y una MTAR, relación observada desde un único punto de vista: la relación de potencia entre las mismas. El capítulo 5 presenta los elementos necesarios para construir una MTAR; para algunos casos, se construyen éstos a manera de ``prueba'' de la viabilidad de la construcción de la MTAR. El capítulo 6 ilustra la imposibilidad de construir la MTAR y se convierte en el núcleo del proyecto. Finalmente, el capítulo 7 presenta algunas conclusiones con base en los resultados obtenidos y se sugieren nuevas posibilidades de abordar el problema.

    Tipo de proyecto: Investigación y desarrollo 
    Lenguaje subyacente a la noción de máquina cuántica
    Inicio: Enero  1998 Fin: Diciembre  1998 Duración 
    Resumen

    El objetivo del proyecto es apropiar el lenguaje matemático subyacente a la noción de máquina cuántica.

    Tipo de proyecto: Investigación y desarrollo 
    Máquina de Turing cuántica autorreferencial: una posibilidad?
    Inicio: Enero  1999 Fin: Diciembre  1999 Duración 
    Resumen

    El objetivo del proyecto de investigación es construir un formalismo para la idea intuitiva de Máquina de Turing Cuántica Autorreferencial. Para ello: (i) Se presentan cuatro formulaciones diferentes y equivalentes de la Mecánica Cuántica y se elige el formalismo de Dirac, para presentar una aproximación a la Computación Cuántica desde los postulados de la Mecánica Cuántica; (ii) Para las máqinas de Turing cuánticas se presentan tres elementos: sus componentes, su operador de evolución temporal y su función de transición local; estos elementos son relacionados con las máquinas de Turing determinísticas, probabilísticas y reversibles; (iii) Se establecen algunas relaciones entre la tesis de Church-Turing y la computación cuántica, (iv) Se presentan los algoritmos de Shor y Grover y su implementación en MATHEMATICA y QCL (Quantum Computer Language) respectivamente; (v) Finalmente, la posibilidad de autorreferencia para una máquina de Turing cuántica es presentada desde dos puntos de vista: auto-modificación y auto-medida.

    Tipo de proyecto: Investigación y desarrollo 
    Prototipo de un modelo de computación cuántica continua
    Inicio: Enero  2000 Fin: Diciembre  2000 Duración 
    Resumen

    El objetivo general es construir un prototipo de un modelo de computación cuántica continua.

    Tipo de proyecto: Investigación y desarrollo 
    Computación paraconsistente
    Inicio: Enero  2001 Fin: Diciembre  2001 Duración 
    Resumen

    El objetivo del proyecto es construir teorías formales en el contexto de la computación que sean teorías paraconsistentes.

    Tipo de proyecto: Investigación y desarrollo 
    Computación cuántica geometrica no abeliana
    Inicio: Julio  2002 Fin: Junio  2003 Duración 
    Resumen

    Manipular con un nivel de detalle suficiente el modelo de la computación cuántica geométrica para el caso de la fase no abeliana, con el fin de realizar la implementación formal de compuertas cuánticas en dicho modelo.

    Tipo de proyecto: Investigación y desarrollo 
    Computación cuántica geométrica
    Inicio: Enero  2001 Fin: Julio  2002 Duración 
    Resumen

    Manipular con un nivel de detalle suficiente el modelo de la computación cuántica geométrica de fase abeliana con el fin de realizar la construcción de compuertas cuánticas en dicho modelo.

    Tipo de proyecto: Investigación, desarrollo e Innovación 
    Hipercomputación desde la computación cuántica
    Inicio: Enero  2004 Fin: Junio  2006 Duración 
    Resumen

    El problema de investigación propuesto consiste en generalizar el modelo de Kieu a diferentes referentes físicos, sin perder (en lo posible) la generalidad del algoritmo de Kieu, diseñado para resolver el décimo problema de Hilbert. Es decir, el problema de investigación consiste en construir nuevos modelos y algoritmos de hipercomputación sustentados en la computación cuántica. En particular, se desea ampliar el modelo y el algoritmo de Kieu a los siguientes referentes físicos: la caja de potencial, el oscilador de Laguerre, el oscilador de Laguerre generalizado y el rotor cuántico.

    Tipo de proyecto: Investigación y desarrollo 
    Combining Interactive and Automatic Proofs in First-Order Theories
    Inicio: Enero  2014 Duración 
    Resumen

    Formalise first-order theorems belonging to some first-order theories by combining interactive proofs performed in the Agda proof assistant with automatic proofs performed by SMT solvers.

    Tipo de proyecto: Investigación y desarrollo 
    First-Order Proof Reconstruction
    Inicio: Enero  2016 Fin: Diciembre  2016 Duración 
    Resumen

    In a previous research, we proposed a first-order theory for reasoning about functional programs by combining interactive proofs performed in the Agda proof assistant and automatic proofs performed by off-the-shelf first-order automatic theorem provers (ATPs). Our approach can be used with other first-order theories too. We have used it with other first-order theories such as Group Theory and Peano Arithmetic, and we had encouraging results. In our approach, we use the ATPs as oracles via a Haskell program called Apia, that is, we trust the ATPs when they tell us that a proof exists. In consequence, the consistency of our approach relies on the correct implementation of both the Apia program and the ATPs. We propose strengthen the consistency of our approach by reconstructing in Agda the first-order proofs automatically produced.