I'm currently a PhD student at LSV under the supervision of Stéphane Demri and Étienne Lozes (i3S). My research is focused on the development of decision procedures for Separation Logic.