Teaching Courses           

(Contents are in spanish)

Master Program in Software Engineering,
Formal Methods and Information Systems (DSIC):

• Formal Methods in Software Engineering (MSc 1A)
  
  
• Foundations of Automated Software Engineering (MSc 2A)
  
  
• Multiparadigm Programming (MSc 2B)
  

Undergraduate courses (ETSINF):  

• Programming Languages, Tehniques and Paradigms (II 2A)
  
  
• Formal Methods in Software Engineering (II 5A)
  

Postgraduate courses (former PhD):

• Automated Software Engineering
  U. Nacional de San Luis (Argentina), Oct 2006 
• Automated Software Engineering
  Cenidet (Méjico), Mar 2002, and U.P. Valencia, 2004-2006 
• Logic for Computer Science
  U. Castilla La Mancha, May 2000, and U. Nacional de Colombia sede Medellín
  
  
• A Unifying View of Functional and Logic Program Optimization
  Dip. di Informatica. U. di Pisa, July 1998