Skip to content

Simon Frieder

ML Researcher. Mathematician. Scientist.
Researcher @ University of Oxford.
PhD/DPhil under T. Lukasiewicz.
Also affiliated to Tim Gowers' group at Cambridge University.
Publication list: Google Scholar.

I want to automate advanced mathematical problem-solving using deep learning.

This homepage is still a bit under construction! In time, it will replace my previous university website at Oxford that I don't maintain anymore.
Contact me at: simon.frieder (at)




My interests are divided between (in no particular order):