diff options
| author | aristote <quentin.aristote@irif.fr> | 2025-11-24 18:26:49 +0100 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2025-11-25 09:48:39 +0100 |
| commit | 526c88258a5e77101d35664851ae4b5bac170b09 (patch) | |
| tree | 9efc20905bd41784f0c2997db986263bed37f44a /experience/2023-09_irif.nix | |
| parent | f76407d6ec1932cecea981238458bfd15a3dfc08 (diff) | |
experience: add academic service
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."; -} |
