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/2022-03_irif.nix | 34 ---------------------------------- 1 file changed, 34 deletions(-) delete mode 100644 experience/2022-03_irif.nix (limited to 'experience/2022-03_irif.nix') diff --git a/experience/2022-03_irif.nix b/experience/2022-03_irif.nix deleted file mode 100644 index ecffaae..0000000 --- a/experience/2022-03_irif.nix +++ /dev/null @@ -1,34 +0,0 @@ -{...}: { - date = { - start = { - year = 2022; - month = 3; - day = 14; - }; - end = { - year = 2022; - month = 7; - day = 31; - }; - }; - institution = { - position = "research intern in Applied Category Theory"; - 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/"; - } - ]; - assets = [ - { - name = "internship report"; - id = "aristoteApplicationsCategoricalFramework2022"; - type = "Writings"; - } - ]; - description = "Generalized a categorical framework for the minimization and active learning of transition systems and instanciated it to develop new such algorithms."; -} -- cgit v1.2.3