diff options
Diffstat (limited to 'experience/2022-03_irif.nix')
| -rw-r--r-- | experience/2022-03_irif.nix | 34 |
1 files changed, 0 insertions, 34 deletions
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."; -} |
