@@ -22,6 +22,6 @@ I finished my Master's degree at Bielefeld University with a thesis at KWARC abo
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.
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).
If you want to contact me, my email address is _myFirstName_._myLastName_@fau.de (my pgp-key is [here](../keys/0xC64D686FC97D4B2D.asc))
