Imperial College London


Faculty of EngineeringDepartment of Computing

Research Postgraduate



b.brueckner21 Website




Translation & Innovation Hub BuildingWhite City Campus





I am a PhD candidate working on Neural Network Verification in the Verification of Autonomous Systems (VAS) group led by Prof. Alessio Lomuscio at Imperial College London's Department of Computing. I am also part of the Centre for Doctoral Training in Safe and Trusted AI.

Before joining Imperial, I completed a bachelor's and master's degree in Industrial Engineering and Management at Karlsruhe Institute of Technology. My bachelor's thesis was on Algorithms for Parallel Machine Scheduling, while my master's thesis was on Data-Efficient Image Classification Algorithms.



Schlagenhauf T, Yildirim F, Brueckner B, Siamese Basis Function Networks for Data-Efficient Defect Classification in Technical Domains, Berlin Workshop on Artificial Intelligence for Engineering Applications 2022

Lan J, Brueckner B, Lomuscio A, A semidefinite relaxation based branch-and-bound method for tight neural network verification, AAAI Conference on Artificial Intelligence (AAAI23), AAAI

More Publications