diff --git a/people/blaubner.md b/people/blaubner.md new file mode 100644 index 0000000000000000000000000000000000000000..1ed2529fe4e60364ff4ffc3ee56d1fd2d74e2bed --- /dev/null +++ b/people/blaubner.md @@ -0,0 +1,15 @@ +--- +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 diff --git a/people/cdavid.md b/people/cdavid.md new file mode 100644 index 0000000000000000000000000000000000000000..6eaa32d93ae60d2d75267b611943f87f19b8be97 --- /dev/null +++ b/people/cdavid.md @@ -0,0 +1,28 @@ +--- +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 diff --git a/people/cprodescu.md b/people/cprodescu.md new file mode 100644 index 0000000000000000000000000000000000000000..037e0480a59f80b219cb5ce8f4cbc74a14eb3f1e --- /dev/null +++ b/people/cprodescu.md @@ -0,0 +1,10 @@ +--- +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 diff --git a/people/fihorozal.md b/people/fihorozal.md new file mode 100644 index 0000000000000000000000000000000000000000..c607edc0b0b70be819fc9d8d40d442198e2c8616 --- /dev/null +++ b/people/fihorozal.md @@ -0,0 +1,10 @@ +--- +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 diff --git a/people/hstamerjohanns.md b/people/hstamerjohanns.md index 9e2e79de0d9999be236bbcbfb3b5caadf5406e14..762da703239f3dd94ade87d082fc3845dc1978cb 100644 --- a/people/hstamerjohanns.md +++ b/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 diff --git a/people/ksojakova.md b/people/ksojakova.md new file mode 100644 index 0000000000000000000000000000000000000000..124d1b6deb5474da70b066700fa8449b98a11a0b --- /dev/null +++ b/people/ksojakova.md @@ -0,0 +1,12 @@ +--- +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/ diff --git a/people/mgrigore.md b/people/mgrigore.md new file mode 100644 index 0000000000000000000000000000000000000000..754397a3411870f072936bc1e126e1f207a103c9 --- /dev/null +++ b/people/mgrigore.md @@ -0,0 +1,10 @@ +--- +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 diff --git a/people/miancu.md b/people/miancu.md index edd555cdbc49391d99046283d9b76c3266393b60..ce6394caca615ae5bc0ead9fb3e9ea4344b556da 100644 --- a/people/miancu.md +++ b/people/miancu.md @@ -1,13 +1,16 @@ --- 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 diff --git a/people/mmakaveeva.md b/people/mmakaveeva.md new file mode 100644 index 0000000000000000000000000000000000000000..7047771e578658c40a68296724cb43ae92582869 --- /dev/null +++ b/people/mmakaveeva.md @@ -0,0 +1,10 @@ +--- +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 diff --git a/people/sanca.md b/people/sanca.md new file mode 100644 index 0000000000000000000000000000000000000000..c252fc37f67f76be40d1ee3fa77aaf5c9eda2e92 --- /dev/null +++ b/people/sanca.md @@ -0,0 +1,10 @@ +--- +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 diff --git a/people/sdumbrava.md b/people/sdumbrava.md new file mode 100644 index 0000000000000000000000000000000000000000..993b8418f7ca1a6eaf20de326e084ea51be04102 --- /dev/null +++ b/people/sdumbrava.md @@ -0,0 +1,17 @@ +--- +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. diff --git a/people/vzholudev.md b/people/vzholudev.md index b8f9a66bc35a1c2bbcefd6fc88bd98fc6a06a8ee..437e768a4ed5bee6e1cea700a79ce79742df4e3a 100644 --- a/people/vzholudev.md +++ b/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 --- diff --git a/public/images/cdavid.jpeg b/public/images/cdavid.jpeg new file mode 100644 index 0000000000000000000000000000000000000000..f914b238df279506a5204dd4ac068417b15aa6f8 Binary files /dev/null and b/public/images/cdavid.jpeg differ diff --git a/public/images/hstamerjohanns.jpg b/public/images/hstamerjohanns.jpg new file mode 100644 index 0000000000000000000000000000000000000000..6c5c855bcd828d0183f6f4610d93574dffc14cfb Binary files /dev/null and b/public/images/hstamerjohanns.jpg differ diff --git a/public/images/inormann.jpg b/public/images/inormann.jpg new file mode 100644 index 0000000000000000000000000000000000000000..45f153628fc7c4686419aaf7671167941f592bbe Binary files /dev/null and b/public/images/inormann.jpg differ diff --git a/public/images/miancu.png b/public/images/miancu.png new file mode 100644 index 0000000000000000000000000000000000000000..32749608aa478a39fc436fbfc191fb5508e2cb39 Binary files /dev/null and b/public/images/miancu.png differ diff --git a/public/images/sdumbrava.jpeg b/public/images/sdumbrava.jpeg new file mode 100644 index 0000000000000000000000000000000000000000..a87f3aff655b149f1d617b7cd0fa7f2b9d7a73d5 Binary files /dev/null and b/public/images/sdumbrava.jpeg differ diff --git a/public/images/vzholudev.jpeg b/public/images/vzholudev.jpeg new file mode 100644 index 0000000000000000000000000000000000000000..f669cbfc107b4ebd04e8ba4f44dd03a0e6988160 Binary files /dev/null and b/public/images/vzholudev.jpeg differ