From 364951c974593a58d84f9a0e63c8f2a67c36e29b Mon Sep 17 00:00:00 2001
From: Tom Wiesing <tkw01536@gmail.com>
Date: Fri, 23 Jun 2017 19:55:28 -0400
Subject: [PATCH] Get people pages ready for deployment
---
_config.yml | 8 +--
_includes/people_list.html | 19 +++----
_layouts/person.html | 67 ++++++++++++++++++------
people/README.md | 23 --------
people/akohlhase.md | 16 +++---
people/blaubner.md | 11 ++--
people/cdavid.md | 12 ++---
people/cjucovschi.md | 13 ++---
people/clange.md | 16 +++---
people/cmueller.md | 16 +++---
people/cprodescu.md | 9 +++-
people/dginev.md | 19 +++----
people/dmueller.md | 18 +++----
people/fhorozal.md | 10 ++--
people/fihorozal.md | 7 ++-
people/frabe.md | 8 +--
people/hstamerjohanns.md | 8 +--
people/inormann.md | 16 +++---
people/jbetzendal.md | 10 ++--
people/ksojakova.md | 10 ++--
people/meta/README.md | 30 +++++++++++
people/{index.html => meta/current.html} | 5 +-
people/{ => meta}/former.html | 3 +-
people/mgrigore.md | 7 ++-
people/miancu.md | 11 ++--
people/mkohlhase.md | 12 +++--
people/mmakaveeva.md | 7 ++-
people/nmueller.md | 13 +++--
people/sanca.md | 7 ++-
people/sdumbrava.md | 21 +++++---
people/tpollinger.md | 11 ++--
people/twiesing.md | 11 ++--
people/urabenstein.md | 12 +++--
people/vzholudev.md | 14 +++--
34 files changed, 292 insertions(+), 188 deletions(-)
delete mode 100644 people/README.md
create mode 100644 people/meta/README.md
rename people/{index.html => meta/current.html} (74%)
rename people/{ => meta}/former.html (83%)
diff --git a/_config.yml b/_config.yml
index e33ad35..58a0b70 100644
--- a/_config.yml
+++ b/_config.yml
@@ -81,16 +81,16 @@ roles:
name: Faculty
-
id: postdoc
- name: Postdocs
+ name: Postdoc
-
id: phd-student
- name: "Phd Students"
+ name: "Phd Student"
-
id: master-student
- name: "Master Students"
+ name: "Master Student"
-
id: bachelor-student
- name: "Bachelor Students"
+ name: "Bachelor Student"
# default values -- the one for all **must** be first
diff --git a/_includes/people_list.html b/_includes/people_list.html
index 6fe409c..ec52dff 100644
--- a/_includes/people_list.html
+++ b/_includes/people_list.html
@@ -8,23 +8,24 @@
{% if rollers.size > 0 %}
<ul class="collection with-header">
- <li class="collection-header"><h4>{{role.name}}</h4></li>
+ <li class="collection-header"><h5>{{role.name}}(s)</h5></li>
{% for person in rollers %}
<li class="collection-item avatar">
<img src="/{{person.pic}}" alt="" class="circle"/>
<a href="{{person.url}}" class="title">{{person.fullname}}</a>
<p>
{% if person.start_date %}
- from
+ {% unless person.end_date %}
+ since
+ {% endunless %}
{% assign date = person.start_date %}
{% include date.html %}
- <br/>
- {% endif %}
- {% if person.end_date %}
- until
- {% assign date = person.end_date %}
- {% include date.html %}
- <br/>
+
+ {% if person.end_date %}
+ -
+ {% assign date = person.end_date %}
+ {% include date.html %}
+ {% endif %}
{% endif %}
</p>
</li>
diff --git a/_layouts/person.html b/_layouts/person.html
index d76bdc6..f98a9b9 100644
--- a/_layouts/person.html
+++ b/_layouts/person.html
@@ -3,22 +3,55 @@ layout: default
---
<div class="row">
- <div class="col s12 m5 right">
- <div class="card">
- <div class="card-image">
- <img src="/{{page.pic}}" width="300"/>
- </div>
- <div class="card-content">
- <span class="card-title">{{ page.fullname }}</span>
- {% if page.fulltitle %}{{ page.fulltitle }}{% endif %}
- </div>
- <div class="card-action">
- <a href="https://kwarc.info/{{ page.account }}/publications.html">Publications</a>
- {% if page.cv %} <a href="/{{page.cv}}">CV</a>{% endif %}
- </div>
+
+ <div class="col s12 m5 right">
+ <div class="card">
+ <div class="card-image">
+ <img src="/{{page.pic}}" width="300"/>
+ </div>
+ <div class="card-content">
+ <span class="card-title">{{ page.fullname }}</span>
+
+ <hr />
+
+ {% assign role = site.roles | where: "id", page.role %}
+ {% assign role = role[0] %}
+
+ {{role.name}}
+ {% if page.start_date %}
+ <br />
+ {% unless page.end_date %}
+ since
+ {% endunless %}
+
+ {% assign date = page.start_date %}
+ {% include date.html %}
+
+ {% if page.end_date %}
+ -
+ {% assign date = page.end_date %}
+ {% include date.html %}
+ {% endif %}
+ {% endif %}
+
+ {% if page.affiliation %}
+ <hr />
+ {{ page.affiliation }}
+ {% endif %}
+ </div>
+ <div class="card-action">
+ {% if page.website %}
+ <a target="_blank" href="{{page.website}}">Website</a>
+
+ {% endif %}
+
+ <a href="https://kwarc.info/{{ page.account }}/publications.html">Publications</a>
+ </div>
+ </div>
+
</div>
- </div>
- <p>
- {{content}}
- </p>
+
+ <p>
+ {{content}}
+ </p>
</div>
diff --git a/people/README.md b/people/README.md
deleted file mode 100644
index 8fb3ef9..0000000
--- a/people/README.md
+++ /dev/null
@@ -1,23 +0,0 @@
-Technical directions on adding a page
-------------------------------------------
-
-To add a new page, create a file of the form `<first initial><surname>.md` in this
-directory, taking the existing files as examples. Any auxiliary files (e.g. CV, ... should
-have form `<first initial><surname>-<aux>.<ext>`.
-
-Each file needs some specific parameters:
-
- * **layout** use *person*
- * **menu_title** (optional) the slot title in the menu, use your full name, leave out
- for auxiliary pages.
- * **fullname**
- * **fulltitle**
- * **affiliation** the academic affiliation
- * **account** (the base name of the file)
- * **cv** (optionall) ink to a CV.
- * **start_date** (optional) a start date (YYYY-MM)
- * **end_date** (optional) an end date (YYYY-MM)
- * **role** one of *master-student*, *bachelor-student*, *phd-student*, *postdoc*, *faculty* or *guest*
- * **crossref** (optional) if the home page is outside this web site.
-
-A person is considered as 'active' (i.e. a current member) if and only if their `end_date` is unset.
\ No newline at end of file
diff --git a/people/akohlhase.md b/people/akohlhase.md
index f4bcd7b..90959d9 100644
--- a/people/akohlhase.md
+++ b/people/akohlhase.md
@@ -1,14 +1,19 @@
---
layout: person
+
title: Andrea Kohlhase
fullname: Prof. Dr. Andrea Kohlhase
-role: postdoc
pic: public/images/akohlhase.jpg
+
+role: postdoc
start_date: 2005-12
end_date: 2014-08
+
+affiliation: Hochschule Neu-Ulm
+website: https://www.hs-neu-ulm.de/andrea-kohlhase/
---
-### Description
+### Description
After having been associated with the KWARC research group at Jacobs University Bremen
under guidance of Prof.Dr. Michael Kohlhase (I know the name coincidence is amazing ...)
for a couple of years, since July 2011 I'm actually a working member of the group. Before
@@ -20,6 +25,7 @@ I am still very fond of my previous research group [dimeb](http://www.dimeb.de)
(Digital Media in Education) at the University of Bremen under guidance of Prof. Dr. Heidi
Schelhowe.
+### Research Focus
My research interest lies in the intersection between the fields of "Semantic
Web" and "Human-Computer-Interaction", especially Interaction Design for semantic data
("Semantic Interaction Design"), with a focus on educational environments. I have
@@ -38,8 +44,4 @@ human-spreadsheet interactions and decouple our semantic services from specific
spreadsheet players like MS Excel.
At the end of last year I started to make use of Kelly's Repertory Grid Technique. The
-example data set for the MathUI'13 paper you can find [here](http://www.kwarc.info/ako/ProcrustesAnalysis).
-
-### Current Affiliation
-Hochschule Neu-Ulm [Current Home Page](https://www.hs-neu-ulm.de/andrea-kohlhase/)
-
+example data set for the MathUI'13 paper you can find [here](http://www.kwarc.info/ako/ProcrustesAnalysis).
\ No newline at end of file
diff --git a/people/blaubner.md b/people/blaubner.md
index 1ed2529..dd3d36a 100644
--- a/people/blaubner.md
+++ b/people/blaubner.md
@@ -1,15 +1,16 @@
---
layout: person
+
title: Bastian Laubner
-fullname: Bastian Laubner
+fullname: M.Sc. Bastian Laubner
+
role: master-student
start_date: 2005-09
end_date: 2007-08
---
-### Research Focus:
+### Research Focus
My interests are in the fields of logic, graph theory, computation theory, and the design of algorithms.
-
- ### Thesis Title:
- Mapping Mathematics with Theory Graphs A Case Study and a Prototype
+### Thesis Title
+Mapping Mathematics with Theory Graphs A Case Study and a Prototype
\ No newline at end of file
diff --git a/people/cdavid.md b/people/cdavid.md
index 6eaa32d..a69939b 100644
--- a/people/cdavid.md
+++ b/people/cdavid.md
@@ -1,15 +1,16 @@
---
layout: person
+
title: Catalin David
-fullname: Catalin David
-role: master-student
+fullname: M.Sc. Catalin David
pic: public/images/cdavid.jpeg
+
+role: master-student
start_date: 2008-09
end_date: 2012-02
---
### Description
-
I have graduated in June 2012 with a thesis within the SiSsi project, regarding the
software framework behind the project: Semantic Alliance Framework: Integrating Documents
and Semantic Services.
@@ -19,10 +20,9 @@ My work has started with projects regarding knowledge representation and underst
mainly, user interaction and user experience in the field of semantic data (JOBAD and
Planetary). Lately I have also had an interest in bridging the gap between desktop and web
systems, bringing semantic web concepts in everyday desktop software (SiSsi).
-
-### Research Focus:
+### Research Focus
I am interested in representation of mathematics on the Internet, as well as User Interaction (UI) and eXperience (UX).
-###Thesis Title:
+### Thesis Title
Semantic Alliance Framework: Integrating Documents and Semantic Service
diff --git a/people/cjucovschi.md b/people/cjucovschi.md
index ab5d2fc..731723d 100644
--- a/people/cjucovschi.md
+++ b/people/cjucovschi.md
@@ -1,16 +1,17 @@
---
layout: person
+
title: Constantin Jucovschi
-fullname: Constantin Jucovschi
-affiliation: Computer Science, FAU Erlangen-Nürnberg
-account: cjucovschi
-role: phd-student
+fullname: M.Sc. Constantin Jucovschi
pic: public/images/cjucovschi.jpeg
+
+role: phd-student
start_date: 2007-10
----
-### Description:
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+---
+### Description
Constantin Jucovschi Ph.D. Student of Computer Science at FAU Erlangen supervised by
Prof. Michael Kohlhase.
diff --git a/people/clange.md b/people/clange.md
index 0d3ac1c..8b194db 100644
--- a/people/clange.md
+++ b/people/clange.md
@@ -1,15 +1,17 @@
---
layout: person
+
title: Christoph Lange
fullname: Dr. Christoph Lange
-role: phd-student
pic: public/images/clange.jpg
+
+role: phd-student
start_date: 2008-07
end_date: 2012-08
+
+website: https://langec.wordpress.com/about/
+affiliation: Enterprise Information Systems, Fraunhofer IAIS Bonn
---
-### Thesis Title:
-Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration
-### Current Affiliation?
-Enterprise Information Systems, Fraunhofer IAIS Bonn
-### Current Home Page
-https://langec.wordpress.com/about/
+
+### Thesis Title
+Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration
diff --git a/people/cmueller.md b/people/cmueller.md
index e7c3e45..cdc1449 100644
--- a/people/cmueller.md
+++ b/people/cmueller.md
@@ -1,15 +1,19 @@
---
layout: person
+
title: Christine Müller
fullname: Dr. Christine Müller
-role: phd-student
pic: public/images/cmueller.jpg
+
+role: phd-student
start_date: 2006-09
end_date: 2010-05
+
+affiliation: ti&m Frankfurt
---
+
### Description
-In May 2010 I have received my PhD in computer science at the Jacobs University.
-### Thesis Title:
-Thesis Title: Adaptation of Mathematical Documents
-### Current Affiliation?
-ti&m Frankfurt
+In May 2010 I have received my PhD in computer science at the Jacobs University.
+
+### Thesis Title
+Adaptation of Mathematical Documents
\ No newline at end of file
diff --git a/people/cprodescu.md b/people/cprodescu.md
index 037e048..26cb9ef 100644
--- a/people/cprodescu.md
+++ b/people/cprodescu.md
@@ -1,10 +1,15 @@
---
layout: person
+
title: Corneliu Claudiu Prodescu
-fullname: Corneliu Claudiu Prodescu
+fullname: M.Sc. Corneliu Claudiu Prodescu
+
role: master-student
start_date: 2008-09
end_date: 2014-08
+
+affiliation: Twitter
---
-### Thesis Title:
+
+### Thesis Title
Text and Formula Search on arXiv Documents
diff --git a/people/dginev.md b/people/dginev.md
index 5d1ffd7..41adf3e 100644
--- a/people/dginev.md
+++ b/people/dginev.md
@@ -1,13 +1,17 @@
---
layout: person
+
title: Deyan Ginev
-fullname: Deyan Ginev
-affiliation: Computer Science, FAU Erlangen-Nürnberg
-account: dginev
+fullname: M.Sc. Deyan Ginev
+pic: public/images/dginev.jpeg
+
role: phd-student
start_date: 2007-02
-pic: public/images/dginev.jpeg
+
+website: http://prodg.org
+affiliation: Computer Science, FAU Erlangen-Nürnberg
---
+
### Contact
d D@T ginev A?T jacobs DASH university D0T ДЕ (Д is a cyrillic D in case you're wondering)
@@ -30,16 +34,9 @@ All of my research work is released as Free Libre Open Source Software, so feel
My supervisor is Prof. [Michael Kohlhase](http://kwarc.info/kohlhase), head of the [KWARC](http://kwarc.info/) research group (Knowledge Adaptation and Reasoning for Content).
-
### Research Focus
My primary interest lies in Mathematical Knowledge Management and Computational Semantics of Natural Language, with a focus on Underspecification and Ambiguity in the Math domain.
I am also involved in and excited by the problems of Scalable Software Architectures, Data Mining, Processing in the Large and the Semantic Web.
My current work is targeting large-scale Semantic Enrichment of informal mathematical documents, based on the [arXiv](https://arxiv.org) corpus. For a more detailed view, feel free to read my [PhD Proposal](https://svn.kwarc.info/repos/dginev/public/DeyanGinev_PhD_proposal.pdf).
-
-
-###non-academic professional profile
-please visit my [personal website](http://prodg.org).
-
-
diff --git a/people/dmueller.md b/people/dmueller.md
index 003304e..d6af816 100644
--- a/people/dmueller.md
+++ b/people/dmueller.md
@@ -1,16 +1,16 @@
---
layout: person
+
title: Dennis Müller
-fullname: Dennis Müller
-affiliation: Computer Science, FAU Erlangen-Nürnberg
-account: dmueller
+fullname: M.Sc. Dennis Müller
+pic: public/images/dmueller.jpg
+
role: phd-student
start_date: 2015-04
-pic: public/images/dmueller.jpg
----
- Ph.D. Student at KWARC
-### Contact Details:
-Email: "d." + lastname.replace("ü","ue") + "@" + this.domain
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+website: http://blog.logicalphalluses.net/
+---
-[My blog](http://blog.logicalphalluses.net/)
+### Contact
+Email: "d." + lastname.replace("ü","ue") + "@" + this.domain
\ No newline at end of file
diff --git a/people/fhorozal.md b/people/fhorozal.md
index 5d7e68d..19c6dc1 100644
--- a/people/fhorozal.md
+++ b/people/fhorozal.md
@@ -1,12 +1,14 @@
---
layout: person
+
title: Fulya Horozal
fullname: Dr. Fulya Horozal
-role: phd-student
pic: public/images/fhorozal.jpg
+
+role: phd-student
start_date: 2010-05
end_date: 2014-12
---
-### Thesis Title:
-Framework for Defining Declarative Languages
-### Current Affiliation?
+
+### Thesis Title
+Framework for Defining Declarative Languages
\ No newline at end of file
diff --git a/people/fihorozal.md b/people/fihorozal.md
index c607edc..586f631 100644
--- a/people/fihorozal.md
+++ b/people/fihorozal.md
@@ -1,10 +1,13 @@
---
layout: person
+
title: Figen Fusun Horozal
-fullname: Figen Fusun Horozal
+fullname: M.Sc. Figen Fusun Horozal
+
role: master-student
start_date: 2009-09
end_date: 2012-02
---
-###Thesis Title:
+
+### Thesis Title
Management of Change in OWL Ontologies
diff --git a/people/frabe.md b/people/frabe.md
index e5f720c..7023218 100644
--- a/people/frabe.md
+++ b/people/frabe.md
@@ -1,9 +1,11 @@
---
layout: person
+
title: Florian Rabe
fullname: PD Dr. Florian Rabe
-account: frabe
+
role: postdoc
start_date: 2005-09
----
-to be decided how to integrate his stuff
+
+affiliation: Jacobs University Bremen
+---
\ No newline at end of file
diff --git a/people/hstamerjohanns.md b/people/hstamerjohanns.md
index 762da70..bd03cad 100644
--- a/people/hstamerjohanns.md
+++ b/people/hstamerjohanns.md
@@ -1,11 +1,13 @@
---
layout: person
+
title: Heinrich Stamerjohanns
fullname: Dr. Heinrich Stamerjohanns
-role: postdoc
pic: public/images/hstamerjohanns.jpg
+
+role: postdoc
start_date: 2005-09
end_date: 2014-03
-crossref: http://www.eecs.jacobs-university.de/wiki/index.php/Heinrich_Stamerjohanns
----
+website: http://www.eecs.jacobs-university.de/wiki/index.php/Heinrich_Stamerjohanns
+---
diff --git a/people/inormann.md b/people/inormann.md
index b9219dd..70efe05 100644
--- a/people/inormann.md
+++ b/people/inormann.md
@@ -1,15 +1,19 @@
---
layout: person
+
title: Immanuel Normann
fullname: Dr. Immanuel Normann
-role: phd-student
pic: public/images/inormann.jpg
+
+role: phd-student
start_date: 2004-01
end_date: 2008-12
+
+affiliation: Pagina GmbH
---
+
### Description
-Immanuel Normann was a Ph.D. student at KWARC,
-### Thesis Title:
-Automated Theory Interpretation
-### Current Affiliation?
-Pagina GmbH.
+Immanuel Normann was a Ph.D. student at KWARC.
+
+### Thesis Title
+Automated Theory Interpretation
\ No newline at end of file
diff --git a/people/jbetzendal.md b/people/jbetzendal.md
index a25ec13..2fd199c 100644
--- a/people/jbetzendal.md
+++ b/people/jbetzendal.md
@@ -1,15 +1,17 @@
---
layout: person
+
title: Jonas Betzendal
fullname: B.Sc. Jonas Betzendal
-affiliation: Data Engineering, Jacobs University
-account: twiesing
+pic: public/images/jbetzendal.jpg
+
role: master-student
start_date: 2016-08
-pic: public/images/jbetzendal.jpg
+
+affiliation: University Bielefeld
---
-### Description:
+### 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.
diff --git a/people/ksojakova.md b/people/ksojakova.md
index 124d1b6..51974b6 100644
--- a/people/ksojakova.md
+++ b/people/ksojakova.md
@@ -1,12 +1,16 @@
---
layout: person
+
title: Kristina Sojakova
-fullname: Kristina Sojakova
+fullname: M.Sc. Kristina Sojakova
+
role: master-student
start_date: 2008-09
end_date: 2010-08
+
+website: http://www.cs.cmu.edu/~ksojakov/
+affiliation: Carnegie Mellon University
---
+
### Thesis Title
Mechanically Verifying Logic Translations
-### Home Page
-http://www.cs.cmu.edu/~ksojakov/
diff --git a/people/meta/README.md b/people/meta/README.md
new file mode 100644
index 0000000..bf7a232
--- /dev/null
+++ b/people/meta/README.md
@@ -0,0 +1,30 @@
+Technical directions on adding a page
+------------------------------------------
+
+To add a new page, create a file of the form `<first initial><surname>.md` in this
+directory, taking the existing files as examples.
+
+Each file needs some specific parameters:
+
+ * **layout** use *person*
+
+ * **title** Name of the person, doubles as the page title
+ * **fullname** Full name of the person, to be used in references
+ * **pic** Relative link to a picture of the person
+
+ * **role** one of *master-student*, *bachelor-student*, *phd-student*, *postdoc*, *faculty* or *guest*
+ * **start_date** (optional) a start date (YYYY-MM)
+ * **end_date** (optional) an end date (YYYY-MM)
+
+ * **website** (optional) the (current) website
+ * **affiliation** (optional) the (current) affiliation
+
+A person is considered as 'active' (i.e. a current member) if and only if their `end_date` is unset.
+
+By convention, section headings are:
+1. Contact
+2. Description
+3. Research Focus
+4. Thesis Title
+
+**DO NOT put colons after section titles**
diff --git a/people/index.html b/people/meta/current.html
similarity index 74%
rename from people/index.html
rename to people/meta/current.html
index 44745eb..021c2bf 100644
--- a/people/index.html
+++ b/people/meta/current.html
@@ -1,9 +1,8 @@
---
layout: default
-title: KWARC People
+title: KWARC Members
+permalink: /people/
---
-<h2>Current Members of the KWARC Group</h2>
-
{% assign people = site.pages | where: "layout", "person" | where_exp: "person", "person.end_date == null" | sort: "start_date" %}
{% include people_list.html %}
\ No newline at end of file
diff --git a/people/former.html b/people/meta/former.html
similarity index 83%
rename from people/former.html
rename to people/meta/former.html
index a4bef44..42c566f 100644
--- a/people/former.html
+++ b/people/meta/former.html
@@ -1,9 +1,8 @@
---
layout: default
title: Former KWARC Members
+permalink: /people/former/
---
-<h2>Former Members of the KWARC Group</h2>
-
{% assign people = site.pages | where: "layout", "person" | where_exp: "person", "person.end_date != null" | sort: "start_date" %}
{% include people_list.html %}
diff --git a/people/mgrigore.md b/people/mgrigore.md
index 754397a..d9160c0 100644
--- a/people/mgrigore.md
+++ b/people/mgrigore.md
@@ -1,10 +1,13 @@
---
layout: person
+
title: Mihai Grigore
-fullname: Mihai Grigore
+fullname: M.Sc. Mihai Grigore
+
role: master-student
start_date: 2008-09
end_date: 2010-08
---
-### Thesis Title:
+
+### Thesis Title
Knowledge-poor Interpretation of Mathematical Expressions in Context
diff --git a/people/miancu.md b/people/miancu.md
index ce6394c..09a5b4c 100644
--- a/people/miancu.md
+++ b/people/miancu.md
@@ -1,16 +1,17 @@
---
layout: person
+
title: Mihnea Iancu
fullname: Dr. Mihnea Iancu
-affiliation: Computer Science, FAU Erlangen-Nürnberg
-account: miancu
-role: phd-student
pic: public/images/miancu.png
+
+role: phd-student
start_date: 2012-04
end_date: 2017-01
---
-### Description:
+
+### Description
working on various projects within the KWARC group in the direction of iMMT and OMDoc2.
-### Thesis Title:
+### Thesis Title
Towards Flexiformal Mathematics
diff --git a/people/mkohlhase.md b/people/mkohlhase.md
index e30ac33..f5f4c04 100644
--- a/people/mkohlhase.md
+++ b/people/mkohlhase.md
@@ -1,21 +1,23 @@
---
layout: person
+
title: Michael Kohlhase
fullname: Prof. Dr. Michael Kohlhase
-fulltitle: Professur für Wissensrepräsentation und -verarbeitung
-affiliation: Computer Science, FAU Erlangen-Nürnberg
-account: mkohlhase
+
role: faculty
pic: public/images/mkohlhase.jpg
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
---
-### Contact Details:
+
+### Contact
**Office**: Martensstraße 3, 91058 Erlangen, Room11.139, tel/fax: (49) 9131-85-64052/55, <michael.kohlhase@fau.de>
**Secretary**: Gabriele Schönberger, Room 11.158, tel/fax: (49) 9131-85-64057/55, <gabriele.schoenberger@fau.de>
**Office at Jacobs University Bremen**: Room 169 Research I, tel/fax: +49 421 200 3140/493140, <m.kohlhase@jacobs-university.de>
-### Description:
+### Description
I am also an adjunct associate professor at the School of Computer Science Carnegie Mellon University and an adjunct professor at [Jacobs University Bremen](http://jacobs-university.de). My research is conducted in the context of the KWARC group (Knowledge Adaptation and Reasoning for Content) [go there for an overview](http://kwarc.info).
<!-- LocalWords: fulltitle mkohlhase Martensstraße Schönberger
diff --git a/people/mmakaveeva.md b/people/mmakaveeva.md
index 7047771..ded3fea 100644
--- a/people/mmakaveeva.md
+++ b/people/mmakaveeva.md
@@ -1,10 +1,13 @@
---
layout: person
+
title: Milena Makaveeva
-fullname: Milena Makaveeva
+fullname: Ms.C. Milena Makaveeva
+
role: master-student
start_date: 2007-09
end_date: 2009-08
---
-### Thesis Title:
+
+### Thesis Title
Management of Change in Common Criteria IT Security Documentation
diff --git a/people/nmueller.md b/people/nmueller.md
index cddab14..a10940a 100644
--- a/people/nmueller.md
+++ b/people/nmueller.md
@@ -1,16 +1,19 @@
---
layout: person
+
title: Normen Müller
fullname: Dr. Normen Müller
-role: phd-student
pic: public/images/nmueller.jpg
+
+role: phd-student
start_date: 2005-09
end_date: 2010-07
+
+affiliation: BearingPoint Software Solutions GmbH
---
+
### Description
In May 2010 I have received my PhD in computer science at the Jacobs University.
-### Thesis Title:
-Thesis Title: Adaptation of Mathematical Documents
-### Current Affiliation?
-BearingPoint Software Solutions GmbH
+### Thesis Title
+Adaptation of Mathematical Documents
diff --git a/people/sanca.md b/people/sanca.md
index c252fc3..b1b4714 100644
--- a/people/sanca.md
+++ b/people/sanca.md
@@ -1,10 +1,13 @@
---
layout: person
+
title: Stefan Anca
-fullname: Stefan Anca
+fullname: M.Sc. Stefan Anca
+
role: master-student
start_date: 2007-09
end_date: 2009-08
---
-###Thesis Title:
+
+### Thesis Title
Recovering content from Scientific Documents for Search
diff --git a/people/sdumbrava.md b/people/sdumbrava.md
index 993b841..59a17fc 100644
--- a/people/sdumbrava.md
+++ b/people/sdumbrava.md
@@ -1,17 +1,22 @@
---
layout: person
+
title: Stefania Dumbrava
-fullname: Stefania Dumbrava
-role: master-student
+fullname: M.Sc. Stefania Dumbrava
pic: public/images/sdumbrava.jpeg
+
+role: master-student
start_date: 2010-09
end_date: 2012-09
----
-### Research interests:
-foundations of mathematics (category theory, type theory, logic), automated reasoning (formalization and computer-aided formal verification of mathematics).
-###Thesis Title:
-Towards a Type Theory with Reflection
+affiliation: Université Paris-Sud XI
+---
-### UPDATE:
+### Description
As of October 1st 2012, I am a PhD student at Université Paris-Sud XI, working in the Toccata INRIA-LRI group, under the supervision of Véronique Benzaken and Évelyne Contejean, on the certification of data-centric systems.
+
+### Research Focus
+Foundations of mathematics (category theory, type theory, logic), automated reasoning (formalization and computer-aided formal verification of mathematics).
+
+### Thesis Title
+Towards a Type Theory with Reflection
\ No newline at end of file
diff --git a/people/tpollinger.md b/people/tpollinger.md
index 9288d94..009517a 100644
--- a/people/tpollinger.md
+++ b/people/tpollinger.md
@@ -1,12 +1,15 @@
---
layout: person
+
title: Theresa Pollinger
-fullname: Theresa Pollinger
-affiliation: Computational Engineering, FAU Erlangen-Nürnberg
+fullname: B.Sc. Theresa Pollinger
pic: public/images/tpollinger.jpg
-account: tpollinger
+
role: master-student
start_date: 2017-05
+affiliation: Computational Engineering, FAU Erlangen-Nürnberg
---
- I am doing my Master's thesis at the KWARC group, somewhere in the field between Mathematical Knowledge Representation and High Performance Simulations. If you are interested in the current status of the topic, feel free to contact me.
+
+### Description
+I am doing my Master's thesis at the KWARC group, somewhere in the field between Mathematical Knowledge Representation and High Performance Simulations. If you are interested in the current status of the topic, feel free to contact me.
diff --git a/people/twiesing.md b/people/twiesing.md
index afb337e..37681d4 100644
--- a/people/twiesing.md
+++ b/people/twiesing.md
@@ -1,15 +1,18 @@
---
layout: person
+
title: Tom Wiesing
fullname: B.Sc. Tom Wiesing
-affiliation: Data Engineering, Jacobs University
-account: twiesing
-role: master-student
pic: public/images/twiesing.jpg
+
+role: master-student
start_date: 2013-02
+
+website: https://tkw01536.de
+affiliation: Data Engineering, Jacobs University
---
-### Description:
+### Description
Hi, my name is Tom Wiesing and I am a German guy who is currently a _Data Engineering_ master student at _Jacobs University Bremen_ in my 4th and final semester.
I am working for _KWARC_ mostly on _localmh_, a cross-repository administration tool for the local authoring of MathHub.info content.
diff --git a/people/urabenstein.md b/people/urabenstein.md
index d759522..d86e988 100644
--- a/people/urabenstein.md
+++ b/people/urabenstein.md
@@ -1,12 +1,16 @@
---
layout: person
+
title: Ulrich Rabenstein
-fullname: Ulrich Rabenstein
-affiliation: Computer Science, FAU Erlangen-Nürnberg
+fullname: M.Sc. Ulrich Rabenstein
pic: public/images/urabenstein.jpg
-account: urabenstein
+
role: master-student
start_date: 2016-10
end_date: 2017-07
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
---
- I have written my master thesis as a member of the KWARC group. My task was to detect quantity expressions in STEM-documents and to build useful semantic services.
+
+### Description
+I have written my master thesis as a member of the KWARC group. My task was to detect quantity expressions in STEM-documents and to build useful semantic services.
diff --git a/people/vzholudev.md b/people/vzholudev.md
index 437e768..ce78c82 100644
--- a/people/vzholudev.md
+++ b/people/vzholudev.md
@@ -1,15 +1,19 @@
---
layout: person
+
title: Vyacheslav Zholudev
fullname: Dr. Vyacheslav Zholudev
-role: phd-student
pic: public/images/vzholudev.jpeg
+
+role: phd-student
start_date: 2007-09
end_date: 2012-07
+
+affiliation: ResearchGate
---
+
### Description
In July 2012 I have received my PhD in computer science at the Jacobs University.
-### Thesis Title:
-Enhancing XML Preservation and Workflows
-### Current Affiliation?
-ResearchGate
+
+### Thesis Title
+Enhancing XML Preservation and Workflows
\ No newline at end of file
--
GitLab