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