Tesis dirigidas

Licenciatura

Ciencias de la Computación

• Técnicas para construir un compilador eficiente en Haskell, Laura Alicia Leonides Jiménez. Examen aprobado en mayo de 2005.
  TESIUNAM


• Semántica de lenguajes paralelos de orden superior. El caso de GAMMA, Gustavo de la Cruz Martínez. Examen aprobado el 21 de junio de 2002.
  TESIUNAM


• Sistemas de reducción compuestos. El caso de GAMMA, Edgar Bermúdez Contreras. Examen aprobado el 31 de mayo de 2002.
  TESIUNAM

Matemáticas

• Encaje de las redes neuronales analógicas recurrentes en la jerarquía aritmética y los lenguajes que aceptan según la complejidad de sus pesos, Héctor Zenil Chávez. Examen aprobado en junio de 2005.
  TESIUNAM

Maestría

Ciencia e Ingeniería de la Computación

• Enumeración de programas, Eduardo Acuña Yeomans. En cotutoría con Héctor Zenil. Examen aprobado en abril de 2022.
  TESIUNAM


• Sobre la corrección de algoritmos para la enumeración de n-adas para la enumeración de programas, Luis Felipe Benítez Lluis. En cotutoría con Héctor Zenil. Examen aprobado en marzo de 2022.
  TESIUNAM


• Un compilador correcto verificado de Mini-ML a la máquina SECD en Coq, Ángel Francisco Zúñiga Chávez. En cotutoría con Favio Miranda. Examen aprobado en mayo de 2016.
  TESIUNAM


• Resultados en lógica de justificación y una implementación del teorema de elucidación, Jesús Mauricio Andrade Guzmán. Examen aprobado en enero de 2016.
  TESIUNAM


• Distribución del aceleramiento no trivial en la demostración de sistemas axiomáticos aleatorios en el cálculo de proposiciones, Santiago Hernández Orozco. En cotutoría con Héctor Zenil. Examen aprobado en marzo de 2014.
  TESIUNAM


• Una lógica dinámica epistémica para la comunicación asíncrona por canales inseguros, Pedro Arturo Góngora Luna. Examen aprobado en abril de 2008.
  TESIUNAM


• Análisis lógico del flujo de información en el juego de dominó, Fernando Raymundo Velázquez Quesada. Examen aprobado en diciembre de 2005.
  TESIUNAM

Filosofía de la Ciencia

• La probabilidad algorítmica de Solomonoff a la luz de la navaja de Ockham y el principio de múltiple explicación de Epicuro, Carlos González Colín. Examen aprobado en abril de 2021.
  TESIUNAM


• Análisis epistémico del sistema distribuido Listener-Teller :una instancia de omnisciencia lógica en inteligencia artificial y una aplicación de la lógica de justificaciones, Rodrigo Medina Vega. Examen aprobado en octubre de 2016.
  TESIUNAM


• Lógica deóntica y temporalidad: el caso de ATL, Francisco Martínez Herrera. Examen aprobado en septiembre de 2016.
  TESIUNAM


• El conocimiento en el sudoku: un ejemplo de epistemología formal, Melisa Gutiérrez Vivanco. Examen aprobado en noviembre de 2012.
  TESIUNAM


• Generando modelos de persuasión óptima con anuncios públicos, Fabiola López Velázquez. Examen aprobado en julio de 2009.
  TESIUNAM


• El concepto de implementación en la teoría de la conciencia de Chalmers, Antonio González García. Examen aprobado en enero de 2009.
  TESIUNAM

Doctorado

Ciencia e Ingeniería de la Computación

• Algorithmic Probability-driven and Open-ended Evolution, Santiago Hernández Orozco. En cotutoría con Héctor Zenil. Examen aprobado en abril de 2018.
  TESIUNAM


• Racionalidad acotada, lógica y programación dinámica aplicadas a teoría de juegos, Eduardo Espinosa Avila. Examen aprobado en diciembre de 2017.
  TESIUNAM

Filosofía de la Ciencia

• Lógica de justificación deóntica y representación formal en diálogos normativos, Francisco Martínez Herrera. Examen aprobado en agosto de 2021.
  TESIUNAM