Materias impartidas

Cursos en la Facultad de Ciencias:

• Autómatas y lenguajes formales (página del curso en el sem. 2023-2)
• Lógica computacional (página del curso en el sem. 2023-2)
• Matemáticas discretas
• Semántica y verificación
• Taller de biología sintética
• Complejidad Computacional (página del curso en el sem. 2017-2)

Cursos en el Posgrado en Ciencia e Ingeniería de la Computación

• Autómatas y lenguajes formales (página del curso en el sem. 2023-1)
• Computabilidad
• Especificación formal
• Lenguajes de programación
• Lenguajes formales en sistemas biológicos
• Lógica computacional
• Lógica matemática
• Semántica de lenguajes de programación

Cursos en el Posgrado en Filosofía de la Ciencia

• Lógica 1 (página del curso en el sem. 2022-1)
• Seminario de temas selectos de filosofía de las matemáticas y lógica de la ciencia.
  Lógica modal (página del curso en el sem. 2012-1)
• Seminario de temas selectos B (Lógica). Lógicas no clásicas
• Seminario de temas selectos C (Computación y neurociencias). Teoría de la computabilidad