I hold a B.A. Universidad de Los Andes, an M.A. Philosophy, Universidad Nacional de Colombia (Bogot, Colombia), and a M.Sc. Logic, Computation and Methodology, Carnegie Mellon University. I am interested in formal representations of knowledge, the epistemic logics that may result, and the computational properties of said models. As a secondary interest, I often ponder the aesthetic properties of beer and similar beverages.
Research interests
formal representations of knowledge, the epistemic logics that may result, and the computational properties of said models
The College of Arts