La publication du Handbook of Formal Languages en trois volumes en 1997 a établi un point de référence majeur pour les chercheurs en théorie des automates, reflétant la vaste production académique d'Arto Salomaa. Sur plus de quatre décennies, sa carrière professionnelle a intégré l'étude des langages formels à l'informatique, aboutissant à des centaines d'articles évalués par des pairs et à des dizaines de manuels fondamentaux.
Formation académique et recherche initiale
Né à Turku, en Finlande, le 6 juin 1934, Arto Kustaa Salomaa a poursuivi ses études supérieures à l'Université de Turku, où il a obtenu une licence en 1954 et son doctorat en 1960. Son introduction à la théorie des automates a eu lieu lors d'une période de recherche à l'Université de Californie à Berkeley en 1957, sous la direction de John Myhill. Cette expérience a défini sa trajectoire de recherche principale pour le reste de sa vie.
Enseignement et nominations internationales
En 1966, Salomaa a commencé son mandat de professeur à l'Université de Turku, poste qu'il a occupé jusqu'à sa retraite en 1999. Son rayonnement académique s'est étendu mondialement grâce à des postes de professeur invité dans des institutions telles que l'Université d'Aarhus au Danemark, l'Université de Leiden aux Pays-Bas et l'Université de Western Ontario au Canada. Tout au long de sa carrière, il a occupé des fonctions au sein du Conseil de recherche de Finlande durant deux périodes distinctes, de 1975 à 1980 et de 1989 à 1999.
Contributions à l'informatique théorique
Salomaa est l'auteur de 46 manuels, dont Theory of Automata en 1969 et Formal Languages en 1973. Ses travaux ultérieurs se sont orientés vers des domaines émergents tels que l'informatique à ADN, co-écrits avec Grzegorz Rozenberg et Gheorghe Paun en 1998. Au-delà de ses livres, il a contribué à plus de 400 articles scientifiques dans des revues. Son impact académique s'est reflété dans sa présidence de l'Association européenne pour l'informatique théorique entre 1979 et 1985.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Reconnaissance et héritage
Salomaa a reçu de nombreuses distinctions, dont le prix EATCS en 2004 et le titre d'académicien de l'Académie de Finlande. Ses honneurs nationaux incluent le titre de Chevalier de première classe de l'Ordre de la Rose blanche de Finlande en 1980 et de Commandeur de première classe de l'Ordre du Lion de Finlande en 2019. Il était titulaire de doctorats honoris causa de l'Université de Szeged, de l'Université de Bucarest et de l'Université technique de Graz. Il est décédé le 26 janvier 2025 à Kauhajoki.
Faits marquants
- Né : 6 juin 1934, Turku, Finlande - Décédé : 26 janvier 2025, Kauhajoki, Finlande - Doctorat : Université de Turku, 1960 - Carrière professionnelle : Université de Turku, 1966-1999 - Présidence académique : EATCS, 1979-1985 - Publication clé : Handbook of Formal Languages, 1997 - Distinction nationale : Commandeur de première classe de l'Ordre du Lion de Finlande, 2019 - Production scientifique : 46 manuels et plus de 400 articles
Questions posées par les lecteurs
### Quels étaient les principaux domaines de recherche d'Arto Salomaa ?
Ses travaux se concentraient sur la théorie des langages formels, la théorie des automates et les fondements mathématiques de l'informatique.
### Salomaa a-t-il continué ses recherches après sa retraite ?
Oui, entre sa retraite en 1999 et 2014, il a publié plus de 100 articles scientifiques supplémentaires.
