Natalia Ślusarz
Research Associate @ University of Manchester
I have recently started as a PDRA 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 am also a member of the Autonomy and Verification Group.
I’m also the Publicity Chair for this year’s edition of ITP (collocated with FLoC’26).
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 research interestes include formal methods for machine learning, substructural logics (especially fuzzy logics), contraint-aware training of neural networks, neurosymbolic methods, and interactive theorem proving.