| Naissance | |
|---|---|
| Nationalité | |
| Formation |
Université Masaryk (docteur en philosophie) (jusqu'à ) |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse |
Libor Polák (d) |
Michal Kunc, né le à Brno, est un mathématicien tchèque.
Sa thèse porte sur Deciding existence of trace codings. Il travaille au département de mathématiques et statistiques de la Faculté des sciences à l'université Masaryk
En 1971, Conway conjectura que les centraliseurs de langages réguliers étaient également réguliers.
La résolution du problème fut effectuée en 2005 et publiée en 2007 par Michal Kunc.