Arto Salomaa

Source: Wikipedia, the free encyclopedia.
Arto Salomaa
Paul Vitanyi

Arto Kustaa Salomaa (born 6 June 1934) is a

formal languages and automata theory
.

Early life and education

Salomaa was born in

PhD from the same university in 1960. Salomaa's father was a professor of philosophy at the University of Turku.[1] Salomaa was introduced to the theory of automata and formal languages during seminars at Berkeley given by John Myhill in 1957.[2]

Career

In 1965, Salomaa became a professor of mathematics at the University of Turku, a position he retired from in 1999. He also spent two years in the late 1960s at the University of Western Ontario in London, Ontario, Canada, and two years in the 1970s at Aarhus University in Aarhus, Denmark.[1][3]

Salomaa was president of the

European Association for Theoretical Computer Science from 1979 until 1985.[4]

Publications

Salomaa has authored or co-authored 46 textbooks, including

Gheorghe Paun). With Rozenberg, Salomaa edited the Handbook of Formal Languages (1997), a 3-volume, 2000-page reference on formal language theory.[5] These books have often become standard references in their respective areas. For example, Formal Languages was reported in 1991 to be among the 100 most cited texts in mathematics.[1]

Salomaa has also published over 400 articles in scientific journals during his professional career. He has authored also non-scientific articles such as "What computer scientists should know about sauna".[6] After his retirement, Arto Salomaa has published almost another 100 scientific articles.

Awards and recognition

Salomaa has been awarded the title of

EATCS Award in 2004.[9] Salomaa has received seven honorary degrees.[9] On June 13, 2013, Salomaa was awarded a Doctor Honoris Causa from the University of Western Ontario.[10]

Personal life

Salomaa married in 1959.[11] He has two children, Kirsti and Kai,[11] the latter of whom is a professor of Computer Science at Queen's University at Kingston and also works in the field of formal languages and automata theory.[12]

References

  1. ^
    doi:10.1006/inco.1998.2760
    .
  2. Bulletin of the European Association for Theoretical Computer Science
    . 84: 12–15.
  3. Springer
    , pp. 253–273.
  4. ^ Brauer, Ute; Brauer, Wilfried (1997). "Silver Jubilee of EATCS". EATCS. Archived from the original on December 12, 2011. Retrieved November 24, 2013.
  5. JSTOR 40180402
    .
  6. ^ Salomaa, A. (1981). "What computer scientists should know about sauna". Bulletin of the European Association of Theoretical Computer Science. 15: 8–21.
  7. ^ "Finnish Academicians of Science — Academy of Finland". Archived from the original on 2019-03-24. Retrieved 2018-07-07.
  8. ^ Academy of Finland, "Academicians | Academy of Finland". Archived from the original on 2014-03-29. Retrieved 2014-06-02..
  9. ^ a b van Leeuwen, Jan (2004), "The distinguished achievement award: EATCS Award 2004", Bulletin of the European Association for Theoretical Computer Science, 84: 10–11
  10. ^ "Arto Salomaa - Computer Science - Western University". Computer Science Department, University of Western Ontario. Archived from the original on 2018-07-08. Retrieved 2018-07-07..
  11. ^ a b Salomaa, Arto. "Curriculum Vitae". Retrieved 2018-07-04..
  12. ^ "Kai T. Salomaa". Queen's University. Archived from the original on April 21, 2014. Retrieved April 21, 2014.

External links

Retrieved from "https://en.wikipedia.org/w/index.php?title=Arto_Salomaa&oldid=1193660724"