Arto Kustaa Salomaa (nacido el 6 de junio de 1934) es un matemático y científico informático finlandés . Su carrera investigadora, que abarca más de cuarenta años, se centra en los lenguajes formales y la teoría de autómatas .
Salomaa nació en Turku , Finlandia, el 6 de junio de 1934. Obtuvo una licenciatura en la Universidad de Turku en 1954 y un doctorado en la misma universidad en 1960. El padre de Salomaa era profesor de filosofía en la Universidad de Turku . [1] Salomaa conoció la teoría de los autómatas y los lenguajes formales durante los seminarios impartidos en Berkeley por John Myhill en 1957. [2]
En 1965, Salomaa se convirtió en profesor de matemáticas en la Universidad de Turku , puesto del que se retiró en 1999. También pasó dos años a fines de la década de 1960 en la Universidad de Western Ontario en London , Ontario , Canadá , y dos años en la década de 1970 en la Universidad de Aarhus en Aarhus , Dinamarca . [1] [3]
Salomaa fue presidente de la Asociación Europea de Ciencias de la Computación Teórica desde 1979 hasta 1985. [4]
Salomaa ha sido autora o coautora de 46 libros de texto, entre los que se incluyen Theory of Automata (1969), Formal Languages (1973), The Mathematical Theory of L-Systems (1980, con Grzegorz Rozenberg ), Jewels of Formal Language Theory (1981), Public-Key Cryptography (1990) y DNA Computing (1998, con Grzegorz Rozenberg y Gheorghe Paun ). Con Rozenberg , Salomaa editó el Handbook of Formal Languages (1997), una referencia de 3 volúmenes y 2000 páginas sobre la teoría del lenguaje formal . [5] Estos libros se han convertido a menudo en referencias estándar en sus respectivas áreas. Por ejemplo, en 1991 se informó que Formal Languages estaba entre los 100 textos más citados en matemáticas. [1]
Salomaa también ha publicado más de 400 artículos en revistas científicas durante su carrera profesional. También ha escrito artículos no científicos como "What computer scientists should know about sauna" [6] . Después de su jubilación, Arto Salomaa ha publicado casi otros 100 artículos científicos.
Salomaa ha sido galardonado con el título de Académico por la Academia de Finlandia , [7] [8] uno de los doce individuos finlandeses vivos que recibieron el título. También recibió el Premio EATCS en 2004. [9] Salomaa ha recibido siete títulos honorarios. [9] El 13 de junio de 2013, Salomaa recibió el título de Doctor Honoris Causa de la Universidad de Western Ontario . [10]
Salomaa se casó en 1959. [11] Tiene dos hijos, Kirsti y Kai , [11] el último de los cuales es profesor de Ciencias de la Computación en la Queen's University en Kingston y también trabaja en el campo de los lenguajes formales y la teoría de autómatas. [12]