Xavier Caicedo Ferrer is Professor Emeritus at the Los Andes University, Colombia. PhD in Mathematics at the University of Maryland, USA, he is also a system engineer. After teaching at the University of Ottawa, Canada, and at the University of Maryland, when returning to Colombia he began working at the Los Andes University. He was also an Associate Professor at the National University of Colombia. He was visiting researcher, among others, at the University of Maryland and at the University of Campinas (UNICAMP). He was editor of the Revista Colombiana de Matemáticas, president of the Colombian Mathematical Society, president of the Committee for Logic in Latin America of the Association for Symbolic Logic, and has won numerous awards in Colombia. He is a member of the Centre for Logic, Epistemology and the History of Science (CLE) at the University of Campinas (UNICAMP) and member of The World Academy of Sciences for the advancement of science in developing countries (TWAS). Currently he is the vice-president of the Colombian Academy of Sciences. His areas of interest are the theory of models, algebra, topology, the foundations of mathematics, and the foundations of mathematical logic and its deep connection and applicability in computer Science.