Juan Francisco Díaz
Profesor Visitante Universidad del Valle, Agosto 2016 - Julio 2017

Contacto:

      Oficina: ML 218

      Correo:

      Extensión: 2893

  • Matemático, Universidad de los Andes, Colombia
  • Ingeniero de Sistemas y Computación, Universidad de los Andes, Colombia
  • DEA Informatique, Université Paris-Sud, Francia
  • Docteur en Informatique, Université Paris-Sud, Francia

Intereses y líneas de Investigación:

  • Expresividad cálculos concurrentes
  • Programación por restricciones
  • Teoría de la Computación
  • Lenguajes de Programación

2016-20

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2017-10

MATEMÁTICA ESTRUCTURAL Y LÓGIC