Arto Salomaa
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Décès |
(à 90 ans) Kauhajoki |
| Nom de naissance |
Arto Kustaa Salomaa |
| Nationalité | |
| Domicile | |
| Formation |
Université de Californie à Berkeley (- Université de Turku (licence) (jusqu'en ) Université de Turku (Ph.D.) (jusqu'en ) |
| Activités | |
| Père |
J. E. Salomaa (d) |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Site web | |
| Distinctions | Liste détaillée Chevalier de première classe de l'ordre de la Rose blanche de Finlande () Docteur honoris causa de l'université de Szeged () Docteur honoris causa de l'université de Bucarest () Professor of the Year (d) () Docteur honoris causa de l'université technique de Graz () Prix EATCS () Commandeur de première classe de l'ordre du Lion de Finlande () Nokia Foundation Recognition Award (d) |
Arto Kustaa Salomaa, né le à Turku en Finlande et mort le à Kauhajoki[1], est un mathématicien et informaticien théoricien finlandais. Il travaille principalement dans les domaines des langages formels, la théorie des automates, la combinatoire des mots et la cryptographie.
Il est, avec notamment Maurice Nivat et Grzegorz Rozenberg, l'un des fondateurs de l'informatique théorique européenne.
Arto Salomaa étudie à l'université de Turku (où son père est professeur de philosophie); il obtient un M. A. en 1954. En 1956-1957, il séjourne à l'université de Californie à Berkeley et il étudie sous la direction de John Myhill[2]. En 1959, il obtient une Licence universitaire (Ph. Lic.) à Turku et un Ph. D. à la même université en 1960, sous la direction de Kustaa Inkeri[3]. En 1957, Salomaa est nommé assistant à l’université de Turku. En 1965, il devient professeur de mathématiques à cette même université, et il conserve ce poste jusqu'à sa retraite en 1999. Il passe également deux années à l'université de Western Ontario à London (Ontario, Canada) et deux années à l'université d'Aarhus au Danemark[3],[4].
Arto Salomaa est président de l'European Association for Theoretical Computer Science de 1979 à 1985[5].
Publications
Arto Salomaa est un auteur très prolifique. En plus d'une grande quantité d'articles dans des journaux scientifiques et de communications à des colloques[6], il a publié, seul ou avec des coauteurs, de nombreux livres, et édité de nombreux manuels ou textes de conférences et de workshops (en français : ateliers). Les livres sont devenus fréquemment des ouvrages de référence, et le livre Formal Languages était, en 1991, parmi les 100 textes les plus cités en mathématiques[3]. Parmi ces ouvrages édités par Springer-Verlag, il y a notamment le Handbook of Formal Languages en 3 volumes, et le Book of L.
Prix et distinctions
- Huit titres de docteur honoris causa[7],[8] :
- 1988 : Åbo Akademi.
- 1989 : Université d'Oulu.
- 1989 : Université de Szeged, Hongrie.
- 1992 : Université de Bucarest, Roumanie.
- 1992 : TU Magdebourg, Allemagne.
- 1994 : Université d'État de Lettonie, Riga.
- 1999 : Université technique de Graz.
- 2013 : Université de Western Ontario[9].
- 1992 : Membre de l'Academia Europaea.
- 2001 : Membre de l'Académie finlandaise des sciences : Académicien, titre honorifique décerné par l'Académie de Finlande[10].
- 2004 : Prix EATCS[7].
- 2019 : Chevalier de première classe de l'ordre du Lion de Finlande
- 2019 : Jukka Paakki, Arto Salomaa: Mathematician, Computer Scientist, and Teacher : A Thematic Biography, Springer, Cham, , ix + 303 (ISBN 978-3-030-16048-7).
