## 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.