{
  href,
  file,
  ...
}:
let
  institution = {
    field = "Theoretical Computer Science";
    position = "postdoc";
    name = "TU Dresden";
    url = "https://tu-dresden.de";
  };
in
{
  inherit institution;
  email = {
    academic = "quentin.aristote@tu-dresden.de";
    personal = "quentin@aristote.fr";
  };
  avatar = file "avatar.jpg";
  location = {
    office = "WILL/B117";
    number = "12-14";
    street = "Zescheller Weg";
    city = "Dresden";
    postalCode = "01069";
    country = "Germany";
  };
  profiles = {
    Git = {
      icon = "git";
      url = "https://git.aristote.fr/";
    };
    LinkedIn = {
      icon = "linkedin";
      url = "https://fr.linkedin.com/in/quentin-aristote-83979b186";
    };
  };
  keys =
    let
      getKeyFiles = type: keys: {
        "${type}" = builtins.foldl' (
          tmp: name: tmp // { "${name}" = file "keys/${type}/${name}.pub"; }
        ) { } keys;
      };
    in
    getKeyFiles "pgp" [ "0x4EF515441E635D36" ] // getKeyFiles "ssh" [ "qaristote@latitude-7490" ];
  name = {
    first = "Quentin";
    last = "Aristote";
  };
  url = "https://quentin.aristote.fr/";
  description = ''
    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 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.
  '';
}