Andrés Sicard-Ramírez

I am lecturer in the Fundamental Sciences department at EAFIT University. I also am the head of the Logic and Computation Research Group. My research interests are computability, hypercomputation, non-classic logics, quantum computation and type theory.

Publications and talks

Courses

• Discrete structures - CB0246/2012-01, undergraduate course
• Automata and formal languages - CB0081/2011-02, undergraduate course
• Dependently typed functional languages - CB0683/2011-01, master course
• Lambda-calculus - 2010-02, undergraduate course, slides
• Logic - CB0260/2009-01, undergraduate course
• Quantum computation - 2004, X Encuentro ERM, slides (Spanish)
• Paraconsistent logic - HL0649/2003-02, master course, slides (Spanish)
• Quantum computation - CB120/2003-01, undergraduate course, (Spanish)

Master studies

• Logics, Languages and Algorithms track for the Master of Applied Mathematics
• Master thesis proposal: Agda proof terms reconstruction

Contact information

• Email: asicard (at) eafit (dot) edu (dot) co
• Postal address:
  Andrés Sicard Ramírez
  Departamento de Ciencias Básicas
  Universidad EAFIT
  Cra. 49 No. 7 sur 50
  Medellín, Colombia

Last modified: Fri Mar 16 10:22:03 COT 2012.