---
layout: person

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

publink: auto

role: phd-student
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))