jbetzendahl.md

layout: person

title: Jonas Betzendahl
fullname: M.Sc. Jonas Betzendahl
pic: public/images/jbetzendahl.jpg

orcid: 0000-0001-6659-5308
github: lambdatotoro
researchgate: Jonas_Betzendahl
dblp: b/Betzendahl:Jonas
publink: auto

role: phd-student
start_date: 2016-08

Description

Hi, my name is Jonas Betzendahl, I use all pronouns, 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. You can find it here.

My Bachelor Thesis at Bielefeld University had the topic of implementing Inverse Coupled Rewrite Systems (ICORES) in Haskell. It's available here.

I'm interested in teaching, logic, theorem proving, type theory and (formal) mathematics. My PhD research is concerned with the learner management side of the ALeA system.

If you want to contact me, my email address is: myFirstName.myLastName@fau.de