Presented at EASSS 2026, part of the EUMAS 2026 pre-conference programme in Malmö, Sweden. Covered temporal logic, model checking, and shielding for safe reinforcement learning, including multi-agent systems (details).

Interactive public engagement activity at Imperial's Great Exhibition Road Festival.

Presentation on latest research at the STAI CDT Quadannual Student Seminar.

Group presentation at the STAI CDT AI Sandpit 2026.

Talk at SPIKE's 2026 Neuro-symbolic AI Workshop.

Presentation and discussion at the ICARL Reading Group based on the paper by Hahn et al. (paper).

Presented and discussed a published paper as part of the Journal Club of the Safe and Trusted AI CDT for first-year students.