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/2019-06_lis.nix | 39 ------------------------------------- experience/2020-03_nii.nix | 38 ------------------------------------ experience/2022-03_irif.nix | 34 -------------------------------- experience/2022-09_tweag.nix | 41 --------------------------------------- experience/2023-03_irif.nix | 34 -------------------------------- experience/2023-09_irif.nix | 27 -------------------------- experience/default.nix | 14 +++++-------- experience/jobs/2019-06_lis.nix | 40 ++++++++++++++++++++++++++++++++++++++ experience/jobs/2020-03_nii.nix | 39 +++++++++++++++++++++++++++++++++++++ experience/jobs/2022-03_irif.nix | 35 +++++++++++++++++++++++++++++++++ experience/jobs/2022-09_tweag.nix | 40 ++++++++++++++++++++++++++++++++++++++ experience/jobs/2023-03_irif.nix | 35 +++++++++++++++++++++++++++++++++ experience/jobs/2023-09_irif.nix | 28 ++++++++++++++++++++++++++ experience/jobs/default.nix | 9 +++++++++ experience/service/default.nix | 5 +++++ experience/service/reviews.nix | 15 ++++++++++++++ experience/service/teaching.nix | 31 +++++++++++++++++++++++++++++ 17 files changed, 282 insertions(+), 222 deletions(-) delete mode 100644 experience/2019-06_lis.nix delete mode 100644 experience/2020-03_nii.nix delete mode 100644 experience/2022-03_irif.nix delete mode 100644 experience/2022-09_tweag.nix delete mode 100644 experience/2023-03_irif.nix delete mode 100644 experience/2023-09_irif.nix create mode 100644 experience/jobs/2019-06_lis.nix create mode 100644 experience/jobs/2020-03_nii.nix create mode 100644 experience/jobs/2022-03_irif.nix create mode 100644 experience/jobs/2022-09_tweag.nix create mode 100644 experience/jobs/2023-03_irif.nix create mode 100644 experience/jobs/2023-09_irif.nix create mode 100644 experience/jobs/default.nix create mode 100644 experience/service/default.nix create mode 100644 experience/service/reviews.nix create mode 100644 experience/service/teaching.nix (limited to 'experience') diff --git a/experience/2019-06_lis.nix b/experience/2019-06_lis.nix deleted file mode 100644 index 456e6dc..0000000 --- a/experience/2019-06_lis.nix +++ /dev/null @@ -1,39 +0,0 @@ -{...}: { - date = { - start = { - year = 2019; - month = 6; - day = 1; - }; - end = { - year = 2019; - month = 7; - day = 31; - }; - }; - institution = { - position = "research intern in Natural Computing"; - name = "LiS Laboratory (UMR 7020), CNRS"; - url = "https://www.lis-lab.fr/en/home/"; - location = "Luminy, France"; - }; - supervisors = [ - { - name = "Giuseppe di Molfetta"; - url = "https://www.giuseppe-dimolfetta.com"; - } - ]; - assets = [ - { - name = "internship report"; - id = "aristoteMarcheQuantiqueReseau2019"; - type = "Writings"; - } - { - name = "paper"; - id = "aristoteDynamicalTriangulationInduced2020"; - type = "Writings"; - } - ]; - description = "Developed a quantum walker model whose density changes its own environment."; -} diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix deleted file mode 100644 index 0324f3d..0000000 --- a/experience/2020-03_nii.nix +++ /dev/null @@ -1,38 +0,0 @@ -{...}: { - date = { - start = { - year = 2020; - month = 3; - day = 1; - }; - end = { - year = 2020; - month = 7; - day = 31; - }; - }; - institution = { - position = "research intern in Applied Category Theory"; - name = "ERATO MMSD, NII"; - url = "https://group-mmm.org/eratommsd/"; - location = "Tōkyō, Japan"; - }; - supervisors = [ - { - name = "Ichiro Hasuo"; - url = "https://group-mmm.org/~ichiro/"; - } - { - name = "Jérémy Dubut"; - url = "https://group-mmm.org/~dubut/"; - } - ]; - assets = [ - { - name = "internship report"; - id = "aristoteFibrationalFrameworkNested2020"; - type = "Writings"; - } - ]; - description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games."; -} 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."; -} diff --git a/experience/2022-09_tweag.nix b/experience/2022-09_tweag.nix deleted file mode 100644 index bc7c000..0000000 --- a/experience/2022-09_tweag.nix +++ /dev/null @@ -1,41 +0,0 @@ -{href, ...}: { - date = { - start = { - year = 2022; - month = 9; - day = 14; - }; - end = { - year = 2023; - month = 2; - day = 24; - }; - }; - institution = { - position = "Software Engineering intern"; - name = "Tweag"; - url = "https://www.tweag.io/"; - location = "Paris, France"; - }; - supervisors = [ - { - name = "Tweag's HAS group"; - url = "https://www.tweag.io/group/high-assurance-software/"; - } - ]; - assets = [ - { - name = "blog post"; - id = "aristoteSmtlibbackendsFasterSMTLIBbased2023"; - type = "Writings"; - } - { - name = "library"; - id = "aristoteSmtlibbackends2022"; - 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."; -} diff --git a/experience/2023-03_irif.nix b/experience/2023-03_irif.nix deleted file mode 100644 index b3aad75..0000000 --- a/experience/2023-03_irif.nix +++ /dev/null @@ -1,34 +0,0 @@ -{...}: { - date = { - start = { - year = 2023; - month = 2; - day = 27; - }; - end = { - year = 2023; - month = 7; - day = 28; - }; - }; - 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 = [ - { - type = "Writings"; - id = "aristoteActiveLearningDeterministic2024"; - name = "paper"; - } - ]; - description = "Follow-up to my M2's internship: wrote a paper and further explored some open questions as a preparation for my PhD."; -} 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."; -} 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/jobs/2019-06_lis.nix b/experience/jobs/2019-06_lis.nix new file mode 100644 index 0000000..3382d94 --- /dev/null +++ b/experience/jobs/2019-06_lis.nix @@ -0,0 +1,40 @@ +{ ... }: +{ + date = { + start = { + year = 2019; + month = 6; + day = 1; + }; + end = { + year = 2019; + month = 7; + day = 31; + }; + }; + institution = { + position = "research intern in Natural Computing"; + name = "LiS Laboratory (UMR 7020), CNRS"; + url = "https://www.lis-lab.fr/en/home/"; + location = "Luminy, France"; + }; + supervisors = [ + { + name = "Giuseppe di Molfetta"; + url = "https://www.giuseppe-dimolfetta.com"; + } + ]; + assets = [ + { + name = "internship report"; + id = "aristoteMarcheQuantiqueReseau2019"; + type = "Writings"; + } + { + name = "paper"; + id = "aristoteDynamicalTriangulationInduced2020"; + type = "Writings"; + } + ]; + description = "Developed a quantum walker model whose density changes its own environment."; +} diff --git a/experience/jobs/2020-03_nii.nix b/experience/jobs/2020-03_nii.nix new file mode 100644 index 0000000..00ed3a3 --- /dev/null +++ b/experience/jobs/2020-03_nii.nix @@ -0,0 +1,39 @@ +{ ... }: +{ + date = { + start = { + year = 2020; + month = 3; + day = 1; + }; + end = { + year = 2020; + month = 7; + day = 31; + }; + }; + institution = { + position = "research intern in Applied Category Theory"; + name = "ERATO MMSD, NII"; + url = "https://group-mmm.org/eratommsd/"; + location = "Tōkyō, Japan"; + }; + supervisors = [ + { + name = "Ichiro Hasuo"; + url = "https://group-mmm.org/~ichiro/"; + } + { + name = "Jérémy Dubut"; + url = "https://group-mmm.org/~dubut/"; + } + ]; + assets = [ + { + name = "internship report"; + id = "aristoteFibrationalFrameworkNested2020"; + type = "Writings"; + } + ]; + description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games."; +} diff --git a/experience/jobs/2022-03_irif.nix b/experience/jobs/2022-03_irif.nix new file mode 100644 index 0000000..f989225 --- /dev/null +++ b/experience/jobs/2022-03_irif.nix @@ -0,0 +1,35 @@ +{ ... }: +{ + 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."; +} diff --git a/experience/jobs/2022-09_tweag.nix b/experience/jobs/2022-09_tweag.nix new file mode 100644 index 0000000..0618245 --- /dev/null +++ b/experience/jobs/2022-09_tweag.nix @@ -0,0 +1,40 @@ +{ href, ... }: +{ + date = { + start = { + year = 2022; + month = 9; + day = 14; + }; + end = { + year = 2023; + month = 2; + day = 24; + }; + }; + institution = { + position = "Software Engineering intern"; + name = "Tweag"; + url = "https://www.tweag.io/"; + location = "Paris, France"; + }; + supervisors = [ + { + name = "Tweag's HAS group"; + url = "https://www.tweag.io/group/high-assurance-software/"; + } + ]; + assets = [ + { + name = "blog post"; + id = "aristoteSmtlibbackendsFasterSMTLIBbased2023"; + type = "Writings"; + } + { + name = "library"; + id = "aristoteSmtlibbackends2022"; + 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."; +} diff --git a/experience/jobs/2023-03_irif.nix b/experience/jobs/2023-03_irif.nix new file mode 100644 index 0000000..85b7e61 --- /dev/null +++ b/experience/jobs/2023-03_irif.nix @@ -0,0 +1,35 @@ +{ ... }: +{ + date = { + start = { + year = 2023; + month = 2; + day = 27; + }; + end = { + year = 2023; + month = 7; + day = 28; + }; + }; + 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 = [ + { + type = "Writings"; + id = "aristoteActiveLearningDeterministic2024"; + name = "paper"; + } + ]; + description = "Follow-up to my M2's internship: wrote a paper and further explored some open questions as a preparation for my PhD."; +} diff --git a/experience/jobs/2023-09_irif.nix b/experience/jobs/2023-09_irif.nix new file mode 100644 index 0000000..1996a16 --- /dev/null +++ b/experience/jobs/2023-09_irif.nix @@ -0,0 +1,28 @@ +{ ... }: +{ + 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."; +} 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; + } +] -- cgit v1.2.3