Quentin Aristote
About
Quentin Aristote is from Paris, Ile-de-France, France. Quentin is currently PHD Student at IRIF (Institut de Recherche en Informatique Fondamentale), located in Paris, Ile-de-France, France. In Quentin's previous role as a Eleve Fonctionnaire Stagiaire at Ecole normale superieure, Quentin worked in Paris Area, France until Aug 2023. Prior to joining Ecole normale superieure, Quentin was a Research Intern at IRIF (Institut de Recherche en Informatique Fondamentale) and held the position of Research Intern at Paris, Ile-de-France, France. Prior to that, Quentin was a Software Engineer Intern at Tweag, based in Paris, Ile-de-France, France from Sep 2022 to Feb 2023. Quentin started working as Research Intern at IRIF (Institut de Recherche en Informatique Fondamentale) in Paris, Ile-de-France, France in Mar 2022. From Mar 2020 to Jul 2020, Quentin was Research Intern at National Institute of Informatics, based in Tokyo, Japan. Prior to that, Quentin was a Summer Research Intern at CNRS, based in Marseille Area, France from Jun 2019 to Jul 2019.
Quentin Aristote's email is available on Finalscout.com free of charge. This database has a wealth of information on over half a billion business professionals and two hundred million companies.
Quentin Aristote's current jobs
My PhD is supervised by Daniela Petrisan. It involves studying the compositionality of monads through weak distributive laws, and its applications to effectful programming, in particular within automata theory.
Quentin Aristote's past jobs
Follow-up to my M2's internship: wrote a paper and further explored some open questions as a preparation for my PhD.
Sped-up Pirouette (a symbolic evaluator using incorrectness logic) by optimizing its interactions with SMT solvers.
Studying applications of a categorical approach to automata minimization and learning.
I studied a fibrational framework for nested alternating fixed points and its applications to modeling bisimulations for Buchi automata.
Developed a quantum walker model whose density changes its own environment.