diff --git a/people/jbetzendahl.md b/people/jbetzendahl.md index b20a78f28a3c7e6a7af5a92c7b8d8a947be7f5d5..4f04f618f070c4304e71b1ee999266e9e58da4ad 100644 --- a/people/jbetzendahl.md +++ b/people/jbetzendahl.md @@ -2,22 +2,22 @@ layout: person title: Jonas Betzendahl -fullname: B.Sc. Jonas Betzendahl +fullname: M.Sc. Jonas Betzendahl pic: public/images/jbetzendahl.jpg publink: auto -role: master-student +role: phd-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. +Hi, my name is Jonas Betzendahl and I'm a PhD Student at KWARC. -My topic is 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. -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. +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).