From 3618d66727466199a3be5677a5cf9b0a592665a4 Mon Sep 17 00:00:00 2001 From: Jonas Betzendahl <jonas.betzendahl@gmail.com> Date: Wed, 10 Oct 2018 09:47:58 +0200 Subject: [PATCH] add links to my theses --- people/jbetzendahl.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/people/jbetzendahl.md b/people/jbetzendahl.md index 3b72755..dda91c5 100644 --- a/people/jbetzendahl.md +++ b/people/jbetzendahl.md @@ -14,8 +14,10 @@ start_date: 2016-08 ### Description Hi, my name is Jonas Betzendahl and I'm a PhD Student at KWARC. -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 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. You can find it [here](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2018/jbetzendahl/thesis_imps2omdoc.pdf). + +My Bachelor Thesis at Bielefeld University had the topic of implementing Inverse Coupled Rewrite Systems (ICORES) in Haskell. It's available [here](https://gl.kwarc.info/supervision/BSc-archive/blob/master/2014/betzendahl_jonas/jbetzend_implementing_icores.pdf). 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). +If you want to contact me, my email address is _myFirstName_._myLastName_@fau.de -- GitLab