miancu.md

layout: person
title: 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

Description:

working on various projects within the KWARC group in the direction of iMMT and OMDoc2.

Thesis Title:

Towards Flexiformal Mathematics