Skip to content
Snippets Groups Projects
Commit b8317ee3 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

copied over

parent 5114da46
No related branches found
No related tags found
No related merge requests found
---
layout: person
menu_title: Florian Rabe
title: Florian Rabe
menu_order: 102
fullname: PD Dr. Florian Rabe
account: frabe
role: postdoc
start-date: 2005-09
---
to be decided how to integrate his stuff
---
layout: person
menu_title: Heinrich Stamerjohanns
title: Heinrich Stamerjohanns
menu_order: 102
fullname: Dr. Heinrich Stamerjohanns
role: postdoc
start-date: 2005-09
end-date: 2014-03
crossref: http://www.eecs.jacobs-university.de/wiki/index.php/Heinrich_Stamerjohanns
---
---
layout: default
title: KWARC People
menu_title: Current
menu_order: 100
---
## Current Members of the KWARC Group([former members](/people/former))
listing to be generated here.
---
layout: person
menu_title: Jonas Betzendal
title: Jonas Betzendal
menu_order: 102
fullname: B.Sc. Jonas Betzendal
affiliation: Data Engineering, Jacobs University
account: twiesing
role: master-student
start-date: 2016-08
pic: public/images/jbetzendal.jpg
---
### Description:
Hi, my name is Jonas Betzendal and I am finishing my Master's degree at Bielefeld.
My topic is the transportation of the library of the IMPS theorem prover into OMDOC format.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment