The publication of the three-volume Handbook of Formal Languages in 1997 established a primary reference point for researchers in automata theory, reflecting the extensive academic output of Arto Salomaa. Spanning over four decades, his professional career integrated the study of formal languages with computer science, resulting in hundreds of peer-reviewed articles and dozens of foundational textbooks.
Academic Formation and Early Research
Born in Turku, Finland, on 6 June 1934, Arto Kustaa Salomaa pursued his higher education at the University of Turku, where he earned a bachelor's degree in 1954 and completed his PhD in 1960. His introduction to automata theory occurred during a research period at the University of California, Berkeley, in 1957 under the guidance of John Myhill. This exposure defined his primary research trajectory for the remainder of his life.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Teaching and International Appointments
In 1966, Salomaa began a tenure as a professor at the University of Turku, a position he held until his retirement in 1999. His academic reach extended globally through visiting appointments at institutions including Aarhus University in Denmark, Leiden University in the Netherlands, and the University of Western Ontario in Canada. Throughout his career, he served in roles with the Research Council of Finland during two distinct periods, from 1975 to 1980 and again from 1989 to 1999.
Contributions to Theoretical Computer Science
Salomaa authored 46 textbooks, including Theory of Automata in 1969 and Formal Languages in 1973. His later work transitioned into emerging fields such as DNA computing, co-authored with Grzegorz Rozenberg and Gheorghe Paun in 1998. Beyond his books, he contributed over 400 scientific articles to journals. His scholarly impact was reflected in his presidency of the European Association for Theoretical Computer Science between 1979 and 1985.
Recognition and Legacy
Salomaa received numerous accolades, including the EATCS Award in 2004 and the title of Academician from the Academy of Finland. His state honors included the Knight First Class of the Order of the White Rose of Finland in 1980 and the Commander First Class of the Order of the Lion of Finland in 2019. He held honorary doctorates from the University of Szeged, the University of Bucharest, and the Technical University of Graz. He died on 26 January 2025 in Kauhajoki.
Fast facts
- Born: 6 June 1934, Turku, Finland
- Died: 26 January 2025, Kauhajoki, Finland
- Doctoral degree: University of Turku, 1960
- Professional tenure: University of Turku, 1966-1999
- Academic presidency: EATCS, 1979-1985
- Key publication: Handbook of Formal Languages, 1997
- National honor: Commander First Class of the Order of the Lion of Finland, 2019
- Scientific output: 46 textbooks and 400+ articles
Questions readers ask
What were the primary areas of Arto Salomaa's research?
His work centered on formal language theory, automata theory, and the mathematical foundations of computer science.
Did Salomaa continue researching after his retirement?
Yes, between his 1999 retirement and 2014, he published more than 100 additional scientific articles.
Achievements
- Affiliated with University of Western Ontario, Leiden University and University of Turku
- Educated at University of Turku, University of Turku and University of California, Berkeley
- Worked as mathematician, computer scientist and university teacher
