jbetzendal.md

layout: person
title: Jonas Betzendal
fullname: B.Sc. Jonas Betzendal
affiliation: Data Engineering, Jacobs University
account: twiesing
role: master-student
start_date: 2016-08
pic: public/images/jbetzendal.jpg

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.