I am PhD a student in logic, working in the mOeX team affiliated to the LIG and located at Inria Grenoble. On this website, you can find my curriculum and some of my ressources.
The main concepts I am currently playing with in my PhD: Standpoint Logic, Belief Revision, Dynamic Epistemic Logic, Knowledge evolution
I studied theoretical computer science at the École Normale Superieure de Paris-Saclay and the MPRI. My main interests in computer science are Logic, Modal Logics, Model Checking, Graph theory, Automata and Games. I did a research internship of two months in logic and another of five months in Verification.
Additionally, I did an "interface year" at the CogMaster, which is a master of cognitive sciences hosted jointly by the École Normale Supérieure de Paris, the EHESS, and the Université Paris-cité. In this master, I focused on Behaviour, Decision Science, Social interractions and Modelisation.
I am invested in scientific vulgarisation and in gender equality in science. In particular, I was involved in the project Informatique débranchée and I recieved the scholarship Femmes en sciences.
Writing, Reading, Piano, Coding, Minecraft, Board Games, my dog...
roxane.van_den_bossche AT ens-paris-sacalay DOT fr