ENSSAT (2013-14)
I gave various courses in computer science and electronics at ENSSAT during the year 2013-14.
Algorithms for distribued systems (IMR2)
Students had a project were they had to study and implement the Housni-Tréhel algorithm using Java RMI.
Algorithms and C language (first year)
I assisted François Goasdoué for his introctucdory course about algorithmic and C programming.
Unix (first year)
I assisted Gwénolé Lecorvé in an introdution to unix shell programming.
Real-time programming (EII2)
Second year students in electronics had to study the systems involved in a factory producing concrete and then modelize a real-time system controlling it. They realize then an implemetation of it using the VxWorks system.
Architecture of microprocessors (IMR1)
I assisted Hélène Dubois in a course dedicated to the discover of principles of computer architecture: from instructions set to processor design.
Mathematics applied to computer science, ESIAL 1A (2009-10)
I teach in the second part of a course of mathematics applied to computer
science for first-year student in ESIAL
engineer school under the direction of
Francis
Alexandre. In this course, we present some of basic theoric tools of computer science, namely: induction, TODO
Mathematics applied to computer science, ESIAL 1A (2009-10)
I teach in the second part of a course of mathematics applied to computer
science for first-year student in ESIAL
engineer school under the direction of
Francis
Alexandre. The aim of course was to give of some of the theoretical tools
of
computer science including: proposition calculus, first-order logic and
syntax analysis.