Maximilian Schäffeler

Chair for Logic and Verification

About me

photo

I am currently (since August 2021) a doctoral candidate in Computer Science at the Chair for Logic and Verification supervised by Prof. Nipkow. I am interested in the formalization of solution methods for Markov decision processes in the interactive theorem prover Isabelle.

Beginning in 2015 I did my Bachelors and Masters in Computer Science at the Technical University of Munich. During my studies I specialized in IT security, functional programming and formal methods. For my Master’s thesis Verified Solution Methods for Markov Decision Processes I verified the value iteration and policy iteration algorithms in Isabelle/HOL.

If you are interested in collaborating on a project, feel free to contact me!

Contact

Name Maximilian Schäffeler
E-mail {schaeffm} AT [in.tum.de]
Office MI 00.09.056
Address Maximilian Schäffeler
TUM LS21
Boltzmannstr. 3
85748 Garching
Germany