Natalia Ślusarz

I am a PDRA in Formal Methods for Autonomous Robotics at the University of Manchester, as part of the CRADLE (Centre for Robotic Autonomy in Demanding and Long Lasting Environments) project - a partnership between the university and Amentum. I’m part of its Work Package 2 – Architectures, working on flexible and trustworty architecture design for robotic systems. I am also a member of the Autonomy and Verification Group.

I’ve done my Ph.D. at Heriot-Watt University, Edinburgh, under the supervision of Prof. Ekaterina Komendantskaya where I’ve been a part of the AISEC (AI Secure and Explainable by Construction) group. My thesis title was “A Unifying Framework For Differentiable Logics Using Interactive Theorem Proving”.

My research interestes include formal methods for machine learning and robotics, logic (substructural and temporal in particular), neurosymbolic methods, and interactive theorem proving.

For contact details, see the icons at the bottom of the page.