diff options
Diffstat (limited to 'experience')
| -rw-r--r-- | experience/2019-06_lis.nix | 2 | ||||
| -rw-r--r-- | experience/2020-03_nii.nix | 1 | ||||
| -rw-r--r-- | experience/2022-03_irif.nix | 1 | ||||
| -rw-r--r-- | experience/2022-09_tweag.nix | 16 | ||||
| -rw-r--r-- | experience/2023-03_irif.nix | 19 | ||||
| -rw-r--r-- | experience/default.nix | 1 |
6 files changed, 38 insertions, 2 deletions
diff --git a/experience/2019-06_lis.nix b/experience/2019-06_lis.nix index 091221c..0f446fc 100644 --- a/experience/2019-06_lis.nix +++ b/experience/2019-06_lis.nix @@ -19,10 +19,12 @@ { name = "internship report"; id = "aristoteMarcheQuantiqueReseau2019"; + type = "Publications"; } { name = "paper"; id = "aristoteDynamicalTriangulationInduced2020"; + type = "Publications"; } ]; description = diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix index 95b641c..fb6e50d 100644 --- a/experience/2020-03_nii.nix +++ b/experience/2020-03_nii.nix @@ -22,6 +22,7 @@ { name = "internship report"; id = "aristoteFibrationalFrameworkNested2020"; + type = "Publications"; } ]; 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 index 682d652..f2f2d4e 100644 --- a/experience/2022-03_irif.nix +++ b/experience/2022-03_irif.nix @@ -19,6 +19,7 @@ { name = "internship report"; id = "aristoteApplicationsCategoricalFramework2022"; + type = "Publications"; } ]; 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 index 01fb280..29c7c7b 100644 --- a/experience/2022-09_tweag.nix +++ b/experience/2022-09_tweag.nix @@ -1,4 +1,4 @@ -{ href, ... }: +{ href, code, ... }: { date = { @@ -11,7 +11,19 @@ url = "https://www.tweag.io/"; location = "Paris, France"; }; - description = "Ongoing. Speeding-up ${ + assets = [ + { + name = "blog post"; + id = "aristoteSmtlibbackendsFasterSMTLIBbased2023"; + type = "Publications"; + } + { + 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 new file mode 100644 index 0000000..a8dbc6c --- /dev/null +++ b/experience/2023-03_irif.nix @@ -0,0 +1,19 @@ +{ ... }: + +{ + date = { + start = "2023-02-27"; + end = "2023-07-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/"; + }]; + description = "Ongoing. Pre-PhD internship."; +} diff --git a/experience/default.nix b/experience/default.nix index fc65ab6..b472b45 100644 --- a/experience/default.nix +++ b/experience/default.nix @@ -5,4 +5,5 @@ builtins.map (path: make path { }) [ ./2020-03_nii.nix ./2022-03_irif.nix ./2022-09_tweag.nix + ./2023-03_irif.nix ] |