Arto Salomaa - Arto Salomaa
Arto Salomaa | |
---|---|
Née |
|
6 juin 1934
Nationalité | finlandais |
mère nourricière | Turun Yliopisto |
Carrière scientifique | |
Des champs |
Mathématiques Informatique |
Établissements | Turun Yliopisto |
Conseiller de doctorat | Kustaa Inkeri |
Doctorants |
Neil D. Jones Juhani Karhumäki Jarkko Kari Lila Kari Paul Vitanyi |
Arto K. Salomaa (né le 6 juin 1934) est un mathématicien et informaticien finlandais . Sa carrière de chercheur, qui s'étend sur plus de quarante ans, est axée sur les langages formels et la théorie des automates .
Première vie et éducation
Salomaa est né à Turku , en Finlande , le 6 juin 1934. Il a obtenu une licence de l' Université de Turku en 1954 et un doctorat de la même université en 1960. Le père de Salomaa était professeur de philosophie à l' Université de Turku . Salomaa a été initié à la théorie des automates et des langages formels lors de séminaires à Berkeley donnés par John Myhill en 1957.
Carrière
En 1965, Salomaa est devenu professeur de mathématiques à l' Université de Turku , poste dont il a pris sa retraite en 1999. Il a également passé deux ans à la fin des années 1960 à l' Université de Western Ontario à London , Ontario , Canada , et deux ans dans le 1970 à l'Université d' Aarhus à Aarhus , Danemark .
Salomaa a été président de l' Association européenne pour l'informatique théorique de 1979 à 1985.
Publications
Salomaa est auteur ou co-auteur de 46 manuels, dont « Theory of Automata » (1969), « Formal Languages » (1973), « The Mathematical Theory of L-Systems » (1980, avec Grzegorz Rozenberg ), « Jewels of Formal Language Theory" (1981) " Public-Key Cryptography " (1990) et " DNA Computing " (1998, avec Grzegorz Rozenberg et Gheorghe Paun ). Avec Rozenberg , Salomaa a édité "Handbook of Formal Languages" (1997), une référence en 3 volumes et 2000 pages sur la théorie des langages formels . Ces livres sont souvent devenus des références standard dans leurs domaines respectifs. Par exemple, les « langues formelles » ont été signalées en 1991 comme faisant partie des 100 textes les plus cités en mathématiques.
Salomaa a également publié plus de 400 articles dans des revues scientifiques au cours de sa carrière professionnelle. Il est également l'auteur d'articles non scientifiques tels que "Ce que les informaticiens devraient savoir sur le sauna". Après sa retraite, Arto Salomaa a publié près de 100 autres articles scientifiques.
Prix et reconnaissance
Salomaa a reçu le titre d' académicien de l' Académie de Finlande , l'un des douze individus finlandais vivants ayant reçu le titre. Il a également reçu le prix EATCS en 2004. Salomaa a reçu sept diplômes honorifiques. Le 13 juin 2013, Salomaa a reçu un doctorat honoris causa de l' Université de Western Ontario .
Vie privée
Salomaa s'est marié en 1959. Il a deux enfants, Kirsti et Kai , ce dernier est professeur d'informatique à l'Université Queen's de Kingston et travaille également dans le domaine des langages formels et de la théorie des automates.