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