Researcher at Onera, the french aerospace lab, in Toulouse, France. I work on robotics software engineering and formal validation of robotic applications.