experience: add academic service

11 files changed, 78 insertions, 18 deletions

diff --git a/experience/default.nix b/experience/default.nix
index 11f3e9c..2e04894 100644
--- a/experience/default.nix
+++ b/experience/default.nix
@@ -1,9 +1,5 @@
-{make, ...}:
-builtins.map (path: make path {}) [
-  ./2019-06_lis.nix
-  ./2020-03_nii.nix
-  ./2022-03_irif.nix
-  ./2022-09_tweag.nix
-  ./2023-03_irif.nix
-  ./2023-09_irif.nix
-]
+{ make, ... }:
+{
+  jobs = make ./jobs { };
+  service = make ./service { };
+}
diff --git a/experience/2019-06_lis.nix b/experience/jobs/2019-06_lis.nix
index 456e6dc..3382d94 100644
--- a/experience/2019-06_lis.nix
+++ b/experience/jobs/2019-06_lis.nix
@@ -1,4 +1,5 @@
-{...}: {
+{ ... }:
+{
   date = {
     start = {
       year = 2019;
diff --git a/experience/2020-03_nii.nix b/experience/jobs/2020-03_nii.nix
index 0324f3d..00ed3a3 100644
--- a/experience/2020-03_nii.nix
+++ b/experience/jobs/2020-03_nii.nix
@@ -1,4 +1,5 @@
-{...}: {
+{ ... }:
+{
   date = {
     start = {
       year = 2020;
diff --git a/experience/2022-03_irif.nix b/experience/jobs/2022-03_irif.nix
index ecffaae..f989225 100644
--- a/experience/2022-03_irif.nix
+++ b/experience/jobs/2022-03_irif.nix
@@ -1,4 +1,5 @@
-{...}: {
+{ ... }:
+{
   date = {
     start = {
       year = 2022;
diff --git a/experience/2022-09_tweag.nix b/experience/jobs/2022-09_tweag.nix
index bc7c000..0618245 100644
--- a/experience/2022-09_tweag.nix
+++ b/experience/jobs/2022-09_tweag.nix
@@ -1,4 +1,5 @@
-{href, ...}: {
+{ href, ... }:
+{
   date = {
     start = {
       year = 2022;
@@ -35,7 +36,5 @@
       type = "Software";
     }
   ];
-  description = "Sped-up ${
-    href "https://github.com/tweag/pirouette" "Pirouette"
-  } (a symbolic evaluator using incorrectness logic) by optimizing its interactions with SMT solvers.";
+  description = "Sped-up ${href "https://github.com/tweag/pirouette" "Pirouette"} (a symbolic evaluator using incorrectness logic) by optimizing its interactions with SMT solvers.";
 }
diff --git a/experience/2023-03_irif.nix b/experience/jobs/2023-03_irif.nix
index b3aad75..85b7e61 100644
--- a/experience/2023-03_irif.nix
+++ b/experience/jobs/2023-03_irif.nix
@@ -1,4 +1,5 @@
-{...}: {
+{ ... }:
+{
   date = {
     start = {
       year = 2023;
diff --git a/experience/2023-09_irif.nix b/experience/jobs/2023-09_irif.nix
index 0ba0040..1996a16 100644
--- a/experience/2023-09_irif.nix
+++ b/experience/jobs/2023-09_irif.nix
@@ -1,4 +1,5 @@
-{...}: {
+{ ... }:
+{
   date = {
     start = {
       year = 2023;
diff --git a/experience/jobs/default.nix b/experience/jobs/default.nix
new file mode 100644
index 0000000..7113c25
--- /dev/null
+++ b/experience/jobs/default.nix
@@ -0,0 +1,9 @@
+{ make, ... }:
+builtins.map (path: make path { }) [
+  ./2019-06_lis.nix
+  ./2020-03_nii.nix
+  ./2022-03_irif.nix
+  ./2022-09_tweag.nix
+  ./2023-03_irif.nix
+  ./2023-09_irif.nix
+]
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;
+  }
+]