From fcc84466ed9df37b3b0a2aeedd0d6d9dbe40422a Mon Sep 17 00:00:00 2001 From: Jonas Betzendahl <jonas.betzendahl@fau.de> Date: Wed, 29 May 2024 08:29:32 +0000 Subject: [PATCH] Update jbetzendahl.md --- people/jbetzendahl.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/people/jbetzendahl.md b/people/jbetzendahl.md index 85f6894..199f4e8 100644 --- a/people/jbetzendahl.md +++ b/people/jbetzendahl.md @@ -16,12 +16,12 @@ start_date: 2016-08 --- ### Description -Hi, my name is Jonas Betzendahl, my pronouns are [they/he](http://pronoun.is/they?or=he), and I'm a PhD Student at KWARC. +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](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 PhD research is concerned with systems of definedness reasoning and soft types in the context of MMT. You can read the proposal [here](https://kwarc.info/public/proposal_jbetzendahl.pdf). +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](https://courses.voll-ki.fau.de/) system. -If you want to contact me, my email address is _myFirstName_._myLastName_@fau.de (my pgp-key is [here](../keys/0xC64D686FC97D4B2D.asc)) +If you want to contact me, my email address is: _myFirstName_._myLastName_@fau.de -- GitLab