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..8a01b0d1b13cca9626f62c67a8147a71303761b4 --- /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.md +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/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/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/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/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