Arto Salomaa

from Wikipedia, the free encyclopedia

Arto Salomaa (born June 6, 1934 in Turku ) is a Finnish computer scientist and mathematician .

Arto Salomaa

life and work

Salomaa studied at the University of Turku (at which his father was a philosophy professor) with an MA in 1954, was at the University of California, Berkeley with John Myhill from 1956 to 1957 , received his licentiate in 1959 from the University of Helsinki and was in 1960 with Kustaa Inkeri holds a PhD in Mathematics from the University of Turku (On the Composition of Functions of Several Variables Ranging Over a Finite Set), where he was assistant from 1957. From 1965 he was professor of mathematics at the University of Oulu and from 1966 in Turku. In 1998 he retired.

He is known for his contributions to automaton theory and theory of formal languages. He is one of the pioneers in these fields in Europe and is the author and co-editor of numerous books.

He was visiting professor for two years at the University of Western Ontario in Canada from 1966 to 1968 (and 1981/82) and from 1973 to 1975 for two years at Aarhus University .

In 2004 he received the EATCS Award . From 1979 to 1985 he was President of the European Association for Theoretical Computer Science (EATCS). He has multiple honorary doctorates (outside of Finland Bucharest, Szeged, TU Magdeburg, TU Graz , Riga, Iasi) and a member of the Finnish Academy of Sciences. For four years from 1975, 1989 and 1995 he held a research professorship at the Finnish Academy of Sciences. In 2001 he became one of the twelve fellows of the Finnish Academy. He has been a full member of the Academia Europaea since 1992 .

He has been married since 1959 and has two children.

Fonts

  • Theory of Automata, Pergamon Press 1969
  • Formal Languages, Academic Press 1987
    • German translation: Formal languages, Springer Verlag 1979
  • with M. Soittola: Automata-theoretic aspects of formal power series, Springer Verlag 1978
  • with Grzegorz Rozenberg : The Mathematical Theory of L-Systems, Academic Press 1980
  • Jewels of formal language theory, Computer Science Press 1981
  • Computation and Automata, Cambridge University Press 1985 (Encyclopedia of Mathematics and its Applications)
  • Public Key Cryptography, Springer Verlag 1990, 2nd edition 1996
  • Editor with Rozenberg: Lindenmayer Systems, Springer Verlag 1992
  • Editor with Rozenberg: Handbook of Formal Languages, 3 volumes, Springer Verlag 1997
  • with G. Paun, Rozenberg: DNA Computing. New Computing Paradigms. Springer Verlag 1997

Web links

Individual evidence

  1. ^ Mathematics Genealogy Project
  2. ^ Membership directory: Arto Salomaa. Academia Europaea, accessed on August 26, 2017 .
personal data
SURNAME Salomaa, Arto
BRIEF DESCRIPTION Finnish computer scientist
DATE OF BIRTH June 6, 1934
PLACE OF BIRTH Turku