miancu.md

layout: person

title: Mihnea Iancu
fullname: Dr. Mihnea Iancu
pic: public/images/miancu.png

public: auto

role: phd-student
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

Towards Flexiformal Mathematics December 2014.