1 files changed, 31 insertions, 0 deletions
diff --git a/experience/service/teaching.nix b/experience/service/teaching.nix
new file mode 100644
index 0000000..8b2bc0e
--- /dev/null
+++ b/experience/service/teaching.nix
@@ -0,0 +1,31 @@
+{ ... }:
+[
+  {
+    year = 2023;
+    name = "Operating Principles of Binary Machines";
+    level = "L1";
+    institution = "Université Paris-Cité";
+    hours = 26;
+  }
+  {
+    year = 2023;
+    name = "Introduction to Operating Systems";
+    level = "L1";
+    institution = "Université Paris-Cité";
+    hours = 26;
+  }
+  {
+    year = 2024;
+    name = "Lambda-Calculi and Categories";
+    level = "M1";
+    institution = "École Normale Supérieure de Paris";
+    hours = 18;
+  }
+  {
+    year = 2025;
+    name = "Automata and Lexical Analysis";
+    level = "L2";
+    institution = "Université Paris-Cité";
+    hours = 26;
+  }
+]