diff --git a/people/miancu.md b/people/miancu.md index edd555cdbc49391d99046283d9b76c3266393b60..e1f92703233209b7934d69b168c87403bc692335 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 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 ---