diff options
Diffstat (limited to 'experience')
| -rw-r--r-- | experience/2023-03_irif.nix | 8 | ||||
| -rw-r--r-- | experience/2023-09_irif.nix | 28 | ||||
| -rw-r--r-- | experience/default.nix | 1 |
3 files changed, 36 insertions, 1 deletions
diff --git a/experience/2023-03_irif.nix b/experience/2023-03_irif.nix index a1159af..0a92d17 100644 --- a/experience/2023-03_irif.nix +++ b/experience/2023-03_irif.nix @@ -23,5 +23,11 @@ name = "Daniela Petrişan"; url = "https:/www.irif.fr/~petrisan/"; }]; - description = "Ongoing. Pre-PhD internship."; + assets = [{ + type = "Publications"; + id = "aristoteFunctorialApproachMinimizing2023"; + name = "paper"; + }]; + description = + "Follow-up to my M2's internship: wrote a paper and further explored some open questions as a preparation for my PhD."; } 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."; +} diff --git a/experience/default.nix b/experience/default.nix index b472b45..9f2cfae 100644 --- a/experience/default.nix +++ b/experience/default.nix @@ -6,4 +6,5 @@ builtins.map (path: make path { }) [ ./2022-03_irif.nix ./2022-09_tweag.nix ./2023-03_irif.nix + ./2023-09_irif.nix ] |