diff --git a/people/jbetzendahl.md b/people/jbetzendahl.md new file mode 100644 index 0000000000000000000000000000000000000000..977c2f7864b6b87c62cee27de8d5ba35d1ab4dd1 --- /dev/null +++ b/people/jbetzendahl.md @@ -0,0 +1,21 @@ +--- +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). diff --git a/people/jbetzendal.md b/people/jbetzendal.md deleted file mode 100644 index 2fd199ce5dd2ae89840b5714047213750fbeed28..0000000000000000000000000000000000000000 --- a/people/jbetzendal.md +++ /dev/null @@ -1,17 +0,0 @@ ---- -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. diff --git a/public/images/jbetzendal.jpg b/public/images/jbetzendahl.jpg similarity index 100% rename from public/images/jbetzendal.jpg rename to public/images/jbetzendahl.jpg