diff options
| -rw-r--r-- | basics/default.nix | 25 | ||||
| -rw-r--r-- | experience/jobs/2023-09_irif.nix | 2 | ||||
| -rw-r--r-- | experience/service/reviews.nix | 3 |
3 files changed, 16 insertions, 14 deletions
diff --git a/basics/default.nix b/basics/default.nix index 2c9f6eb..28cccd0 100644 --- a/basics/default.nix +++ b/basics/default.nix @@ -5,25 +5,26 @@ }: let institution = { - position = "PhD student in Theoretical Computer Science"; - name = "IRIF"; - url = "https://www.irif.fr/en/index"; + field = "Theoretical Computer Science"; + position = "postdoc"; + name = "TU Dresden"; + url = "https://tu-dresden.de"; }; in { inherit institution; email = { - academic = "quentin.aristote@irif.fr"; + academic = "quentin.aristote@tu-dresden.de"; personal = "quentin@aristote.fr"; }; avatar = file "avatar.jpg"; location = { - office = "3010"; - number = "8"; - street = "place Aurélie Nemours"; - city = "Paris"; - postalCode = "75013"; - country = "France"; + office = "WILL/B117"; + number = "12-14"; + street = "Zescheller Weg"; + city = "Dresden"; + postalCode = "01069"; + country = "Germany"; }; profiles = { Git = { @@ -50,8 +51,8 @@ in }; url = "https://quentin.aristote.fr/"; description = '' - I am a PhD student in Theoretical Computer Science at ${href "https://www.irif.fr/en/index" "IRIF"}, under the supervision of ${href "https://www.irif.fr/~petrisan/" "Daniela Petrişan"}. My PhD involves studying the compositionality of ${href "https://en.wikipedia.org/wiki/Monad_(category_theory)" "monads"} through ${href "https://ncatlab.org/nlab/show/weak+distributive+law" "weak distributive laws"}, and its applications to ${href "https://en.wikipedia.org/wiki/Side-effect_(computer_science)" "effectful programming"}, in particular within ${href "https://en.wikipedia.org/wiki/Automata_theory" "automata theory"}. + I am a post-doctoral researcher in ${institution.field} in the ${href "https://tu-dresden.de/mn/math/algebra" "Institut für Algebra"} of ${href institution.url institution.name}, in the group of ${href "https://tu-dresden.de/mn/math/algebra/bodirsky" "Manuel Bodirsky"}. I study the theory of ${href "https://en.wikipedia.org/wiki/Constraint_satisfaction_problem" "constraint satisfaction problems"}, to which I am particularly keen to apply other mathematical tools, such as those from ${href "https://en.wikipedia.org/wiki/Category_theory" "category theory"}. - More generally, I am mainly interested in applying abstract mathematical theories (e.g. category theory) to computer science: this involves astutely rephrasing concrete problems in abstract settings; the hope is then to get new insights from general theorems. I am also interested in practical computer science and enjoy programming using functional languages as well as tinkering with systems. + More generally, I am mainly interested in applying abstract mathematical theories to computer science: this involves astutely rephrasing concrete problems in abstract settings; the hope is then to get new insights from general theorems. I am also interested in practical computer science and enjoy programming using functional languages as well as tinkering with systems. ''; } 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."; } diff --git a/experience/service/reviews.nix b/experience/service/reviews.nix index 050b5e0..8cef422 100644 --- a/experience/service/reviews.nix +++ b/experience/service/reviews.nix @@ -1,10 +1,11 @@ { ... }: { conferences = { - number = 4; + number = 5; names = { CALCO = [ 2023 ]; CONCUR = [ 2025 ]; + CSL = [ 2027 ]; LICS = [ 2026 ]; FoSSaCS = [ 2025 ]; }; |