Graduate studies: Logics, Languages and Algorithms track

Introduction

The Logic and Computation research group of EAFIT UNIVERSITY offers the track in Logics, Languages and Algorithms in the Master of Applied Mathematics and the Master of Engineering. The goal is the development of methods based on the logics and the mathematics, for the analysis, the correction, the debugging, and the verification of functional-logic programs.

Professors - Research interests

  • Juan Francisco Cardona-McCormick - Attribute grammars and program analysis
  • Francisco José Correa-Zabala - Declarative debugging of logic-functional programs
  • Andrés Sicard-Ramírez - Construction and verification of functional programs using type theory

Courses

Master theses proposals

Contact information

  • Juan Francisco Cardona-McCormick (fcardona (at) eafit (dot) edu(dot) co)
  • Francisco José Correa-Zabala (fcorrea (at) eafit (dot) edu (dot) co)
  • Andrés Sicard-Ramírez
Ċ
Andrés Sicard-Ramírez,
Jul 4, 2011, 9:02 PM
Ċ
Andrés Sicard-Ramírez,
Jul 4, 2011, 9:08 PM
Ċ
Andrés Sicard-Ramírez,
Jul 4, 2011, 8:58 PM
Ċ
Andrés Sicard-Ramírez,
Oct 13, 2010, 4:56 PM
Ċ
Andrés Sicard-Ramírez,
Oct 13, 2010, 4:57 PM
Comments