From 526c88258a5e77101d35664851ae4b5bac170b09 Mon Sep 17 00:00:00 2001 From: aristote Date: Mon, 24 Nov 2025 18:26:49 +0100 Subject: experience: add academic service --- experience/service/default.nix | 5 +++++ experience/service/reviews.nix | 15 +++++++++++++++ experience/service/teaching.nix | 31 +++++++++++++++++++++++++++++++ 3 files changed, 51 insertions(+) create mode 100644 experience/service/default.nix create mode 100644 experience/service/reviews.nix create mode 100644 experience/service/teaching.nix (limited to 'experience/service') 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; + } +] -- cgit v1.2.3