Omitir los comandos de cinta
Saltar al contenido principal
Inicio de sesión
Universidad EAFIT
Carrera 49 # 7 sur -50 Medellín Antioquia Colombia
Carrera 12 # 96-23, oficina 304 Bogotá Cundinamarca Colombia
(57)(4) 2619500 contacto@eafit.edu.co
EAFITProgramas académicosPosgradosDoctorado en Ingeniería MatemáticaDoctorado en Ingeniería Matemática / Investigación

Líneas de investigación

​​​​​​Se han convocado 16 grupos de investigación de la Universidad EAFIT (de los 41 al interior de la Universidad) y cerca de 10 grupos o institutos de investigación fuera de la Universidad a nivel nacional e internacional que suministran elementos curriculares para la formación del Doctor en Ingeniería Matemática.​ ​​​​

Teoría de control y estimación

Línea de investigación I: Teoría de control y estimación.

Director(es):
Carlos Mario Vélez​​.
Olga Lucía Quintero M.

La teoría de control, desarrollada a partir de cuerpos matemáticos desde la década de 1950, ha jugado un papel relevante en el diseño e implementación de grandes avances a nivel mundial en los ámbitos ingenieriles, militares, económicos, financieros, de salud, entre otros.​ Más...

Línea de investigación II: Inteligencia artificial.

Director(es):​
Olga Lucía Quintero M.

Con el advenimiento de la era de la automatización, la pregunta natural surgió alrededor de darle inteligencia a las máquinas, dispositivos y herramientas con el fin de mejorar su capacidad de “razonamiento”, de manera tal que pudieran desempeñarse mejor en algunas tareas que los seres humanos, al desarrollar no solo experticia sino también una inigualable precisión en el desempeño de las mismas. ​Más...​

Línea de investigación I: Optimización en epidemiología.

Director(es): 
Maria Eugenia Puerta Yepes.​​              

Co-director(es):
Dr. Sair Arboleda.

​​​Definición de modelos matemáticos de transmisión de enfermedades y estimación de sus parámetros con sentido biológico, por métodos matemáticos de optimización e información necesaria disponible.Más...​

Línea de investigación II:​ Optimización aplicada y logística.

​Director(es): 

Maria Gulnara Baldoquín de la Peña.              
Juan Carlos Rivera.​

Co-director(es):
Juan Carlos Rivera.​
Dr. Antonio Mauttone.​​

Temáticas fundamentales que se abordan en esta línea: modelación matemática, optimización multiobjetivo, optimización combinatoria, heurísticas y matheurísticas, optimización bajo incertidumbre, programación lineal entera mixta.​ M​ás...


Grupos de Investigación

​​​

​Solución numérica de ecuaciones diferenciales

Línea de investigación I:​ Solución de ecuaciones diferenciales.

Director(es): 
Jairo Villegas.

José Albeiro Sánchez.
Orlando García.
Jorge Iván Castaño.           
Co-Director(es):
Dr. Ing. Manuel Julio García.
Juan Diego Jaramillo.

Solución numérica de ecuaciones diferenciales usando transformada Petrov Galerkin-wavelet y operadores pseudodiferenciales con aplicabilidad en geofísica.​

Grupos de Investigación

​​​

​Geometría e información

Se busca mostrar nuevas evidencias sobre el poder que tienen los procesos de difusión para simplificar, en términos de información, funcionales definidos en una variedad diferenciable M, y obtener así aquellos que sean los mejores en algún sentido; que bien puede ser dado por características matemáticas o por ventajas interpretativas en un contexto donde el proceso de difusión sirva para modelar.​

Línea de investigación I:​ Simplificación de funciones de Morse vía ecuaciones de difusión.
Director(es): 
Carlos Alberto Cadavid Moreno.​​              
Co-Director(es)

Prof. Dr. Jorge León David Caro​.

Para variedades riemannianas hiperbólicas tridimensionales cerradas y conexas nos proponemos ganar más evidencia experimental de que el proceso de difusión del calor recupera por sí mismo funciones de Morse minimales en tanto a la cantidad de números críticos, que son muy importantes puesto que describen de manera concisa, es decir, sin complejidades innecesarias, la topología de una variedad diferencial.​

​Línea de investigación II:​ Mecánica estadística no clásica en mercados.

Director(es): 
Gabriel Loaiza.
           
Co-Director(es):
Prof. Dr. Ec. John Jairo García.
Prof. Dr. Andrés Ramírez Hassan​​.
Se inicia un estudio del conjunto de entropías, buscando la más simple, respecto a las que el proceso de difusión en el medio poroso sea el de más rápido descenso. Esto último se aborda posiblemente teniendo en cuenta las entropías de Tsallis y/o la de Kaniadakis.
Finalmente estudia un problema que, aunque no es propiamente del tipo difusión, plantea herramientas teóricas que pueden conducir a considerar una variedad de información estadística que, además de resolver preguntas importantes en el contexto planteado, potencian la formulación de procesos de difusión. Se trata de la caracterización del despacho ideal en el mercado del sector eléctrico colombiano como un sistema no extensivo en el marco de la mecánica estadística de Tsallis.​


Grupos de Investigación

​​​

Lógica, lenguajes y algoritmos

Realiza actividades enfocadas en la construcción de modelos de computabilidad y a establecer sus relaciones con algunos modelos ya existentes; además de instaurar las diferentes posibilidades que ofrece la física cuántica, y en general la física moderna, para la construcción de nuevos modelos de computación y programación.​ De la misma forma, el trabajo del grupo se orienta a la construcción de sistemas deductivos a partir del cálculo proposicional clásico, al utilizar operadores de afirmación alterna (en contraste con la afirmación usual o afirmación clásica), negación alterna (en contraste con la negación usual o la negación clásica), y operadores de incompatibilidad y determinabilidad entre parejas de operadores (negaciones versus afirmaciones). El grupo desarrolla métodos para la corrección, depuración, escritura, transformación y verificación de programas lógicos y/o funcionales, mediante el empleo de técnicas formales.

Línea de investigación I:​ ​ Depuración declarativa.

Trabaja en el desarrollo de métodos para la verificación, depuración y corrección de programas lógico y/o funcionales, mediante el empleo de técnicas formales.

​Línea de investigación II:​ Lógicas para programas funcionales.

​Busca construir sistemas deductivos a partir del cálculo proposicional clásico, al utilizar operadores de afirmación alterna (en contraste con la afirmación usual o clásica), negación alterna (en contraste con la negación usual o clásica), y operadores de incompatibilidad y determinabilidad entre parejas de operadores (negaciones versus afirmaciones).​​

Grupos de investigación​:

Última modificación: 21/06/2019 12:20