Arto Kustaa Salomaa (1934-2025) was a Finnish mathematician and computer scientist whose research career of more than forty years focused on formal languages and automata theory. Based at the University of Turku, he was elected an academician of the Academy of Finland, received the EATCS Award in 2004, and was awarded seven honorary degrees including a doctor honoris causa from the University of Western Ontario in 2013; his doctoral students included Juhani Karhumaki, Jarkko Kari and Lila Kari.
Facts
AwardKnight First Class of the Order of the White Rose of Finland 1 AwardCommander First Class of the Order of the Lion of Finland 1 AwardNokia Foundation Recognition Award 1 Awardhonorary doctor of University of Szeged 1 AwardHonorary doctor of the Technical University of Graz 1 Awardhonorary doctor of the University of Bucharest 1 FAQs
Did Arto Salomaa work on anything besides formal languages and automata?
Yes, he also built theories in cryptography and DNA computing.
Yes. The Research Council of Finland, in its notice of his death in January 2025, says that within the mathematical theory of computer science he also concentrated on creating theories in areas such as cryptography and DNA computing. The same notice calls him one of the foremost developers of theories on automata and formal languages, so those two fields were his core work and the other areas extended it.
Connections
In Field
Source Arto Salomaa (Wikipedia)
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikidata: Arto Salomaa
- Wikidata Q578300, resolved via en.wikipedia pageprops (wave rule R-L)
- Wikidata Q578300 P569 (date of birth)
View the SourceArto Salomaa (Wikipedia)
In Field: Theory of Computation, LeadQuote, In Field: Theory of Computation, Lead
His research career, which spanned over 40 years, was focused on formal languages and automata theory.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.