diff options
| author | quentin@aristote.fr <quentin@aristote.fr> | 2023-08-22 17:08:42 +0200 |
|---|---|---|
| committer | quentin@aristote.fr <quentin@aristote.fr> | 2023-08-22 18:00:06 +0200 |
| commit | f5ffcc09b782d286e658a5599443bbe711df6281 (patch) | |
| tree | 972d3cc1435a6fbd62770f525f09787ee2528910 /experience/2023-09_irif.nix | |
| parent | 1b58988cc70068e43c479809f3b3fa34bc5ff11d (diff) | |
i am now a phd student
Diffstat (limited to 'experience/2023-09_irif.nix')
| -rw-r--r-- | experience/2023-09_irif.nix | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/experience/2023-09_irif.nix b/experience/2023-09_irif.nix new file mode 100644 index 0000000..c9a6235 --- /dev/null +++ b/experience/2023-09_irif.nix @@ -0,0 +1,28 @@ +{ ... }: + +{ + 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."; +} |
