summaryrefslogtreecommitdiff
path: root/experience/2023-09_irif.nix
diff options
context:
space:
mode:
Diffstat (limited to 'experience/2023-09_irif.nix')
-rw-r--r--experience/2023-09_irif.nix27
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.";
-}