From 8b83e88c3fb663e10a5652dad6ec76d256ea0df5 Mon Sep 17 00:00:00 2001
From: Jonas Betzendahl <jbetzend@techfak.uni-bielefeld.de>
Date: Thu, 19 Oct 2017 16:17:16 +0200
Subject: [PATCH] correct spelling of my name, add some more basic info
---
people/jbetzendahl.md | 21 ++++++++++++++++++
people/jbetzendal.md | 17 --------------
.../{jbetzendal.jpg => jbetzendahl.jpg} | Bin
3 files changed, 21 insertions(+), 17 deletions(-)
create mode 100644 people/jbetzendahl.md
delete mode 100644 people/jbetzendal.md
rename public/images/{jbetzendal.jpg => jbetzendahl.jpg} (100%)
diff --git a/people/jbetzendahl.md b/people/jbetzendahl.md
new file mode 100644
index 0000000..977c2f7
--- /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 2fd199c..0000000
--- 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
--
GitLab