Arto Kustaa Salomaa, né le à Turku en Finlande et mort le à Kauhajoki, 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.
Carrière 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. 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. 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..
Arto Salomaa est président de l'European Association for Theoretical Computer Science de 1979 à 1985.
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 colloquesDBLP donne une liste de 192 articles de journaux et 49 communications à des conférences, en informatique., il a publié, seul ou avec des coauteurs, de nombreux livres, et édité de nombreux manuels ou textes de conférences et de workshops (). 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. 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 causaPage personnelle d'Arto Salomaa : 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.. 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 FinlandeAcademicians of Science, Academy of Finland.. 2004 : Prix EATCS.. 2019 : Chevalier de première classe de l'ordre du Lion de Finlande 2019 : .
Ouvrages Auteur ou coauteur
.
(édition révisée : collection Computer Science Classics, Academic Press, 1987). (Traduit en allemand en 1979).
.
.
. (Traduit en russe en 1986).
. (Traduction japonaise en 1988, vietnamienne en 1992; traduction française sous le titre Introduction à l'informatique théorique : calculabilité et complexité. Armand Colin, Paris, , 1990. ).
.
(première édition : EATCS Monographs on Theoretical Computer Science (n° 23), Springer 1990, , . (Traduction de la première édition japonaise en 1992, roumaine en 1993, russe en 1996, chinoise en 1997).
. (Traduction en japonais en 1999, russe et chinoise en 2004).
Éditeur (sélection)
.
(avec G. Paun et G. Rozenberg) Current Trends in Theoretical Computer Science, The Challenge of the New Century, World Scientific Publishing Company, Vol. 1: « Algorithms and Complexity ». , 2004. Vol. 2: « Formal Models and Semantics ». , 2004.
Notes et références
Liens externes
Catégorie:Naissance en juin 1934 Catégorie:Naissance à Turku Catégorie:Étudiant de l'université de Turku Catégorie:Professeur à l'Université de Western Ontario Catégorie:Professeur à l'université d'Aarhus Catégorie:Professeur à l'université de Turku Catégorie:Mathématicien finlandais du XXe siècle Catégorie:Mathématicien finlandais du XXIe siècle Catégorie:Personnalité finlandaise de l'informatique Catégorie:Docteur honoris causa de l'université technique de Graz Catégorie:Docteur honoris causa de l'université de Szeged Catégorie:Docteur honoris causa de l'université de Bucarest Catégorie:Docteur honoris causa de l'Université Western Ontario Catégorie:Lauréat du prix EATCS Catégorie:Membre de l'Academia Europaea Catégorie:Membre de l'Académie finlandaise des sciences Catégorie:Commandeur de 1re classe de l'ordre du Lion de Finlande Catégorie:Décès à 90 ans Catégorie:Décès en Finlande Catégorie:Décès en janvier 2025