Hi there! I am Mathias.

I am currently pursuing a DPhil in Machine Learning at the University of Oxford as part of the EPSRC CDT in Autonomous Intelligent Machines and Systems and the Department of Computer Science. I am grateful to be supervised by Professor Alessandro Abate.

My research interests lie in the intersection of machine learning and formal methods. I am particularly interested in using ideas from verification to specify tasks and safety constraints in a reinforcement learning setting. My current project involves training agents that are able to zero-shot generalise to novel tasks specified in linear temporal logic.

Education

DPhil in Machine Learning (AIMS CDT), 2022-2026, University of Oxford
MSc in Computer Science, 2020-2022, University of Oxford
BSc in Informatics, 2016-2020, Technical University of Munich