Andrés Sicard Ramírez

I am professor in the Mathematical Sciences Department and I am head of the Logic and Computation research group at Universidad EAFIT. Currently my research interests are verification of functional programs, type theory, proof assistants and hypercomputation.

• Publications
• Talks
• Research reports
• Research proposals (master theses, semesters of practise, research practises, supplementary courses, etc.)
• Courses
• Logics, languages and algorithms track for the master of applied mathematics
• Logic and computation seminar
• Seminar of the PhD in Mathematical Engineering
• Supervised students
• Software tips and tricks
• Some activities: PC member of 12CCC 2017, 11CCC 2016, 10CCC 2015 and DCM 2015
• Contact information

Last modified: Mon Jan 22 23:16:55 -05 2024