From 83efa05a8cd0d06d5ce10051201736d96f6d6c23 Mon Sep 17 00:00:00 2001
From: Jonas Betzendahl <jonas.betzendahl@gmail.com>
Date: Thu, 7 Jun 2018 12:53:50 +0200
Subject: [PATCH] update role, name, text

---
 people/jbetzendahl.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/people/jbetzendahl.md b/people/jbetzendahl.md
index b20a78f..4f04f61 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).
-- 
GitLab