On 12 January 2023 we were visited by Dr Dragos Margineantu, AI Chief Technologist and Senior Technical Fellow at Boeing.

We seized the opportunity to organise a mini-workshop to get feedback from him on some of our most recent results and to discuss some of the ideas that we are pursuing. The topics of our short talks included different methods for verifying the robustness of neural networks, ways of formulating robustness properties, robustification of neural networks against attacks and the verification of other network architectures.

We thank Dragos for his time and the input he provided from an aviation perspective and hope to welcome him back at Imperial soon!