diff options
Diffstat (limited to 'experience')
| -rw-r--r-- | experience/2019-06_lis.nix | 30 | ||||
| -rw-r--r-- | experience/2020-03_nii.nix | 28 | ||||
| -rw-r--r-- | experience/2022-03_irif.nix | 25 | ||||
| -rw-r--r-- | experience/2022-09_tweag.nix | 17 | ||||
| -rw-r--r-- | experience/default.nix | 8 |
5 files changed, 108 insertions, 0 deletions
diff --git a/experience/2019-06_lis.nix b/experience/2019-06_lis.nix new file mode 100644 index 0000000..1f3da5d --- /dev/null +++ b/experience/2019-06_lis.nix @@ -0,0 +1,30 @@ +{ ... }: + +{ + date = { + start = "2019-06-01"; + end = "2019-07-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"; + } + { + name = "paper"; + id = "aristoteDynamicalTriangulationInduced2020"; + } + ]; + description = + "Studied a quantum walker whose density changes its own environment."; +} diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix new file mode 100644 index 0000000..ae2a701 --- /dev/null +++ b/experience/2020-03_nii.nix @@ -0,0 +1,28 @@ +{ ... }: + +{ + date = { + start = "2020-03-01"; + end = "2020-07-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"; + } + ]; + description = "Studied a fibrational framework for nested fixed points and (bi)simulation notions for Büchi automata."; +} diff --git a/experience/2022-03_irif.nix b/experience/2022-03_irif.nix new file mode 100644 index 0000000..cb06341 --- /dev/null +++ b/experience/2022-03_irif.nix @@ -0,0 +1,25 @@ +{ ... }: + +{ + date = { + start = "2022-03-14"; + end = "2022-07-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"; + } + ]; + description = "Studied a categorical framework for the minimization and active learning of transition systems."; +} diff --git a/experience/2022-09_tweag.nix b/experience/2022-09_tweag.nix new file mode 100644 index 0000000..01fb280 --- /dev/null +++ b/experience/2022-09_tweag.nix @@ -0,0 +1,17 @@ +{ href, ... }: + +{ + date = { + start = "2022-09-14"; + end = "2023-02-24"; + }; + institution = { + position = "Software Engineering intern"; + name = "Tweag"; + url = "https://www.tweag.io/"; + location = "Paris, France"; + }; + description = "Ongoing. Speeding-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/default.nix b/experience/default.nix new file mode 100644 index 0000000..fc65ab6 --- /dev/null +++ b/experience/default.nix @@ -0,0 +1,8 @@ +{ make, ... }: + +builtins.map (path: make path { }) [ + ./2019-06_lis.nix + ./2020-03_nii.nix + ./2022-03_irif.nix + ./2022-09_tweag.nix +] |