{ ... }:
{
  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 = "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.";
}