From c5365c03a69d4909dad433618d5fcb498a1de481 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Wed, 7 Jun 2017 18:44:32 +0200 Subject: [PATCH] tweaks --- people/miancu.md | 9 ++++++--- people/vzholudev.md | 2 +- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/people/miancu.md b/people/miancu.md index edd555c..e1f9270 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.jpg 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/vzholudev.md b/people/vzholudev.md index b8f9a66..437e768 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 --- -- GitLab