From 526c88258a5e77101d35664851ae4b5bac170b09 Mon Sep 17 00:00:00 2001
From: aristote <quentin.aristote@irif.fr>
Date: Mon, 24 Nov 2025 18:26:49 +0100
Subject: experience: add academic service

---
 experience/service/teaching.nix | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 experience/service/teaching.nix

(limited to 'experience/service/teaching.nix')

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;
+  }
+]
-- 
cgit v1.2.3