Mihnea Iancu

Description: 

I am a PhD. Candidate at Jacobs University working on various projects within the KWARC group in the direction of iMMT and OMDoc2.