Merge branch 'master' of gl.kwarc.info:kwarc/website

people/blaubner.md

+---
+layout: person
+title: Bastian Laubner
+fullname: Bastian Laubner
+role: master-student
+start_date: 2005-09
+end_date: 2007-08
+---
+
+### 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

people/cdavid.md

+---
+layout: person
+title: Catalin David
+fullname: Catalin David
+role: master-student
+pic: public/images/cdavid.jpeg
+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.
+
+My work has started with projects regarding knowledge representation and understanding
+(arXMLiv and LaMaPUn), but my interest has been since oriented towards web technologies,
+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:
+I am interested in representation of mathematics on the Internet, as well as User Interaction (UI) and eXperience (UX).
+	
+###Thesis Title:
+Semantic Alliance Framework: Integrating Documents and Semantic Service 

people/cprodescu.md

+---
+layout: person
+title: Corneliu Claudiu Prodescu 
+fullname: Corneliu Claudiu Prodescu 
+role: master-student
+start_date: 2008-09
+end_date: 2014-08
+---
+### Thesis Title:
+Text and Formula Search on arXiv Documents

people/fihorozal.md

+---
+layout: person
+title: Figen Fusun Horozal
+fullname: Figen Fusun Horozal
+role: master-student
+start_date: 2009-09
+end_date: 2012-02
+---
+###Thesis Title:
+Management of Change in OWL Ontologies

people/hstamerjohanns.md

@@ -3,6 +3,7 @@ layout: person
 title: Heinrich Stamerjohanns
 fullname: Dr. Heinrich Stamerjohanns
 role: postdoc
+pic: public/images/hstamerjohanns.jpg
 start_date: 2005-09
 end_date: 2014-03
 crossref: http://www.eecs.jacobs-university.de/wiki/index.php/Heinrich_Stamerjohanns

people/ksojakova.md

+---
+layout: person
+title: Kristina Sojakova 
+fullname: Kristina Sojakova 
+role: master-student
+start_date: 2008-09
+end_date: 2010-08
+---
+### Thesis Title
+Mechanically Verifying Logic Translations
+### Home Page
+http://www.cs.cmu.edu/~ksojakov/

people/mgrigore.md

+---
+layout: person
+title: Mihai Grigore
+fullname: Mihai Grigore
+role: master-student
+start_date: 2008-09
+end_date: 2010-08
+---
+### Thesis Title:
+Knowledge-poor Interpretation of Mathematical Expressions in Context

people/miancu.md

 ---
 layout: person
 title: Mihnea Iancu
-fullname: Mihnea Iancu
+fullname: Dr. Mihnea Iancu
 affiliation: Computer Science, FAU Erlangen-Nürnberg
 account: miancu
 role: phd-student
+pic: public/images/miancu.png
 start_date: 2012-04
 end_date: 2017-01
 ---
-Ph.D. Student at KWARC
- working on various projects within the KWARC group in the direction of iMMT and OMDoc2.
+### Description:
+working on various projects within the KWARC group in the direction of iMMT and OMDoc2.
 
+### Thesis Title:
+Towards Flexiformal Mathematics

people/mmakaveeva.md

+---
+layout: person
+title: Milena Makaveeva
+fullname: Milena Makaveeva 
+role: master-student
+start_date: 2007-09
+end_date: 2009-08
+---
+### Thesis Title:
+Management of Change in Common Criteria IT Security Documentation

people/sanca.md

+---
+layout: person
+title: Stefan Anca
+fullname: Stefan Anca
+role: master-student
+start_date: 2007-09
+end_date: 2009-08
+---
+###Thesis Title:
+Recovering content from Scientific Documents for Search

people/sdumbrava.md

+---
+layout: person
+title: Stefania Dumbrava
+fullname: Stefania Dumbrava
+role: master-student
+pic: public/images/sdumbrava.jpeg
+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
+
+### UPDATE:
+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.

people/vzholudev.md

@@ -3,7 +3,7 @@ layout: person
 title: Vyacheslav Zholudev
 fullname: Dr. Vyacheslav Zholudev
 role: phd-student
-pic: public/images/vzholudev.jpg
+pic: public/images/vzholudev.jpeg
 start_date: 2007-09
 end_date: 2012-07
 ---