• Software engineering
• Development with UML and OCL
• Formal methods
• Specifications
• Z, B, LP, Z-EVES
• MEC, Altarica, e-LOTOS
• Object Oriented Programming
• Principles, design, patterns
• Java
• Smalltalk
• Model transformation
• Office automation
• Web design
• Systematic Studies, Modelling (doctoral)

[More on this] (french)