Skip to content

Miikka Koskinen

  • University of Helsinki

    Research interests

    type theorycomputer scienceLogic

    Education

    Mathematics

    Helsingin yliopisto

    September 2010 - Present