jbetzendal.md

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.