---
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.jpg
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