---
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](https://opus.jacobs-university.de/frontdoor/index/index/docId/721)
December 2014.