Department of Computer and Information Science
University of Konstanz
关注
立即认领
分享
关注
立即认领
分享
基本信息
浏览量:0
职业迁徙
个人简介
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.