diff --git a/people/jbetzendahl.md b/people/jbetzendahl.md index 3b7275525de02cf7ca3e400fbd192cd723bc613b..dda91c5d5c05aa3128817177540fc8f5fdc27ad8 100644 --- a/people/jbetzendahl.md +++ b/people/jbetzendahl.md @@ -14,8 +14,10 @@ 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. +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. -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