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 am involved in the following courses at SUPAERO (click on the course number to go to the course website [1]) :
- TCS1-IN Algorithms and Programming
- TSC1-MA Linear Programming
- TSC3-IN Complexity and Integer Linear Programming
- FITR034 Formal Methods
- FITR305 Distributed Computing
- FSD310 Optimization in Graphs
I have teached the following courses at SUPAERO (click on the course number to go to the course website [2]) :
- 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
I teach the following courses at ENSEEIHT :
- Mathematics for Computer Science (mathematical logic, program proof, formal language theory)
- Declarative Programming (logic programming, Prolog, SAT and SMT solvers)
Students projects for 2018/2019
- formal proof of an autopilot (with my colleague J. Hugues)