diff --git a/people/jbetzendahl.md b/people/jbetzendahl.md index 0c9c9d1f6a97c984ad249a429038a8b4bf2617ab..85f6894414acbd36b5c15a84d7dd06929418ab7e 100644 --- a/people/jbetzendahl.md +++ b/people/jbetzendahl.md @@ -16,7 +16,7 @@ start_date: 2016-08 --- ### Description -Hi, my name is Jonas Betzendahl, my pronouns are [they/he](http://pronoun.is/they?or=he) and I'm a PhD Student at KWARC. +Hi, my name is Jonas Betzendahl, my pronouns are [they/he](http://pronoun.is/they?or=he), 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).