- Set Theory (Math.), Universidad Nacional de Colombia, Fall 2015.
- Fundamentals of Mathematics (Math, Statistics, Physics), Universidad Nacional de Colombia, Fall 2015.
- Mathematical Logic (Mathematics), Universidad Nacional de Colombia, Spring 2015.
- Linear Algebra (Science and Engineering Bachelor programs), Universidad Nacional de Colombia, Spring 2015.
- Model Theory (Bachelor-Graduate programs in Math), Universidad Nacional de Colombia, Fall 2014
- Set Theory (Math.), Universidad Nacional de Colombia, Fall 2014.
- Linear Algebra (Sciences-Engineering), Universidad Nacional de Colombia, Fall 2014.
- Model Theory (Bachelor-Graduate programs in Math), Universidad Nacional de Colombia, Spring 2014.
- Fundamentals of Mathematics (Math, Statistics, Physics), Universidad Nacional de Colombia, Spring 2014.
- Basic Linear Algebra (Math, Statistics, Physics), Universidad Nacional de Colombia, Fall 2013.
- Discrete Mathematics II (System Engineering), Universidad Nacional de Colombia, Fall 2013.
- Mathematical Logic (Mathematics), Universidad Nacional de Colombia, Spring 2013.
- Fundamentals of Mathematics (Math, Statistics, Physics), Universidad Nacional de Colombia, Spring 2013.
- Fundamentals of Mathematics (Math, Statistics, Physics, System Engineering), Universidad Nacional de Colombia, Fall 2012.
- Linear Algebra (Sciences, Engineering), Universidad Nacional de Colombia, Fall 2012
- Mathematical Logic (Mathematics), Universidad Nacional de Colombia, Spring 2012
- Discrete Mathematics (Engineering), Universidad Nacional de Colombia, Spring 2012.
- Linear Algebra (Sciences, Engineering), Universidad Nacional de Colombia, Fall 2011
- Discrete Mathematics (Engineering), Universidad Nacional de Colombia, Fall 2011
- I enjoyed a teaching leave because of my Ph.D. studies between Fall 2008 - Spring 2011.
- Logic III (Philosophy), Universidad Nacional de Colombia, Spring 2008
- Basic Mathematics (Chemistry), Universidad Nacional de Colombia, Spring 2008
- Logic II (Philosophy), Universidad Nacional de Colombia, Fall 2007
- Basic Mathematics (Chemistry), Universidad Nacional de Colombia, Fall 2007
- Logic II (Philosophy), Universidad Nacional de Colombia, Spring 2007
- Diferential Calculus (Physics), Universidad Nacional de Colombia, Spring 2007
- Mathematics II (Engineering), Universidad Nacional de Colombia, Fall 2006
- Logic II (Philosophy), Universidad Nacional de Colombia, Spring 2006
- Mathematics III (Chemistry), Universidad Nacional de Colombia, Fall 2005
- Logic I (Mathematics), Universidad Sergio Arboleda, Fall 2004
- Set theory (Mathematics), Universidad Sergio Arboleda, Fall 2003 and Spring 2004
- Mathematics III (Engineering), Universidad Nacional de Colombia, Fall 2003.
- Logic II (Philosophy), Universidad Nacional de Colombia, Spring 2003
- Mathematics II (Engineering), Universidad Nacional de Colombia, Spring 2003.