I am a PhD student at the Theory of Artificial Intelligence Group at the Universität Bremen. I work under the supervision of Prof. Dr. Carsten Lutz. Before my PhD, I obtained a International Masters in Computational Logic in January 2009 at the Technische Universität Dresden. My research interests are Description Logics, Temporal Logics, Model Checking and Conceptual Modeling.

Long time ago I was born in Mexico City, Mexico. I studied Computer Science at the Universidad Nacional Autónoma de México where I obtained a B.Sc.