I am a PhD student in Human-Robot Interaction at KTH Royal Institute of Technology. I am expected to graduate end of 2022 and will be looking for an academic position starting Spring 2023.

My vision is a future of autonomous verifiable robots that can automatically synthesize correction mechanisms, so that they can continue their tasks even after their policy or plan failed. In my work, I develop techniques that leverage input from non-roboticists, i.e., non-expert feedback and techniques from formal methods to automate such failure correction.

For an up-to-date list of my papers see my publications page.