Arto Salomaa received his Ph.D. in 1960 and has been professor of mathematics at the University of Turku since 1965. Dr. Salomaa was visiting professor of computer science in London, Canada 1966-68; Aarhus, Denmark 1973-75; and Waterloo, Canada 1981-82, and has made shorter visits to 150 universities in Europe, Asia and North America.
Arto Salomaa was EATCS President 1979-85 and is currently the editor-in-chief of the EATCS Monograph Series published by Springer-Verlag, as well as an editor of eight international journals of Computer Science. He has authored more than 400 scientific publications in major journals, as well as ten books, some of which have appeared also in French, German, Japanese, Romanian, Russian, Vietnamese and Chinese translations.
Arto Salomaa has supervised more than 20 Ph.D. students and holds the degree of doctor honoris causa at six universities, two in Finland and four abroad. He has been an invited speaker at numerous conferences in computer science and mathematics, and a program committee member or chairman for major computer science conferences, including STOC, ICALP, MFCS, FCT. Since 1993 he has been a member and 1994 the chairman of the International Committee to select the winner of the Goedel Prize. Festival conferences "Salodays in Theoretical Computer Science" (Bucharest 1992), "Salodays in Auckland" (Auckland, NZ, 1994) and "Important Results and Trends in Theoretical Computer Science" (Graz, Austria, 1994) have been arranged in his honor.
He is a member of the Academy of Sciences of Finland 1970-, the Swedish Academy of Sciences of Finland 1980-, and has received two major yearly prizes in Finland. In 1994 he was elected the "Professor of the Year in Finland". He is also a member of Academia Europaea 92.
Since 2016, Arto Salomaa is Professor Emeritus, University of Turku.
Main Research Interests:
- Formal languages and automata
- Grammars and rewriting systems
- Combinatorics on words
- Authentication and secret sharing
- Models of computation
- Algorithmic information theory
- Many-valued logic
- Boolean functions
- Reaction systems