- -
-
- Introduction to Computer Science, L1 Informatique, UFR Sciences,
- Université Paris-Saclay - October 2025 to January 2026
-
-
- TA. Introduction to Computer Science: Python, HTML/CSS, networks
- basics.
-
-
- -
-
- Introduction to Deductive Verification, PEIP2, Polytech
- Paris-Saclay - December 2025 to January 2026
-
-
- TA. Introduction to Deductive Verification with
-
Why3.
-
-
- -
-
- Object-oriented Programming and Software Engineering, L2
- Informatique, UFR Sciences, Université Paris-Saclay - January
- to April 2026
-
-
- TA. UML, Java, object-oriented design patterns.
-
-
- -
-
- Databases, PEIP2, Polytech Paris-Saclay - March to April 2026
-
-
- TA. Introduction to SQL, pandas.
-
-
-