Merge branch 'master' of gl.kwarc.info:static/www.kwarc.info

people/jbetzendahl.md

+---
+layout: person
+
+title: Jonas Betzendahl
+fullname: B.Sc. Jonas Betzendahl
+pic: public/images/jbetzendahl.jpg
+
+role: master-student
+start_date: 2016-08
+
+affiliation: University Bielefeld
+---
+
+### Description
+Hi, my name is Jonas Betzendahl and I am finishing my Master's degree at Bielefeld University with a thesis here at KWARC.
+
+My topic is the transportation of the standard mathematics library of the IMPS theorem prover into OMDOC format and everything associated.
+
+I'm interested in logic, theorem proving, category theory, type theory and (formal) mathematics. I hope to go on to do a PhD at KWARC in related topics.
+
+My Bachelor Thesis at Bielefeld University had the topic of implementing Inverse Coupled Rewrite Systems (ICORES).

people/jbetzendal.md

----
-layout: person
-
-title: Jonas Betzendal
-fullname: B.Sc. Jonas Betzendal
-pic: public/images/jbetzendal.jpg
-
-role: master-student
-start_date: 2016-08
-
-affiliation: University Bielefeld
----
-
-### Description
-Hi, my name is Jonas Betzendal and I am finishing my Master's degree at Bielefeld.
-
-My topic is the transportation of the library of the IMPS theorem prover into OMDOC format.