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.
Arto Salomaa is a Research Professor at the Academy of Finland and the head of the Academy's research project concerning mathematical structures in computer science.
See a wonderful "late medieval" picture of Arto Salomaa, taken on the occasion of his 60th birthday.
Main Research Interests:
- formal languages
- developmental languages
- DNA computing
- automata theory
- formal power series
- complexity theory
- mathematical logic