Juhani Karhumäki

Juhani Karhumäki
Juhani Karhumäki à Oberwolfach en 2010
Biographie
Naissance
Nationalité
Domicile
Formation
Activités
Autres informations
Membre de
Directeur de thèse
Site web

Eero Urho Juhani Karhumäki[1] (né le 20 août 1949 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.

Biographie

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].

Baguage d'oiseaux

L'activité extra mathématique de Karhumäki est le baguage des oiseaux. Ce travail exige de la patience, des nerfs solides et une bonne forme physique, car le baguage nécessite souvent de grimper sur des arbres imposants pour atteindre les nids. Karhumäki a été élu « bagueur » de l'année 1989 en Finlande, une distinction impressionnante dans un pays où le baguage des oiseaux est très populaire. Depuis 1967, Juhani a bagué plus de douze mille oiseaux de plus d'une centaine d'espèces différentes[3].

Notes et références

  1. ↑ « Luonnontieteiden ja tekniikan tiedekunnan yksiköt »
  2. ↑ (en) « Juhani Karhumäki », sur le site du Mathematics Genealogy Project
  3. 1 2 3 « Preface », Theoretical Computer Science, vol. 410, nos 30–32,‎ , p. 2785–2794 (ISSN 0304-3975, DOI 10.1016/j.tcs.2009.04.014)
  4. ↑ « Juhani Karhumäki » sur site de l'[Academia Europaea].
  5. ↑ Tero Harju et Juhani Karhumäki, « The equivalence problem of multitape finite automata », Theoretical Computer Science, vol. 78, no 2,‎ , p. 347–355 (DOI 10.1016/0304-3975(91)90356-7).
  6. ↑ Juhani Karhumäki et Filippo Mignosi, « The expressibility of languages and relations by word equations », Journal of the ACM, vol. 47, no 3,‎ , p. 483–505 (DOI 10.1145/337244.337255, S2CID 16088773)
  7. ↑ Juhani Karhumäki et Ion Petre, « Conway's problem for three-word sets », Theoretical Computer Science, vol. 289, no 1,‎ , p. 705–725 (DOI 10.1016/S0304-3975(01)00389-9).
  8. ↑ Juraj Hromkovič, Sebastian Seibert, Juhani Karhumäki et Hartmut Klauck, « Communication Complexity Method for Measuring Nondeterminism in Finite Automata », Information and Computation, vol. 172, no 2,‎ , p. 202–217 (DOI 10.1006/inco.2001.3069).

Liens externes

  • icône décorative Portail des mathématiques
  • icône décorative Portail de l'informatique théorique
  • icône décorative Portail de la Finlande
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.