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/2023-09_irif.nix | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 experience/2023-09_irif.nix (limited to 'experience/2023-09_irif.nix') diff --git a/experience/2023-09_irif.nix b/experience/2023-09_irif.nix deleted file mode 100644 index 0ba0040..0000000 --- a/experience/2023-09_irif.nix +++ /dev/null @@ -1,27 +0,0 @@ -{...}: { - date = { - start = { - year = 2023; - month = 9; - day = 1; - }; - end = { - year = 2026; - month = 8; - day = 31; - }; - }; - institution = { - position = "PhD student in Theoretical Computer Science"; - name = "IRIF (UMR 8243), CNRS"; - url = "https://www.irif.fr/en/index"; - location = "Paris, France"; - }; - supervisors = [ - { - name = "Daniela Petrişan"; - url = "https:/www.irif.fr/~petrisan/"; - } - ]; - description = "Ongoing. Studying compositionality of monads and its application to effectful programming, in particular within automata theory."; -} -- cgit v1.2.3