Logo ISAE3
EN
FR |
Christophe Garion > Teaching activities and courses

Teaching activities and courses

jeudi 27 octobre 2016.

 Academic responsabilities

I am currently in charge of Computer Science curriculum for 1st and 2nd year at ISAE-SUPAERO. This involves :

  • general organisation and planning
  • following through students studies
  • reflexion on content

 Courses

I teach or have teached the following courses at SUPAERO (click on the course number to go to the course website [1]) :

  • IN101 Algorithms and Programming
  • IN112 Mathematical logic
  • IN201 Object-oriented design and programming
  • IN306 Databases
  • IN323 Software engineering
  • IN324 Software validation (deductive methods part)
  • IN325 Real-time programming languages (RTSJ part)
  • IN328 Distributed programming with Java and J2EE
  • IN329 Operating systems with Prof. Pierre Siron
  • IN331 Software engineering
  • FSD310 Optimization in graphs
  • FSD312 Computer Science tools for Big Data

I teach the following course at ENSEEIHT :

  • Mathematics for Computer Science (mathematical logic, program proof, formal language theory)

 Students projects for 2016/2017

  • SPARK by example (with my colleague J. Hugues)
  • information diffusion in Space Collision Alarm Systems : case study specification and visualisation (with T. Polacsek and R. Delmas, ONERA)

Notes

[1] Sorry, most of the websites are in french.

SPIP | | Suivre la vie du site RSS 2.1