Hoja de vida

Nombre Darío Alejandro García Rico
Nombre en citaciones GARCÍA RICO, DARÍO ALEJANDRO
Nacionalidad Colombiana
Sexo Masculino

Formación Académica

  •  
  • Postdoctorado/Estancia postdoctoral University Of Leeds
    Marie Curie Fellowship
    Juniode2016 - de
  •  
  • Postdoctorado/Estancia postdoctoral UNIVERSIDAD DE LOS ANDES
    PhD in Mathematics
    Agostode2018 - de
  •  
  • Postdoctorado/Estancia postdoctoral Université Claude Bernard Lyon I
    Mathématiques - Institut Camile Jordan
    Juniode2015 - Juniode 2016
  •  
  • Doctorado UNIVERSIDAD DE LOS ANDES
    Doctorado en Matemáticas
    Enerode2010 - Diciembrede 2014
    O-asymptotic classes of finite structures, pseudofinite dimension and forking
  •  
  • Maestría/Magister UNIVERSIDAD DE LOS ANDES
    Maestría en Matemáticas
    Enerode2008 - Marzode 2010
    Tipos genéricamente estables, bifurcación y thorn-bifurcación
  •  
  • Pregrado/Universitario UNIVERSIDAD NACIONAL DE COLOMBIA SEDE BOGOTA
    Matematicas
    Enerode2003 - Marzode 2008
    Clases Elementales Abstractas: Ejemplos de no localidad

    Formación Complementaria

  •  
  • Otros University of California, Berkeley
    PhD in Mathematics
    Enerode2014 - Juniode 2014
  •  
  • Otros University of California, Berkeley
    PhD in Mathematics
    Abrilde2012 - Diciembrede 2012

    Experiencia profesional

  •  
  • UNIVERSIDAD DE LOS ANDES
    Dedicación: 48 horas Semanales Agosto de 2018 de

  •  
  • University Of Leeds
    Dedicación: 40 horas Semanales Junio de 2016 Junio de 2018

    Actividades de administración
    -  Otra actividad técnico-científica relevante - Cargo: Organizer - Models and Sets seminar Junio de 2016 Enero de
    Actividades de docencia
    -   Postgrado - Nombre del curso:  Neostability Theory, 10 Septiembre 2016 Diciembre 2016
  •  
  • Corporacion Universitaria Republicana
    Dedicación: 40 horas Semanales Febrero de 2016 Julio de 2018

  •  
  • UNIVERSIDAD EXTERNADO DE COLOMBIA
    Dedicación: 15 horas Semanales Enero de 2015 Junio de 2015

    Actividades de docencia
    -   Pregrado - Nombre del curso:  Cálculo 1, 10 Enero 2015 Junio 2015
    -   Pregrado - Nombre del curso:  Matemáticas Básicas, 25 Enero 2015 Junio 2015
  •  
  • Université Claude Bernard Lyon I
    Dedicación: 40 horas Semanales Junio de 2015 Mayo de 2016

    Actividades de investigación
    -   Investigación y Desarrollo - Titulo:  Postdoctorado - Teoría de modelos Junio 2015 Enero
  •  
  • COLEGIO MAYOR NUESTRA SEÑORA DEL ROSARIO
    Dedicación: 4 horas Semanales Enero de 2015 Julio de 2015

    Actividades de docencia
    -   Pregrado - Nombre del curso:  Estadística, 11 Enero 2015 Junio 2015
  •  
  • Corporacion Universitaria Republicana
    Dedicación: 40 horas Semanales Junio de 2012 Julio de 2013

    Actividades de administración
    -  Otra actividad técnico-científica relevante - Cargo: Otra actividad técnico-científica relevante Agosto de 2012 Diciembre de 2012
    Actividades de docencia
    -   Pregrado - Nombre del curso:  Cálculo 3, 15 Enero 2013 Junio 2013
    -   Pregrado - Nombre del curso:  Ecuaciones Diferenciales, 48 Enero 2013 Junio 2013
    -   Pregrado - Nombre del curso:  Cálculo 2, 45 Enero 2013 Junio 2013
    Actividades de investigación
    -   Investigación y Desarrollo - Titulo:  VC-dimensión y aprendizaje automático Agosto 2012 Junio 2013
  •  
  • UNIVERSIDAD LA GRAN COLOMBIA
    Dedicación: 40 horas Semanales Agosto de 2010 Junio de 2011

    Actividades de docencia
    -   Pregrado - Nombre del curso:  Álgebra y Programación Lineal, 15 Enero 2011 Junio 2011
    -   Pregrado - Nombre del curso:  Precálculo, 25 Enero 2011 Junio 2011
    -   Pregrado - Nombre del curso:  Precálculo, 45 Enero 2011 Junio 2011
    -   Pregrado - Nombre del curso:  Cálculo 1, 27 Enero 2011 Junio 2011
    -   Pregrado - Nombre del curso:  Cálculo 2, 25 Enero 2011 Junio 2011
    -   Pregrado - Nombre del curso:  Precálculo, 27 Agosto 2010 Diciembre 2010
    -   Pregrado - Nombre del curso:  Precálculo , 35 Agosto 2010 Diciembre 2010
  •  
  • UNIVERSIDAD DE LOS ANDES
    Dedicación: 14 horas Semanales Enero de 2008 Junio de 2015

    Actividades de administración
    -  Otra actividad técnico-científica relevante - Cargo: Otra actividad técnico-científica relevante Enero de 2012 Abril de 2012
    Actividades de docencia
    -   Pregrado - Nombre del curso:  Cálculo Vectorial, 53 Enero 2015 Junio 2015
    -   Pregrado - Nombre del curso:  Cálculo Vectorial, 15 Enero 2013 Mayo 2013
    -   Pregrado - Nombre del curso:  Cálculo Integral y Ecuaciones Diferenciales, 27 Agosto 2013 Diciembre 2013
    -   Pregrado - Nombre del curso:  Álgebra Lineal, 21 Enero 2013 Mayo 2013
    -   Pregrado - Nombre del curso:  Matemáticas 2 para Biología y Medicina, 20 Enero 2011 Mayo 2011
    -   Pregrado - Nombre del curso:  Cálculo 3 para Economía y Administración, 25 Enero 2011 Mayo 2011
    -   Pregrado - Nombre del curso:  Cálculo Vectorial, 40 Agosto 2011 Diciembre 2011
    -   Pregrado - Nombre del curso:  Cálculo 3 para Economía y Administración, 23 Enero 2010 Mayo 2010
    -   Pregrado - Nombre del curso:  Cálculo Diferencial, 23 Agosto 2010 Diciembre 2010
    -   Pregrado - Nombre del curso:  Matemática Estructural, 26 Enero 2010 Mayo 2010
    -   Pregrado - Nombre del curso:  Cálculo 3 para Economía y Administración, 26 Agosto 2010 Diciembre 2010
    -   Pregrado - Nombre del curso:  Cálculo Vectorial, 15 Agosto 2009 Diciembre 2009
    -   Pregrado - Nombre del curso:  Cálculo 3 para Economía y Administración, 25 Enero 2009 Mayo 2009
    -   Pregrado - Nombre del curso:  Cálculo 3 para Economía y Administración, 21 Agosto 2009 Diciembre 2009
    -   Pregrado - Nombre del curso:  Ecuaciones Diferenciales, 26 Agosto 2009 Diciembre 2009
    -   Pregrado - Nombre del curso:  Cálculo Vectorial, 42 Enero 2009 Mayo 2009
    -   Pregrado - Nombre del curso:  Cálculo Integral y Ecuaciones Diferenciales, 23 Enero 2008 Mayo 2008
    -   Pregrado - Nombre del curso:  Cálculo Integral y Ecuaciones Diferenciales, 64 Agosto 2008 Diciembre 2008
    -   Pregrado - Nombre del curso:  Álgebra Lineal, 43 Enero 2008 Mayo 2008
  •  
  • UNIVERSIDAD NACIONAL DE COLOMBIA
    Dedicación: 12 horas Semanales Agosto de 2006 Noviembre de 2007

    Actividades de administración
    -  Miembro de consejo de centro - Cargo: Monitor Facultad de Ciencias / Matemáticas Febrero de 2007 de
    -  Miembro de consejo de centro - Cargo: Monitor Facultad de Ciencias / Matematicas Agosto de 2006 Noviembre de 2006

    Áreas de actuación

  •  Ciencias Naturales -- Matemática -- Matemáticas Puras
  • Idiomas

      Habla Escribe Lee Entiende
  •  Italiano
  • Aceptable Aceptable Bueno Bueno
  •  Inglés
  • Bueno Bueno Bueno Bueno
  •  Francés
  • Aceptable Aceptable Bueno Aceptable

    Líneas de investigación

  •  Lógica matemática, Activa:Si
  •  Lógica - Teoría de Modelos, Activa:Si
  • Reconocimientos

  • Marie Curie Postdoctoral Fellowship,European Commission for Research and Innovation - Juniode 2016
  • Beca Fundación Mazda para el Arte y la Ciencia,Fundación Mazda Para El Arte Y La Ciencia - Febrerode 2012
  • Beca para Doctorados Nacionales,Departamento Administrativo de Ciencia, Tecnología e Innovación - Colciencias - Enerode 2012
  •  
    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

    Cursos de corta duración

  • Producción técnica - Cursos de corta duración dictados - Especialización
  • DARIO ALEJANDRO GARCIA RICO, Model theory of pseudofinite structures, Finalidad: . En: Irán  ,2016,  ,Institute for research in fundamental science.  participación: Docente , 2 semanas 
     

    Jurado en comités de evaluación

  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Maestría
  • DARIO ALEJANDRO GARCIA RICO, Titulo: Completaciones y Especializaciones de Geometrías de Zariski Tipo de trabajo presentado: Proyecto de grado/Tesis en:  UNIVERSIDAD DE LOS ANDES  programa académico Maestría en Matemáticas  Nombre del orientado: Santiago Iván Pinzón Palacios  

    Eventos científicos

    1 Nombre del evento: Recent Developments in Model Theory  Tipo de evento: Simposio  Ámbito: Internacional  Realizado el:2011-06-05 00:00:00.0,  2011-06-11 00:00:00.0   en Oleron   - Ile d'Oleron  
    Instituciones asociadas
    • Nombre de la institución:Université Claude Bernard Lyon I Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Asistente
    2 Nombre del evento: Model Theory Seminar  Tipo de evento: Seminario  Ámbito: Internacional  Realizado el:2012-09-11 00:00:00.0,  2012-12-11 00:00:00.0   en BOGOTÁ, D.C.   - Evans Hall - University of California - Berkeley  
    Productos asociados
    • Nombre del producto:Generically stable types, forking and thorn-forking Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:University of California, Berkeley Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente
    3 Nombre del evento: Model theory, arithmetic geometry and o-minimality  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2012-07-23 00:00:00.0,  2012-08-03 00:00:00.0   en BOGOTÁ, D.C.   - Mathematical Science Research Institute - MSRI  
    Instituciones asociadas
    • Nombre de la institución:University of California, Berkeley Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Asistente
    4 Nombre del evento: Congreso Colombiano de Matemáticas - Medellín 2007  Tipo de evento: Congreso  Ámbito: Nacional  Realizado el:2007-07-16 00:00:00.0,  2007-07-20 00:00:00.0   en MEDELLÍN   -  
    Instituciones asociadas
    • Nombre de la institución:Sociedad Colombiana De Matematicas Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador
    5 Nombre del evento: Congreso Colombiano de Matemáticas - Cali 2009  Tipo de evento: Congreso  Ámbito: Nacional  Realizado el:2009-08-03 00:00:00.0,  2009-08-06 00:00:00.0   en CALI   -  
    Productos asociados
    • Nombre del producto:Tipos genéricamente estables en teorías dependientes Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:Sociedad Colombiana De Matematicas Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador
    6 Nombre del evento: Conference on Geometric Model Theory  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2010-03-25 00:00:00.0,  2010-06-28 00:00:00.0   en Oxford   - Lady Margareth Hall - University of Oxford  
    Instituciones asociadas
    • Nombre de la institución:University Of Oxford Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador
    7 Nombre del evento: Primer taller en teoría de modelos: teorias o-minimales  Tipo de evento: Taller  Ámbito: Nacional  Realizado el:2007-03-27 00:00:00.0,  2007-03-31 00:00:00.0   en VILLA DE LEYVA   -  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE LOS ANDES Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador
    8 Nombre del evento: Sage Days 22: Computing with Elliptic curves  Tipo de evento: Taller  Ámbito: Internacional  Realizado el:2010-06-21 00:00:00.0,  2010-07-02 00:00:00.0   en Berkeley, CA   - Mathematical Sciences Research Institute - MSRI  
    Instituciones asociadas
    • Nombre de la institución:University of California, Berkeley Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador
    9 Nombre del evento: Segundo Taller en teoria de modelos: teorias dependientes  Tipo de evento: Taller  Ámbito: Nacional  Realizado el:2008-03-25 00:00:00.0,  2008-03-29 00:00:00.0   en BOGOTÁ, D.C.   -  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE LOS ANDES Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador
    10 Nombre del evento: Seminario de Lógica de Bogotá  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2013-01-16 00:00:00.0,  2014-12-16 00:00:00.0   en BOGOTÁ, D.C.   - Universidad de los Andes - Universidad Nacional de Colombia  
    Productos asociados
    • Nombre del producto:Keisler measures and generically stable measures Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE LOS ANDES Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Asistente , Organizador , Ponente
    11 Nombre del evento: Models and Sets seminar - University of Leeds  Tipo de evento: Seminario  Ámbito: Internacional  Realizado el:2016-06-06 00:00:00.0,  2017-06-16 00:00:00.0   en Leeds   - School of Mathematics - University of Leeds  
    Productos asociados
    • Nombre del producto:A measure-theoretic approach to the theory of dense hypergraphs Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:University Of Leeds Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador , Ponente
    12 Nombre del evento: Finite structures and limits seminar - UC Berkeley  Tipo de evento: Seminario  Ámbito: Internacional  Realizado el:2014-03-03 00:00:00.0,  2014-05-20 00:00:00.0   en Berkeley, CA   - University of California - Berkeley  
    Productos asociados
    • Nombre del producto:Asymptotic classes of finite structures Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    • Nombre del producto:A proof of Szemerédi's Regularity Lemma via ultraproducts Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:University of California, Berkeley Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador , Ponente
    13 Nombre del evento: Mathematical Sciences Seminar - Birkbeck College  Tipo de evento: Seminario  Ámbito: Internacional  Realizado el:2017-03-22 00:00:00.0,  2017-03-22 00:00:00.0   en Londres   - Birkbeck College - University of London  
    Productos asociados
    • Nombre del producto:Ultraproducts in asymptotic combinatorics Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:University Of London Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente
    14 Nombre del evento: Logic Seminar - University of Central Lancashire  Tipo de evento: Seminario  Ámbito: Internacional  Realizado el:2017-03-13 00:00:00.0,  2017-03-13 00:00:00.0   en Preston   - University of Central Lancashire  
    Productos asociados
    • Nombre del producto:Higher amalgamation for measurable structures Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:University of Central Lancashire Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente
    15 Nombre del evento: Congreso Colombiano de Matemáticas - Bucaramanga - 2011  Tipo de evento: Congreso  Ámbito: Nacional  Realizado el:2011-07-11 00:00:00.0,  2011-07-15 00:00:00.0   en BUCARAMANGA   - Universidad Industrial de Santander  
    Productos asociados
    • Nombre del producto:Bifurcación y thorn-bifurcación en teorías de primer orden Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:Sociedad Colombiana De Matematicas Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente
    16 Nombre del evento: MSRI Program: Model Theory, Arithmetic Geometry and Number Theory  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2012-01-09 00:00:00.0,  2012-05-30 00:00:00.0   en San Diego   - Mathematical Science Research Institute  
    Instituciones asociadas
    • Nombre de la institución:Mathematical Science Research Institute Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Asistente
    17 Nombre del evento: Séminaire de Théorie de Modèles et Groupes  Tipo de evento: Seminario  Ámbito: Internacional  Realizado el:2016-04-05 00:00:00.0,  2016-04-05 00:00:00.0   en Paris   - UNIVERSITE PARIS VII  
    Productos asociados
    • Nombre del producto:Unimodularity unified Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:Universite De Paris Vii Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente
    18 Nombre del evento: Simposio Latinoamericano de Lógica Matemática - Buenos Aires 2014  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   - Universidad de Buenos Aires  
    Productos asociados
    • Nombre del producto:O-asymptotic classes of finite structures Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:Association For Sympolic Logic Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente
    19 Nombre del evento: Public Lectures - IPM - Isfahan  Tipo de evento: Seminario  Ámbito: Internacional  Realizado el:2016-11-03 00:00:00.0,  2016-11-03 00:00:00.0   en Isfahan   - Institute for Research in Fundamental Sciences - IPM - Isfahan  
    Productos asociados
    • Nombre del producto:Applications of ultraproducts of finite structures to combinatorics Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:Institute for research in fundamental science Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente
    20 Nombre del evento: BIRS Workshop - Neostability Theory  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2015-07-12 00:00:00.0,  2015-07-17 00:00:00.0   en Oaxaca   - Casa Matemática - Oaxaca  
    Productos asociados
    • Nombre del producto:Pseudofinite structures and simplicity Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:Banff International Research Station for Mathematical Innovation and Discov Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente
    21 Nombre del evento: Workshop on Notions of minimality and rank in dependent theories  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2012-06-10 00:00:00.0,  2012-06-13 00:00:00.0   en VILLA DE LEYVA   -  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE LOS ANDES Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Asistente
    22 Nombre del evento: LYMOTS - Lancashire and Yorkshire Model Theory  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2016-06-15 00:00:00.0,  2017-06-16 00:00:00.0   en Leeds   - University of Leeds  
    Productos asociados
    • Nombre del producto:Unimodularity and pseudofiniteness Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:British Logic Colloquium Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador , Ponente
    23 Nombre del evento: Logic Colloquium - 2016  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2016-07-31 00:00:00.0,  2016-08-06 00:00:00.0   en Leeds   - University of Leeds  
    Productos asociados
    • Nombre del producto:On variations of unimodularity and measurability Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:Association For Sympolic Logic Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Asistente , Compilador de memorias , Organizador , Ponente
    24 Nombre del evento: Logic Seminar - University of Oxford  Tipo de evento: Seminario  Ámbito: Internacional  Realizado el:2016-06-16 00:00:00.0,  2016-06-16 00:00:00.0   en Oxford   - Mathematical Institute - University of Oxford  
    Productos asociados
    • Nombre del producto:Pseudofinite dimensions and simplicity Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:University Of Oxford Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente
    25 Nombre del evento: Logic Seminar - University of Manchester  Tipo de evento: Seminario  Ámbito: Internacional  Realizado el:2017-02-08 00:00:00.0,  2017-02-08 00:00:00.0   en Manchester   - School of Mathematics - University of Manchester  
    Productos asociados
    • Nombre del producto:The Erdos-Hajnal property for stable graphs Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:University Of Manchester Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente
    26 Nombre del evento: Congreso Colombiano de Matemáticas - Barranquilla - 2013  Tipo de evento: Congreso  Ámbito: Nacional  Realizado el:2013-07-15 00:00:00.0,  2013-07-19 00:00:00.0   en Chicago   - Universidad del Norte  
    Productos asociados
    • Nombre del producto:Ultraproductos, medidas y quasidimensiones Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:Sociedad Colombiana De Matematicas Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente
    27 Nombre del evento: Simposio Latinoamericano de Lógica - Bogotá - 2012  Tipo de evento: Simposio  Ámbito: Internacional  Realizado el:2012-06-04 00:00:00.0,  2012-06-08 00:00:00.0   en BOGOTÁ, D.C.   - Universidad de los Andes  
    Instituciones asociadas
    • Nombre de la institución:Association For Sympolic Logic Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador
    28 Nombre del evento: Workshop - Model theory of finite and pseudofinite structures  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2016-07-27 00:00:00.0,  2016-07-29 00:00:00.0   en Leeds   - University of Leeds  
    Instituciones asociadas
    • Nombre de la institución:Association For Sympolic Logic Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Compilador de memorias , Organizador
    29 Nombre del evento: Veranstaltungsübersicht - Logic Seminar  Tipo de evento: Seminario  Ámbito: Internacional  Realizado el:2017-04-19 00:00:00.0,  2017-04-19 00:00:00.0   en Freiburg   - Mathematisches Institut  
    Instituciones asociadas
    • Nombre de la institución:Marie Curie Fellowship - European Commission of Science Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente
    30 Nombre del evento: Model Theory and Applications - MTA  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2017-01-16 00:00:00.0,  2017-01-19 00:00:00.0   en Mons   - Université de Mons  
    Instituciones asociadas
    • Nombre de la institución:Université de Mons Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Asistente
    31 Nombre del evento: Model Theory in Wroclaw - 2017  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2017-06-30 00:00:00.0,  2017-07-01 00:00:00.0   en Wroclaw   - Instytut Matematyczny Uniwersytet Wroclawski  
    Instituciones asociadas
    • Nombre de la institución:Association For Sympolic Logic Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Asistente
    32 Nombre del evento: Model Theory, Bedlewo  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2017-07-03 00:00:00.0,  2017-07-08 00:00:00.0   en Bedlewo   - Banach Center - Institute of Mathematics  
    Instituciones asociadas
    • Nombre de la institución:Association For Sympolic Logic Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Asistente
    33 Nombre del evento: Workshop on Model Theory and Dynamics  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2017-07-15 00:00:00.0,  2017-07-20 00:00:00.0   en VILLA DE LEYVA   - Hotel Sta Viviana  
    Productos asociados
    • Nombre del producto:Minicurso: model theory of pseudofinite structures Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE LOS ANDES Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Ponente , Ponente magistral
    34 Nombre del evento: Berkovich spaces, tropical geometry and model theory  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2017-07-22 00:00:00.0,  2017-07-28 00:00:00.0   en BOGOTÁ, D.C.   - Universidad de los Andes  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE LOS ANDES Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Asistente
    35 Nombre del evento: Coloquio de Matemáticas  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2020-02-06 00:00:00.0,    en BOGOTÁ, D.C.   - Universidad de los Andes  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE LOS ANDES Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador
    36 Nombre del evento: Seminario Flotante de Lógica Matemática  Tipo de evento: Seminario  Ámbito: Internacional  Realizado el:2020-04-01 00:00:00.0,    en BOGOTÁ, D.C.   - Conferencias por medio de la plataforma zoom  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE LOS ANDES Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador , Ponente
    37 Nombre del evento: Workshop on Model Theory of Finite and Pseudofinite Structures  Tipo de evento: Simposio  Ámbito: Internacional  Realizado el:2018-04-09 00:00:00.0,  2018-04-11 00:00:00.0   en Leeds   - University of Leeds  
    Instituciones asociadas
    • Nombre de la institución:European Comission-Dg Research Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: DARIO ALEJANDRO GARCIA RICO Rol en el evento: Organizador

    Artículos

  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • DARIO ALEJANDRO GARCIA RICO, ALF ONSHUUS NINO, ALEXANDER USVYATSOV, "Generic stability, forking and thorn-forking" . En: Colombia 
    Transactions of the American Mathematical Society  ISSN: 0002-9947  ed: American Mathematical Society (2nd address)
    v.58 fasc.N/A p.36 - 57 ,2013,  DOI: https://doi.org/10.1090/S0002-9947-2012-05451-1
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • DARIO ALEJANDRO GARCIA RICO, FRANK WAGNER, "Unimodularity unified" . En: Colombia 
    Journal of Symbolic Logic  ISSN: 0022-4812  ed: Cambridge University Press
    v.81 fasc. p.1 - 15 ,2017,  DOI:  https://doi.org/10.1017/jsl.2016.60
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • DARIO ALEJANDRO GARCIA RICO, "Pseudofinite structures and simplicity" . En: Inglaterra 
    Journal of Mathematical Logic  ISSN: 0219-0613  ed: World Scientific Publ Co Pte Ltd
    v.15 fasc. p.1 - 41 ,2015,  DOI: https://doi.org/10.1142/S0219061315500026
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • DARIO ALEJANDRO GARCIA RICO, "Ordered asymptotic classes of finite structures" . En: Colombia 
    Annals of Pure and Applied Logic  ISSN: 0168-0072  ed: Elsevier Science Bv
    v.1 fasc. p.1 - 27 ,2020,  DOI: 10.1016/102776
    Palabras:
    Pseudofinite structures, Asymptotic classes, Finite ordered structures, NTP2,

    Capitulos de libro

  • Tipo: Capítulo de libro
    DARIO ALEJANDRO GARCIA RICO, "VC-dimensión y aprendizaje automático" Matemáticas En Tecnología Y Educación: Una Perspectiva Republicana . En: Colombia  ISBN: 978-958-35-0960-5  ed: Editorial Temis S.A. (Bogotá) , v. , p.1 - 26  1 ,2014
    Palabras:
    Aprendizaje automático,
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Aplicadas,
  • Otra producción blibliográfica

  • Producción bibliográfica - Otra producción bibliográfica - Otra
  • DARIO ALEJANDRO GARCIA RICO, "MINICOURSE ON MODEL THEORY OF PSEUDOFINITE STRUCTURES" En: . 2018. p.
    Palabras:
    Pseudofinite structures, Simplicity, Stability, Finite ordered structures, Asymptotic classes,
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Puras,

    Informes de investigación

  • Producción técnica - Informes de investigación
  • DARIO ALEJANDRO GARCIA RICO, Informe de Investigación I . En: ,  ,2017, 

    Demás trabajos

  • Demás trabajos - Demás trabajos
  • DARIO ALEJANDRO GARCIA RICO, Clases elementales abstractas: ejemplos de no localidad . En: Colombia,  ,2007,  finalidad: Trabajo de conclusión de pregrado 
  • Demás trabajos - Demás trabajos
  • DARIO ALEJANDRO GARCIA RICO, Grafos aleatorios y sus aplicaciones . En: Colombia,  ,2016,  finalidad: Artículo de divulgación sobre grafos aleatorios y sus aplicaciones en computación  
  • Demás trabajos - Demás trabajos
  • DARIO ALEJANDRO GARCIA RICO, Model theory of pseudofinite structures . En: Reino Unido,  ,2016,  finalidad: Lecture notes on Model Theory of pseudofinite structures 
  • Demás trabajos - Demás trabajos
  • DARIO ALEJANDRO GARCIA RICO, MINICOURSE ON MODEL THEORY OF PSEUDOFINITE STRUCTURES . En: Francia,  ,2018,  finalidad: Notas de un minicurso en estructuras pseudofinitas, dictado en el Institut Henri Poincaré los días Febrero 8,9 de 2018. Este curso fue dado en el marco del programa "Model Theory, Combinatorics and Valued Fields" celebrado durante el primer trimestre de 2018. 
  • Demás trabajos - Demás trabajos
  • DARIO ALEJANDRO GARCIA RICO, O-asymptotic classes of finite structures . En: Colombia,  ,2014,  finalidad: Artículo con investigación doctoral. 
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Puras,

    Proyectos

    Tipo de proyecto: Investigación y desarrollo 
    Propiedades asintóticas de grafos y sus aplicaciones en computación y redes
    Inicio: Marzo  2016 Fin: Diciembre  2017 Duración 
    Resumen

    El principal objetivo de este proyecto es estudiar el uso de grafos aleatorios (especialmente límites de grafos aleatorios finitos) en criptografía. Una primera fase será la introducción a los conceptos básicos importantes en teoría de grafos, con especial énfasis en grafos aleatorios, el método probabilístico, y sus aplicaciones más estudiadas en redes de gran tamaño (tales como World-Wide-Web o Facebook) y en seguridad para el flujo de información en dichas redes. Una segunda fase será el estudio de grafos expansores, especialmente aquellos definidos para campos finitos de gran tamaño, debido a sus aplicaciones en criptografía de curvas elípticas y en su uso en algoritmos de búsqueda aleatoria para el desciframiento de mensajes encriptados. El punto de partida para esta segunda fase será la lectura de los artículos de investigación [S. Jukna; Extremal combinatorics with applications to computer science; 2011] y [A. Samir; Random graphs in criptography; 2014], desde una perspectiva en la que límites infinitos de modelos finitos (y sus propiedades) pueden ser usados dar información sobre las clases de campos finitos usados en las diferentes aplicaciones criptográficas.

    Tipo de proyecto: Investigación y desarrollo 
    Diseño de un sistema de información para el análisis de capacidades productivas y elaboración de un software genérico para ser implementado en plantas manufactureras
    Inicio: Enero  2018 Fin: Marzo  2019 Duración 
    Resumen


    Tipo de proyecto: Investigación y desarrollo 
    Teoría de modelos de estructuras pseudofinitas.
    Inicio: Junio  2018 Duración 
    Resumen

    Este proyecto hace parte del Programa de Estancias Postdoctorales de Colciencias. Una estructura se denomina pseudofinita si satisface las mismas propiedades de primer orden de un ultraproducto de estructuras finitas, o equivalentamente, si cada sentencia de primer orden que es cierta en la estructura es cierta en algún modelo finito. Entre los ejemplos de estructuras pseudofinitas podemos encontrar el grafo aleatorio, los espacios vectoriales y otras geométricas clásicas sobre campos finitos, los campos pseudofinitos (estudiados por J. Ax en 1968) y el conjunto de puntos F-racionales de un grupo algebraico simple sobre un campo pseudofinito F. Este proyecto se enmarca entonces en la siguiente pregunta general ¿qué otras relaciones existen entre los diferentes conceptos de teoría de modelos (teorías estables, teorías dependientes, U-rangos, tipos genéricamente estables, H-estructuras, pares adorables, etc.) si nos restringimos únicamente al estudio de estructuras pseudofinitas? OBJETIVO 1. Determinar la existencia de teorías pseudofinitas NIP que eliminan el cuantificador existe infinito. Conjetura: Sea T una teoría completa, pseudofinita y NIP. Si T elimina el cuantificador existe infinito, entonces T es estable. OBJETIVO 2. Estudiar los conceptos de H-estructuras, pares adorables y modularidad en el marco de campos pseudofinitos y estructuras pseudofinitas. En este objetivo intentaremos determinar si el principio de tricotomía es válido para campos pseudofinitos, o para estructuras pseudofinitas con hipótesis estructurales como tener U-rango finito, ser simples, NIP, etc. Una conexión interesante el hecho de que los campos pseudofinitos son ejemplos de estructuras geométricas, un concepto ampliamente estudiado por Hrushovski, Vassiliev y Berenstein, y en particular se pueden construír H-estructuras y pares adorables de estas estructuras. En un proyecto conjunto con Berenstein y Tingxiang Zou (Université Claude-Bernard, Lyon 1) buscamos estudiar propiedades de H-estructuras pseudofinitas, en particular la relación existente entre bifurcación y one-basedness de la teoría resultante en términos de diferentes dimensiones pseudofinitas que provienen de clases de estructuras finitas. OBJETIVO 3. Estudiar estructuras dependientes/distales pseudofinitas Los tipos genéricamente estables (y medidas genéricamente estables) son una generalización del concepto de tipos estables en teorías arbitrarias. Estos tipos han sido el objeto de estudio reciente, incluyendo trabajo de García, Onshuus y Usvyatsov en donde se mostró que las nociones de forking y thorn-forking coinciden para tipos genéricamente estables en teorías arbitrarias. Se busca entonces dar una caracterización de tipos genéricamente estables en teorías pseudofinitas

    Tipo de proyecto: Investigación y desarrollo 
    Model theory of finite and pseudofinite structures
    Inicio: Junio  2016 Duración 
    Resumen

    The project concerns the interplay between the model theory of finite structures (in the sense of first order logic) and their infinite limits (pseudofinite structures, e.g. ultraproducts). Our objectives are clustered into three main themes, namely: to develop modern model-theoretic techniques of generalised stability theory in the context of pseudofinite structures; to develop the theory of pseudofinite groups, with connections to Szemerédi's Regularity Theorem; and to build a model theory of (pseudo)finite ordered structures and explore links to finite model theory, a topic in theoretical computer science. The objectives of this project can be broken into three components: 1. PURE MODEL THEORY OF PSEUDOFINITE STRUCTURES. In geometric model theory, structures are often governed by definable sets with a closure operator cl giving a matroid or pregeometry, and a fruitful theme is a trichotomy proposed by Zilber: such a set is trivial (cl(A) = (cl(a) : a ∈ A)), or modular (like linear closure in vector spaces) or non-modular, and the trichotomy asserts that the second case corresponds to a module structure, and the third arises through the presence of an infinite field. This holds in o-minimal structures and in Zariski geometries, a fact used powerfully in Hrushovski¿s work in the 1990s on the Mordell-Lang and Manin-Mumford Conjectures. A pseudofinite pregeometry is identified in [GMS]. It is exemplified by one-dimensional asymptotic classes, and gives a compelling setting for the following. - Objective 1. Prove a pseudofinite version of the Zilber Trichotomy with the above pregeometry. - Objective 2. Find characterisations in terms of pseudofinite dimension, and new examples, of generically stable types and measures in pseudofinite structures. Isolate conditions on pseudofinite dimension which ensure that a pseudofinite structure is (super)rosy, and thorn-independence coincides with delta-independence. 2. PSEUDOFINITE GROUPS There is extensive literature on pseudofinite groups. For example, Macpherson and Tent proved that stable pseudofinite groups are soluble-by-finite and obtained structural results on pseudofinite NIP groups. By work of J.S. Wilson and Hrushovski, group-theoretically simple pseudofinite groups are model-theoretically supersimple. - Objective 3. Find positive first order sentences (with quantifiers followed by a quantifier-free part just using ¿and¿ and ¿or¿) which hold for all finite groups but not for all groups. In [Go], Gowers works with a class of finite groups with no low-dimensional non-trivial representation (a quasi-random group), and proves results on products of subsets remarkably similar to work on model theory of groups. Nikolov and Pyber note that these yield the following close analogue to our result mentioned above: if G is a group of order $n$ such that the minimal degree of a nontrivial representation is $k$, and $X_1, X_2, X_3$ are subsets of $G$ with $|X1| · |X2| · |X3| > n^3/k$ , then $X1 · X2 · X3 = G$. - Objective 4. Find connections between quasi-random groups, the Independence Theorem, and Szemerédi Regularity, and give a model-theoretic treatment of the Gowers results, possibly with the representation- theoretic condition replaced by a model-theoretic analogue. 3. ORDERED PSEUDOFINITE STRUCTURES, AND LINKTS TO FINITE MODEL THEORY. - Objective 5. (a) Find new examples of o-minimal robust chains and o-asymptotic classes (and quotients of their ultraproducts), develop the model theory (e.g. a cell decomposition theory and dimension theory) for robust chains, and find connections between the two concepts. (b) Explore links of these concepts to finite model theory. REFERENCES [GMS] D. García, D. Macpherson, C. Steinhorn. "Pseudofinite structures and simplicity". Journal of Mathematical Logic. 2015 [Go] W.T. Gowers. "Quasirandom groups". Available at http://arxiv.org/pdf/0710.3877v1.pdf

    Tipo de proyecto: Investigación y desarrollo 
    VC-dimensión y aprendizaje automático
    Inicio: Junio  2012 Fin proyectado: Junio  2013 Fin: Junio  2013 Duración 12
    Resumen

    La teoría de Vapnik-Chervonenkis (VC-theory, como es conocida en inglés) es una teoría de aprendizaje automático y computacional desarrollada por Vladimir Vapnik y Alexei Chervonenkis durante un período de más de 30 años (1960-1993), que intenta explicar los procesos de aprendizaje mediante ensayo-error desde un punto de vista puramente estadístico. La VC-dimension y la VC-densidad son dos invariantes numéricas que miden el nivel de complejidad de la familia de conjuntos (por ejemplo, agrupaciones de píxeles) que se establezca desde un principio. Los resultados obtenidos en esta teoría permitieron desarrollar lo que hoy conocemos como máquinas de vectores de soporte (support vector machines) que son máquinas de aprendizaje automático con métodos de supervisión de datos capaces de clasificar información y de predecir el comportamiento de una variable dada a lo largo de una familia de conjuntos. Por un teorema de tipo combinatorio debido a Sauer y Shelah, se sabe que la VC-densidad de una familia de conjuntos está acotada de manera por un polinomio, convirtiendo el problema de reconocimiento de patrones en la familia de subconjuntos dada en un problema de tipo polinomial, que puede ser resuelto mediante la implementación de algoritmos. En lógica matemática, y más explícitamente en teoría de modelos, el concepto de VC-dimensión apareció en los trabajos de Michael Chris Laskowski, quien observó que una teoría de primer orden es dependiente si y sólo si todos los conjuntos definibles tienen VC-dimension finita. Karpinski y Macintyre calcularon en [Ka-Mac] cotas explícitas para la VC-dimensión de familias definibles de conjuntos en estructuras o-minimales, y propusieron usar la VC-dimensión como base teórica para algoritmos de redes neuronales. A pesar de ser una teoría que data de los años 60, sólo hasta ahora se ha visto el gran impacto que tiene esta teoría, pues en los última década es que se han desarrollado algoritmos eficientes de reconocimiento de lectura a mano (como el usado por el Ipad) y de escáner de superficies (usado en medicina para encontrar células cancerígenas) El objetivo principal del proyecto será recopilar información bibliográfica conducente a la comprensión de las aplicaciones de la lógica matemática en inteligencia artificial, así como la determinación explícita de cotas que permitan optimizar los algoritmos usados en esta área. Dado que la noción de VC-densidad tiene aplicaciones tanto en lógica (teoría de modelos) como en computación (inteligencia artificial), creo que es importante comprender la VC-dimension y la VC-densidad para así hacer más accequible el conocimiento de los últimos desarrollos en computación e inteligencia artificial.