Teaching

From September 2018 til July 2020, I served as a temporary lecturer and researcher (ATER) @ the University of Pau, STEE Collège , department of Computer Science.

My teaching experience as ATER to be developed in this section concerns the period from Semptember 2018 to July 2020 (2 years). In total, my teaching activities sum up to the equivalent of 384 TD hours (2 x 192h per year) or 508.5 real hours.

Recommendations related to my teaching activity were provided from the different courses supervisors. The contacts of references are available under the references section.

Master courses

  • Cloud Computing (1st year M1 Technologies Internet + Big Data - Computer Science)
    [ more info ]
    • 2018-2020: 18h Course + 42h TP
This course introduces the Cloud computing paradigm. It introduces the IaaS, PaaS, SaaS service models, the virtualization techniques, Cloud elasticity and Cloud security.
In the context of this course, I accompagned and supervized the students into the experimentation of the Cloud approaches through the use and study of some of the most common Cloud platforms in the market (Amazon, MS Azure, Google Cloud, etc.).
This course incarnates a directly connected field to my domain of research. It allowed me to expose my work about Cloud elasticity during courses and TPs.


Bachelor (Licence) courses

  • Programming techniques (2nd year L2 - Computer Science) [ more info ]
    • 2018-2020: 54h TP
The goal of this course is to abord programming through the C programming language. It aims at introducing the students to the programming "good behaviors".
This course's goals are listed below:
  • Knowledge of the C programming language
  • Mastering dynamic memory management in C
  • Implementing programming methods


  • Data structures and abstract types (2nd year L2 - Computer Science) [ more info ]
    • 2018-2020: 81h TP
This course aims at teaching the specification of data models according to some requirements (cachier de charges). It includes the algebraical definition of abstract types, their implementation and validation (through formal verification) and to estimate the complexity of their underlying algorithms.
Through this course, I was able to put in practise my experience in formal modeling and verification of abstract types and behaviors. Here is a list of the studied abstract types:
  • Modeling life cycle (Specification with CaSL, formal verification with Hets, Implementation and autamated proof/validation with C)
  • Set abstract structures (sets, bags)
  • Linear abstract structures (lists, vectors, stacks, queues)
  • Tree abstract structures (binary trees, general trees)


  • Computers architecture (2nd year L2 - Computer Science) [ more info ]
    • 2018-2020: 54h TP
This course aims at studying the architectures and operating principles of computers at a low level of abstraction. It provides theoretical basis through studying numbers encodings, Boole's algebra and introduces digital electronics to understand how components are designed. It also contains a practical part detailling the general operating principles of computers, focusing on its central components (memory and processor). Through my participation in this course, I supervized the students in their use of a software for the simulation of electronical circuits, called Logisim. Here are the contents of my involvment:
  • Numbers encoding
  • Boole's algebra
  • Logical circuits (combinatory and sequential, flip/flops, multiplexors, additionners, cyclic counter, etc.)
  • Buses and input/output


  • Introduction to algorithmics (1st year L1 - Computer Science) [ more info ]
    • 2018-2020: 54h TP
This course teaches the basics of the algorithmics thourgh the C++ programming language. I supervized the following points:
  • Basic notions of algorthmics and programming
  • Methods and functions
  • Tables
  • Sorting algorithms
  • Strings type


  • Advanced algorithmics and programming (2nd year L2 - MIASHS) [ more info ]
    (MIASHS stands for mathematics and informatic applied to social and human sciences)
    • 2019-2020: 10.5h course + 15h TD + 27h TP
    • 2018-2019: 27h TP
This course teaches programming and algorithmics to non computer scientists, through the C++ language. It is qualified as "advanced" as it extends the knowledge acquired during their 1st year. It includes the following :
  • Methods and functions
  • Tables
  • Sorting algorithms
  • Strings type
  • Data structures and types
  • Files management


  • LaTeX (1st year L1 - Computer Science) [ more info ]
    • 2019-2020: 4.5h course + 21h TD + 15h TP
    • 2018-2019: 22.5h TD + 30h TP
This course introduces to the LaTeX tool and language into the production of scientific documents.



  • Introduction to Computer Science (1st year L1 - Mathematics + Biology) [ more info ]
    • 2018-2019: 27h TP
This course is addressed to non computer scientists. It initiates the students to the foundations of computer science. It involves the following points:
  • Networks
  • Numerical bases
  • Information encoding (text, images, etc.)
  • Static web-sites design (HTML + CSS)

Back to Top !