Concepts and techniques on automatic software testing and verification directed to 2nd Level Master students at ISTIC, University of Rennes 1. Fuzzing, mutation testing, coverage, automatic test generation. Conferences and practical sessions.
Introductory course about Distributed Systems for 1st Level Master students at MIAGE, University of Rennes 1. Practical sessions.
Introductory course on the theory and practice of Computer Vision. Image registration, object detection, object tracking, OpenCV. Conference and practical sessions.
Elements on Formal Language Theory and Compiler Constructions for 3rd year Computer Science students at the University of Havana. Conferences and practical sessions.
Programming introductory and intermediate course to 1st year Computer Science students at the Universoty of Havana. Practical sessions