PhD student at the Algorithmics Group of the Faculty of Engineering, Mathematics and Computer Science (EEMCS/EWI), Delft University of Technology.
My primary interests are Formal Methods and Neural Networks. Although these two topics conflict which each other, it is not impossible to create certificates which assure safety criterion on Neural Networks. I am interested in specializing in formal verification of Neural Networks, explainable AI, and run-time monitoring of Neural Networks. Additionally, I am interested in everything that is related to outer space. Therefore, I am currently working on stability verification of learned controllers exposed to highly stochastic environments such as satellites orbiting asteroids, which is crucial for mining resources in outer space in the future..