Skip to content
Snippets Groups Projects
Unverified Commit 364951c9 authored by Tom Wiesing's avatar Tom Wiesing
Browse files

Get people pages ready for deployment

parent b206c24f
No related branches found
No related tags found
No related merge requests found
--- ---
layout: default 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" %} {% assign people = site.pages | where: "layout", "person" | where_exp: "person", "person.end_date == null" | sort: "start_date" %}
{% include people_list.html %} {% include people_list.html %}
\ No newline at end of file
--- ---
layout: default layout: default
title: Former KWARC Members 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" %} {% assign people = site.pages | where: "layout", "person" | where_exp: "person", "person.end_date != null" | sort: "start_date" %}
{% include people_list.html %} {% include people_list.html %}
--- ---
layout: person layout: person
title: Mihai Grigore title: Mihai Grigore
fullname: Mihai Grigore fullname: M.Sc. Mihai Grigore
role: master-student role: master-student
start_date: 2008-09 start_date: 2008-09
end_date: 2010-08 end_date: 2010-08
--- ---
### Thesis Title:
### Thesis Title
Knowledge-poor Interpretation of Mathematical Expressions in Context Knowledge-poor Interpretation of Mathematical Expressions in Context
--- ---
layout: person layout: person
title: Mihnea Iancu title: Mihnea Iancu
fullname: Dr. Mihnea Iancu fullname: Dr. Mihnea Iancu
affiliation: Computer Science, FAU Erlangen-Nürnberg
account: miancu
role: phd-student
pic: public/images/miancu.png pic: public/images/miancu.png
role: phd-student
start_date: 2012-04 start_date: 2012-04
end_date: 2017-01 end_date: 2017-01
--- ---
### Description:
### Description
working on various projects within the KWARC group in the direction of iMMT and OMDoc2. working on various projects within the KWARC group in the direction of iMMT and OMDoc2.
### Thesis Title: ### Thesis Title
Towards Flexiformal Mathematics Towards Flexiformal Mathematics
--- ---
layout: person layout: person
title: Michael Kohlhase title: Michael Kohlhase
fullname: Prof. Dr. 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 role: faculty
pic: public/images/mkohlhase.jpg 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> **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> **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> **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). 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 <!-- LocalWords: fulltitle mkohlhase Martensstraße Schönberger
......
--- ---
layout: person layout: person
title: Milena Makaveeva title: Milena Makaveeva
fullname: Milena Makaveeva fullname: Ms.C. Milena Makaveeva
role: master-student role: master-student
start_date: 2007-09 start_date: 2007-09
end_date: 2009-08 end_date: 2009-08
--- ---
### Thesis Title:
### Thesis Title
Management of Change in Common Criteria IT Security Documentation Management of Change in Common Criteria IT Security Documentation
--- ---
layout: person layout: person
title: Normen Müller title: Normen Müller
fullname: Dr. Normen Müller fullname: Dr. Normen Müller
role: phd-student
pic: public/images/nmueller.jpg pic: public/images/nmueller.jpg
role: phd-student
start_date: 2005-09 start_date: 2005-09
end_date: 2010-07 end_date: 2010-07
affiliation: BearingPoint Software Solutions GmbH
--- ---
### Description ### Description
In May 2010 I have received my PhD in computer science at the Jacobs University. 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
--- ---
layout: person layout: person
title: Stefan Anca title: Stefan Anca
fullname: Stefan Anca fullname: M.Sc. Stefan Anca
role: master-student role: master-student
start_date: 2007-09 start_date: 2007-09
end_date: 2009-08 end_date: 2009-08
--- ---
###Thesis Title:
### Thesis Title
Recovering content from Scientific Documents for Search Recovering content from Scientific Documents for Search
--- ---
layout: person layout: person
title: Stefania Dumbrava title: Stefania Dumbrava
fullname: Stefania Dumbrava fullname: M.Sc. Stefania Dumbrava
role: master-student
pic: public/images/sdumbrava.jpeg pic: public/images/sdumbrava.jpeg
role: master-student
start_date: 2010-09 start_date: 2010-09
end_date: 2012-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: affiliation: Université Paris-Sud XI
Towards a Type Theory with Reflection ---
### 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. 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
--- ---
layout: person layout: person
title: Theresa Pollinger title: Theresa Pollinger
fullname: Theresa Pollinger fullname: B.Sc. Theresa Pollinger
affiliation: Computational Engineering, FAU Erlangen-Nürnberg
pic: public/images/tpollinger.jpg pic: public/images/tpollinger.jpg
account: tpollinger
role: master-student role: master-student
start_date: 2017-05 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.
--- ---
layout: person layout: person
title: Tom Wiesing title: Tom Wiesing
fullname: B.Sc. Tom Wiesing fullname: B.Sc. Tom Wiesing
affiliation: Data Engineering, Jacobs University
account: twiesing
role: master-student
pic: public/images/twiesing.jpg pic: public/images/twiesing.jpg
role: master-student
start_date: 2013-02 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. 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. I am working for _KWARC_ mostly on _localmh_, a cross-repository administration tool for the local authoring of MathHub.info content.
......
--- ---
layout: person layout: person
title: Ulrich Rabenstein title: Ulrich Rabenstein
fullname: Ulrich Rabenstein fullname: M.Sc. Ulrich Rabenstein
affiliation: Computer Science, FAU Erlangen-Nürnberg
pic: public/images/urabenstein.jpg pic: public/images/urabenstein.jpg
account: urabenstein
role: master-student role: master-student
start_date: 2016-10 start_date: 2016-10
end_date: 2017-07 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.
--- ---
layout: person layout: person
title: Vyacheslav Zholudev title: Vyacheslav Zholudev
fullname: Dr. Vyacheslav Zholudev fullname: Dr. Vyacheslav Zholudev
role: phd-student
pic: public/images/vzholudev.jpeg pic: public/images/vzholudev.jpeg
role: phd-student
start_date: 2007-09 start_date: 2007-09
end_date: 2012-07 end_date: 2012-07
affiliation: ResearchGate
--- ---
### Description ### Description
In July 2012 I have received my PhD in computer science at the Jacobs University. In July 2012 I have received my PhD in computer science at the Jacobs University.
### Thesis Title:
Enhancing XML Preservation and Workflows ### Thesis Title
### Current Affiliation? Enhancing XML Preservation and Workflows
ResearchGate \ No newline at end of file
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