stringtranslate.com

Arto Salomaa

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 .

Vida temprana y educación

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]

Carrera

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]

Publicaciones

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.

Premios y reconocimientos

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]

Vida personal

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]

Referencias

  1. ^ abc Karhumäki, J. (1991). "Una breve biografía de Arto Salomaa". Información y computación . 151 (1–2): 2–4. doi : 10.1006/inco.1998.2760 .
  2. ^ Salomaa, A. (2004). "Myhill, Turku y la poesía de la sauna: recuerdos derivados del premio EATCS". Boletín de la Asociación Europea de Ciencias Informáticas Teóricas . 84 : 12–15.
  3. ^ Salomaa, A. (1999), "Eventos y lenguajes", en Calude, CS (ed.), Personas e ideas en la informática teórica , Springer , págs. 253-273.
  4. ^ Brauer, Ute; Brauer, Wilfried (1997). «Jubileo de Plata de la EATCS». EATCS. ​​Archivado desde el original el 12 de diciembre de 2011. Consultado el 24 de noviembre de 2013 .
  5. ^ Infante-Lopez, Gabriel (2005). "Revisión del Manual de lenguajes formales de Grzegorz Rozenberg y Arto Salomaa". Revista de lógica, lenguaje e información . 14 (4): 457–466. JSTOR  40180402.
  6. ^ Salomaa, A. (1981). "Lo que los informáticos deberían saber sobre la sauna". Boletín de la Asociación Europea de Ciencias Informáticas Teóricas . 15 : 8–21.
  7. ^ "Académicos de Ciencias de Finlandia - Academia de Finlandia". Archivado desde el original el 24 de marzo de 2019. Consultado el 7 de julio de 2018 .
  8. ^ Academia de Finlandia, «Académicos | Academia de Finlandia». Archivado desde el original el 29 de marzo de 2014. Consultado el 2 de junio de 2014 ..
  9. ^ ab van Leeuwen, Jan (2004), "El premio al logro distinguido: Premio EATCS 2004", Boletín de la Asociación Europea de Ciencias Informáticas Teóricas , 84 : 10-11
  10. ^ "Arto Salomaa - Ciencias de la Computación - Universidad de Western Ontario". Departamento de Ciencias de la Computación, Universidad de Western Ontario . Archivado desde el original el 8 de julio de 2018. Consultado el 7 de julio de 2018 ..
  11. ^ ab Salomaa, Arto. "Currículum vitae" . Consultado el 4 de julio de 2018 ..
  12. ^ "Kai T. Salomaa". Queen's University . Archivado desde el original el 21 de abril de 2014. Consultado el 21 de abril de 2014 .

Enlaces externos