From b8317ee31e55f21bbc8a387cabe99184514fe13b Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Mon, 5 Jun 2017 18:01:17 +0200 Subject: [PATCH] copied over --- people/frabe.md | 11 +++++++++++ people/hstamerjohanns.md | 12 ++++++++++++ people/index.md | 16 ++++++++++++++++ people/jbetzendal.md | 17 +++++++++++++++++ 4 files changed, 56 insertions(+) create mode 100644 people/frabe.md create mode 100644 people/hstamerjohanns.md create mode 100644 people/index.md create mode 100644 people/jbetzendal.md diff --git a/people/frabe.md b/people/frabe.md new file mode 100644 index 0000000..db12c7d --- /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 0000000..35054ee --- /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 0000000..badf399 --- /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 0000000..509e91c --- /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. -- GitLab