Mathias Jackermeier

Mathias Jackermeier

Doctoral Student

E: firstname.lastname@cs.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

• Artificial Intelligence and Machine Learning
• Automated Verification

See Also:

• Personal Webpage

Interests

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.

Biography

I am a DPhil student in the AIMS CDT supervised by Alessandro Abate. Before starting my DPhil, I completed an MSc in Computer Science at Oxford, and a BSc in Informatics at the Technical University of Munich. During my time in Munich, I worked with Jan Křetínský.

Activities

• Deep Reinforcement Learning

Supervisor