diff options
Diffstat (limited to 'experience/jobs')
| -rw-r--r-- | experience/jobs/2019-06_lis.nix | 40 | ||||
| -rw-r--r-- | experience/jobs/2020-03_nii.nix | 39 | ||||
| -rw-r--r-- | experience/jobs/2022-03_irif.nix | 35 | ||||
| -rw-r--r-- | experience/jobs/2022-09_tweag.nix | 40 | ||||
| -rw-r--r-- | experience/jobs/2023-03_irif.nix | 35 | ||||
| -rw-r--r-- | experience/jobs/2023-09_irif.nix | 28 | ||||
| -rw-r--r-- | experience/jobs/default.nix | 9 |
7 files changed, 226 insertions, 0 deletions
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 +] |