Skip to content
Snippets Groups Projects
Forked from KWARC / kwarc.info / www
1095 commits behind the upstream repository.
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