From 0842beec0fc2c9955361e0d3b5d7711b3875c4c7 Mon Sep 17 00:00:00 2001 From: "quentin@aristote.fr" Date: Sun, 4 Oct 2026 17:51:20 +0200 Subject: new position in dresden --- experience/jobs/2023-09_irif.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'experience/jobs') diff --git a/experience/jobs/2023-09_irif.nix b/experience/jobs/2023-09_irif.nix index 1996a16..b561c72 100644 --- a/experience/jobs/2023-09_irif.nix +++ b/experience/jobs/2023-09_irif.nix @@ -24,5 +24,5 @@ url = "https:/www.irif.fr/~petrisan/"; } ]; - description = "Ongoing. Studying compositionality of monads and its application to effectful programming, in particular within automata theory."; + description = "Thesis to be defended. Studied automata with side-effects in the language of category theory, with a focus, on the one hand, on minimality, and, on the other hand, on the combination of non-determinism with other effects via weak distributive laws."; } -- cgit v1.3.1