Another cool template from 11Mystics.com
Teaching
Here you will find a list of the courses...
Past
 
  1. Lenguajes II (Formal Models in Computer Science)
 
  1. In this course the untyped lambda calculus is introduced as the basis of functional programming. The simply typed lambda calculus is also studied as a more strict formalism that introduces the notion of type. Constraint programming is also studied.
 
 
 
 
Current
 
  1. Estructura de Datos (Data Structures)
 
  1. A first year course for electronic engineering students on computer data structures.  The course is mostly related with the definition and application of data structures written in C/C++.
 
  1. Introducción a la programación (Introduction to Programming)
 
  1. A first year course given to students from all engineering students.
 
  1. Modelos y Conceptos de Programación (Concepts, Models and Techniques of Computer Programming)
 
  1. Last year course in systems engineering that focuses on the use of concepts and techniques in computer programming. Topics in this course include the declarative model, declarative concurrency, message passing concurrency, shared state concurrency and a brief introduction to distributed systems.