experience: add academic service

3 files changed, 51 insertions, 0 deletions

diff --git a/experience/service/default.nix b/experience/service/default.nix
new file mode 100644
index 0000000..8a565f5
--- /dev/null
+++ b/experience/service/default.nix
@@ -0,0 +1,5 @@
+{ make, ... }:
+builtins.map (path: make path { }) [
+  ./reviews.nix
+  ./teaching.nix
+]
diff --git a/experience/service/reviews.nix b/experience/service/reviews.nix
new file mode 100644
index 0000000..a159bab
--- /dev/null
+++ b/experience/service/reviews.nix
@@ -0,0 +1,15 @@
+{ ... }:
+{
+  conferences = {
+    number = 2;
+    names = {
+      CAlCo = [ 2023 ];
+      FoSSaCS = [ 2025 ];
+      CONCUR = [ 2025 ];
+    };
+  };
+  journals = {
+    number = 1;
+    names = [ "Theory Appl. Categ." ];
+  };
+}
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;
+  }
+]