I am a postdoctoral researcher at the university of Angers, France. My main research concerns the modeling of human spatial reasoning capacities in non-monotonic logics, and the implementation of the obtained frameworks into computational languages such as Answer Set Programming. 

In my current postdoc position, together with Martin Dieguez, I am developing a semantics for Answer Set Programming that includes constraints from external theories and temporal logics such as Linear Temporal Logic. Prior to that, I did my Phd ( defended in 2022) at the Institut Jean Nicod in Paris, under Paul Egré's supervision. During my PhD, I investigated the nature of the mental representations constructed to reason on spatial problems described linguistically ("A is to the left B", "Paris is in France"...), and I designed  a computational framework that models these cognitive processes.