I will be working as a visiting researcher (Oct 2023- Dec 2023) at INRIA, STACK team, hosted by Daniel Balouek @IMT Atlantique, Nantes, France.