Skip to main content

Maximilian Doré

Personal photo - Maximilian Doré

Maximilian Doré

Doctoral Student

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

I'm a student of Samson Abramsky interested in current affairs in logic, particularly in homotopy type theory and contextual semantics.

My email address is my first name dot my last name @cs.ox.ac.uk.

Biography

Before coming to Oxford, I completed a master's in Logic and Philosophy of Science at the MCMP at LMU Munich. In my master's thesis, I tried to give philosophical underpinning to why a classical mathematician should embrace constructive reasoning and, conversely, why a type theorist can have peace of mind being a realist about mathematics. Before that, I completed my bachelor's in Computer Science and Mathematics at RWTH Aachen. I spent the last year of my bachelor's at Imperial College London, where I worked with Krysia Broda on the Elfe prover. The prover aims at making interactive theorem proving accessible to aspiring mathematicians.  

Supervisor