Naissance | |
---|---|
Nationalité | |
Formation |
Université Masaryk (doctorat) (jusqu'à ) |
Activités |
A travaillé pour | |
---|---|
Directeur de thèse |
Libor Polák (d) |
Michal Kunc, né le à Brno[1], est un mathématicien tchèque.
Sa thèse porte sur Deciding existence of trace codings[2]. 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.