Juhani Karhumäki
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Nationalité | |
| Domicile |
Kurikka () |
| Formation | |
| Activités |
| Membre de | |
|---|---|
| Directeur de thèse | |
| Site web |
Eero Urho Juhani Karhumäki[1] (né le dans la commune rurale de Jyväskylä) est un mathématicien et informaticien théoricien finlandais, connu pour ses contributions à la théorie des automates et la combinatoire des mots. Il est professeur émérite à l'université de Turku en Finlande.
Karhumäki a obtenu son doctorat à l'université de Turku en 1976 sous la direction d'Arto Salomaa[2] avec une thèse sur certains systèmes de Lindemayer. De 1980 à 1985, il est chercheur junior à l'Académie de Finlande. Depuis 1986, il occupe des postes d'enseignant à l'université de Turku, où il devient professeur titulaire en 1998. De 1998 à 2015, Karhumäki dirige le département de mathématiques à l'université de Turku. Il est l’auteur d’environ 200 articles de recherche[3].
Distinctions
Karhumäki est membre de l'Académie finlandaise des sciences et des lettres depuis 2000 et de l'Academia Europaea depuis 2006[4]. Une festschrift en son honneur a été publiée en 2009 dans un numéro spécial de Theoretical Computer Science[3].
Contributions à la recherche
Karhumäki est membre du groupe de mathématiciens Lothaire qui a développé les fondements de la combinatoire des mots. En 1991, il a résolu avec Tero Harju le problème d'équivalence des automates finis à plusieurs bandes, problème resté longtemps ouvert[5]. Karhumäki a contribué à différents domaines d'informatique théorique, notamment la théorie des langages formels, la combinatoire des mots et les solutions d'équations de mots[6], d'équations de langages[7] et la complexité descriptive des automates finis[8].
