|search externally:||Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife|
I am on a Juan de la Cierva research contract at the Department of Philosophy, Logic and Philosophy of Science of the University of Seville.
My research is on Dynamic Topological Logic, a modal framework for reasoning about dynamic topological systems. This research is supported by a Kurt Gödel Centenary Research Prize.
I belong to the Logic, Language and Information Group of the University of Seville. We are currently beginning a project entitled Logic for Inconditionally Safe Protocols.
I did my undergraduate studies in Applied Mathematics at ITAM, Mexico, and my PhD in Mathematics at Stanford University. My thesis advisor was Grigori Mints.
Towards a Modal Proof Theory of Topological Dynamics
as author at Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011,