Francisco José Correa Zabala

Die Suchergebnisse bei Legimi sind auf die vom Nutzer angegebenen Suchkriterien zugeschnitten. Wir versuchen Titel, die für unsere Nutzer von besonderem Interesse sein könnten, durch die Bezeichnung "Bestseller" oder "Neuheit" hervorzuheben. Titel in der Liste der Suchergebnisse können auch sortiert werden - die Sortierauswahl hat Vorrang vor anderen Ergebnissen."

Francisco José Correa Za bala:  Doctor en Informática de la Univer­sidad Politécnica de Valencia Espa­ña. Especialista en Sistemas de In­formación de la Universidad EAFIT y Matemático puro de la Univer­sidad de Antioquia. Docente Inves­tigador de la Universidad EAFIT Ha participado en el desarrollo de pro­yectos, tanto a nivel nacional como internacional, entre otros: Language Engineering and Rigorous Software Development (LER), Software En­vironments and Lightweight For­malisms (SELF), Herramientas SoITwaRE formales: una Aproxima­ción Multiparadigma (STREAM) y Futuro Digital. Ha sido docente e in­vestigador invitado en varias oportu­nidades por la Universidad de Udine en Italia y por la Universidad Po­li técnica de Valencia en España, con el grupo de investigación: Exten­siones de la Programación Lógica (EPL). Han sido numerosas sus par­ticipaciones en seminarios, congre­sos y eventos, y sus publicaciones en libros y revistas: "An Integrated, Framework for the Diagnosis and Correction ofRule-based Programs", "Correction of Functional Logic Program", "A Debugging Scheme for Functional Logic Programs", "A Multi-paradigm Automatic Co­rrection Scheme". Las áreas más re­levantes de sus publicaciones han si­do: Métodos Formales para el Desa­rrollo de Software,Algoritmos Gené­ticos, Matemáticas Básicas y Diseño Curricular por competencias.