diff --git a/people/frabe.md b/people/frabe.md new file mode 100644 index 0000000000000000000000000000000000000000..db12c7d58c9c32f6334f802d4f92fe061474a5da --- /dev/null +++ b/people/frabe.md @@ -0,0 +1,11 @@ +--- +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 diff --git a/people/hstamerjohanns.md b/people/hstamerjohanns.md new file mode 100644 index 0000000000000000000000000000000000000000..35054eec7388af11bc4c6209a5a5e5bf49fce549 --- /dev/null +++ b/people/hstamerjohanns.md @@ -0,0 +1,12 @@ +--- +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 +--- + diff --git a/people/index.md b/people/index.md new file mode 100644 index 0000000000000000000000000000000000000000..badf39908c7de5a0841dd527fcb3166a36ff4dc0 --- /dev/null +++ b/people/index.md @@ -0,0 +1,16 @@ +--- +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. + + + + + + + diff --git a/people/jbetzendal.md b/people/jbetzendal.md new file mode 100644 index 0000000000000000000000000000000000000000..509e91cb3e0b82405a1909db6078618919f24033 --- /dev/null +++ b/people/jbetzendal.md @@ -0,0 +1,17 @@ +--- +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.