Michal Kunc
From Wikipedia, the free encyclopedia
Michal Kunc
| 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
Travaux
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.