Hi, my name is Jonas Betzendahl and I'm a PhD Student at KWARC.
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.
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.
I'm interested in logic, theorem proving, category theory, type theory and (formal) mathematics.
My Bachelor Thesis at Bielefeld University had the topic of implementing Inverse Coupled Rewrite Systems (ICORES).
If you want to contact me, my email address is _myFirstName_._myLastName_@fau.de
