Student of Computer Science at Universidad Nacional de Colombia. I am interested in Algorithms Analysis, Complexity Theory, and currently in Set Theory. Also with some friends, we made a blog of Non-Well Founded Set Theory(It's in Spanish).