Newer
Older
---
layout: person
title: Jonas Betzendahl
pic: public/images/jbetzendahl.jpg
Jonas Betzendahl
committed
orcid: 0000-0001-6659-5308
github: jbetzend
gitlab: jbetzend
mathhub: jbetzend
researchgate: Jonas_Betzendahl
start_date: 2016-08
---
### Description
Hi, my name is Jonas Betzendahl and I'm a PhD Student at KWARC.
I finished my Master's degree at Bielefeld University with a thesis at KWARC about the transportation of the standard mathematics library of the IMPS theorem prover into OMDOC format and everything associated. You can find it [here](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2018/jbetzendahl/thesis_imps2omdoc.pdf).
My Bachelor Thesis at Bielefeld University had the topic of implementing Inverse Coupled Rewrite Systems (ICORES) in Haskell. It's available [here](https://gl.kwarc.info/supervision/BSc-archive/blob/master/2014/betzendahl_jonas/jbetzend_implementing_icores.pdf).
I'm interested in logic, theorem proving, category theory, type theory and (formal) mathematics.
If you want to contact me, my email address is _myFirstName_._myLastName_@fau.de (my pgp-key is [here](../keys/0xC64D686FC97D4B2D.asc))