Maximilian Wuttke

Saarland University Computer Science

My name is Maximilian Wuttke. I finished my Bachelor's thesis at the Programming Systems Lab. I also worked as a HiWi here. Currently, I am in the preparatory phase at Graduate School of Computer Science.

My main interests are (formalisations of) programming languages and program verification, especially with theorem provers like Coq.

Legal notice, Privacy policy