Arto Salomaa’s (b. 1934) scientific work is based on mathematical logic, focusing on formal languages and automata theory. He has, for example, worked on the theory of DNA computing.
Salomaa’s interest in the mathematical challenges offered by computers was sparked in the 1960s. His research focuses on the mathematical theory of computer science, where he has concentrated on creating theories on areas such as cryptography and DNA computing. He is one of the foremost developers of theories on automata and formal languages.
Salomaa is diversely distinguished not only as an active developer of new research fields that have had a profound impact on the development of data processing, but also as an excellent instructor for early-career researchers and a writer of monographs. His scientific achievements have gained wide acclaim in the international scientific community.
Salomaa served as Professor of Mathematics at the University of Turku in 1966–1998 and as an Academy-funded Research Professor in 1975–1980 and Academy Professor in 1989–1999. He has held visiting professorships at several foreign universities. He has honorary doctorates from seven foreign universities and two Finnish universities.
In 2001, Salomaa received the honorary title of Academician of Science, the highest honour that can be bestowed on any individual scientist in Finland.