Los cursos siguientes han sido presentados exclusivamente para estudiantes inscritos en la Sección de Computación, en el Programa de Doctorado en Ciencias del Departamento de Ingeniería Eléctrica. Cada uno tuvo una duración de 50 horas de exposición.
Ene-96 a Abr-96: Métodos paralelos de demostración automática
Ene-95 a Abr-95: Demostración automática
Sep-94 a Dic-94: Teoría de la Complejidad
Sep-94 a Dic-94: Lingüística Computacional
May-94 a Ago-94: Especificación Formal
May-94 a Ago-94: Lenguajes de programación paralela
Ene-94 a Abr-94: Tópicos selectos de sistemas distribuídos
Sep-93 a Dic-93: Tratamiento del Lenguaje Natural y lógica
Sep-93 a Dic-93: Redes de computadoras