jbetzendahl.md

layout: person

title: Jonas Betzendahl
fullname: B.Sc. Jonas Betzendahl
pic: public/images/jbetzendahl.jpg

publink: auto

role: master-student
start_date: 2016-08

affiliation: University Bielefeld

Description

Hi, my name is Jonas Betzendahl and I am finishing my Master's degree at Bielefeld University with a thesis here at KWARC.

My topic is the transportation of the standard mathematics library of the IMPS theorem prover into OMDOC format and everything associated.

I'm interested in logic, theorem proving, category theory, type theory and (formal) mathematics. I hope to go on to do a PhD at KWARC in related topics.

My Bachelor Thesis at Bielefeld University had the topic of implementing Inverse Coupled Rewrite Systems (ICORES).