Imperial College London

MrBenediktBrückner

Faculty of EngineeringDepartment of Computing

Research Postgraduate
 
 
 
//

Contact

 

b.brueckner21 Website

 
 
//

Location

 

Translation & Innovation Hub BuildingWhite City Campus

//

Summary

 

Summary

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.

Publications

Conference

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