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