Computer Science Research lab at Universidad de los Andes, Colombia. Working on programming languages, Artificial Intelligence, Cryptography, and Bio/algorithms