Teaching
I held a teaching position at the University of Paris XI for the
duration of my thesis.
2007-2008
The Functionnal Approach to Algorithmics
Introduction to functionnal programming and the basics of
algorithmics. The focus of the course is on types, recursive functions,
algebraic datatypes and modular programming this time.
2006-2007
Administration of the practical works network
Administration of the computer network used by
students. The architecture is a Linux server and diskless
terminals, it is mostly maintainance and setting up new servers.
Unix project
Initiation to Unix, shell programming, Python programming and
various tools, including editors and RCS.
The Functionnal Approach to Algorithmics
Introduction to functionnal programming and the basics of
algorithmics. The course focused on recursive functions and
simple algebraic datatypes.
Languages and Software Engineering
Introduction to software engineering methods using a medium-size
project and paired programming. The subject was the development of
an Arkanoid clone in OCaml, from the game model to the interaction
loop excluding the graphical library.
2005-2006
Introduction to Computer Science
- Integer, floating-point representations. Simple cryptographic codes.
- Basic processor architecture and assembler program interpretation.
- Manipulation of numbers, arrays and strings with conditionals, loops in restricted C. Same thing in assembler.
Compilation project
Compilation of a pascal-like language with pattern-matching
using OCaml. Includes sum types declarations, arrays,
references, functions and procedures. The project is done in
three phases: lexing and parsing with
ocamllex
and
ocamlyacc
, typing and code generation for a stack-based
virtual machine.
