Assistant professor at the engineering school CentraleSupélec.
Lecturer for the following courses.
-
« Applications web » (Web
technologies).
2nd-year course in the curriculum
Presentation of (some of) the main technologies to build
Ajax web application, with a presentation of the
event-driven web-programming model: HTML, CSS, Javascript
and jQuery, XML and JSON. On the server side: Node.js.
21 hours of courses for about 20
students
-
« Traitement des langages » (Language processing).
3rd-year course (equiv. Master)
Serve as the compilation course in the CS curriculum. Main
emphasis on the lexing and parsing aspect, with discussion
of the LL and LR methods for parser generation.
15 hours of courses, for about 25 students.
-
« Logique et modèles » (Logic and models).
3rd-year course (equiv. Master)
Logical systems, theories, lambda-calculus and functional programming, link with type systems.
24 hours of courses, for about 25 students.
-
« Preuve » (Proof).
3rd-year
course (equiv. Master)
Spécifying with inductive
types ; internal of proof assistants (study of
Isabelle/HOL) ; proof of programs with Hoare logic.
24 hours of
courses, for about 25 students.
I also teach within the broader context of Université Paris Saclay:
-
« Beginner's course on quantum algorithms and
programming »
21 hours of teaching in the
Computer Science Master of the university, in
the parcours QDCS(“Quantum and Distributed
Computer Science”).(Proof).
-
« Regards croisés »
Teaching duties within ARTeQ – Interdisciplinary training in quantum technologies.
Course shared with Romain Alleaume.