Image of David Boetius

David Boetius

I'm a PhD student at the Software and Systems Engineering Group at University of Konstanz. I study applying formal methods in deep learning to create trustworthy machine learning models. In particular, this includes neural network verification and neural network repair. More broadly, I am interested in formal methods, optimisation, and programming languages.

News

Complete list of publications and information on my education at
https://orcid.org/0000-0002-9071-1695.