Michael works as a researcher on the project “Interactive Proof: Proof Translation, Premise Selection, Rewriting “.