+ -
+
+ 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.
+
+
+