Universität Leipzig
(April 2006 - date)
| Graduiertenkolleg Wissensrepräsentation
- Consistency handling in Description Logics
|
Technische Universität Dresden
(October 2004 - March 2006)
| Master in Computational Logic
- Thesis about conditions for optimized decision procedures in automata.
- Project about equivalence between Alternating and Non-deterministic automata.
- Average: 1.0 (highest possible).
|
Instituto Tecnológico Autónomo de México
(August 1999 - May 2003)
| Bachelor in Applied Mathmatics
- Specializatión in Artificial Intelligence.
- Thesis about Knowledge Based Systems, probabilistic networks and KAMET.
- Proposed a method for translating KAMET models into Bayesian networks.
- Graduated with Honorific Mention.
- Average: 9.31/10
|