I am interested in creating safe Machine Learning programmes. This includes looking into the techniques of formally verifying properites of Deep Neural Networks and on safe Reinforcement Learning.
P. Ashok, V. Hashemi, J. Křetínský, S. Mohr. DeepAbstract: Neural Network Abstraction for Accelerating Verification. Accepted at ATVA 2020. (pre-print)