Gustavo Ospina

Gustavo Ospina est ingénieur de recherche au département de génie logiciel et système (SSE) du CETIC.

Après avoir obtenu en 1997 son diplôme d’ingénieur informaticien à l’Université des Andes à Bogota (Colombie), il est arrivé en Belgique pour continuer sa carrière comme assistant d’enseignement et chercheur sur la combinaison des paradigmes et langages de programmation. Il obtient le titre de docteur en sciences appliquées en 2007 à l’Université catholique de Louvain avec une thèse qui présente un cadre formel pour modéliser l’interopérabilité de programmes écrits dans des langages de programmation différents. Par la suite il a pu appliquer ses compétences pour le développement multilangage dans le projet SEPLanS à l’Université de Namur, avec l’implémentation du moteur d’inférence d’un système expert en planification successorale.

Ses centres d’intérêt sont les techniques de raisonnement et d’apprentissage automatique, les outils et méthodologies de modélisation et développement de logiciels, l’analyse de code source et les applications pratiques des langages de programmation déclaratives.