--- layout: person title: Jonas Betzendal fullname: B.Sc. Jonas Betzendal pic: public/images/jbetzendal.jpg role: master-student start_date: 2016-08 affiliation: University Bielefeld --- ### Description Hi, my name is Jonas Betzendal and I am finishing my Master's degree at Bielefeld. My topic is the transportation of the library of the IMPS theorem prover into OMDOC format.