summaryrefslogtreecommitdiff
path: root/experience/2023-09_irif.nix
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2023-08-22 17:08:42 +0200
committerquentin@aristote.fr <quentin@aristote.fr>2023-08-22 18:00:06 +0200
commitf5ffcc09b782d286e658a5599443bbe711df6281 (patch)
tree972d3cc1435a6fbd62770f525f09787ee2528910 /experience/2023-09_irif.nix
parent1b58988cc70068e43c479809f3b3fa34bc5ff11d (diff)
i am now a phd student
Diffstat (limited to 'experience/2023-09_irif.nix')
-rw-r--r--experience/2023-09_irif.nix28
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.";
+}