Maximilian Doré

Dr Maximilian Doré

Departmental Lecturer

College Lecturer, Somerville College

College Lecturer, Merton College

E: firstname.lastname@cs.ox.ac.uk (without accent)

Themes:

• Programming Languages

Interests

As a departmental lecturer I'm lecturing Lambda Calculus and Types and run practicals for several courses, mostly about different programming language paradigms. I'm also a college lecturer at Somerville and Merton, where I tutor a variety of courses.

Research

For more information about my research please see my personal webpage.

Biography

I did my DPhil in Oxford under the supervision of Samson Abramsky and Sam Staton. 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. And before that, I did a 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.