Arto K. Salomaa (nacido el 6 de junio de 1934) es un matemático e 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 .
Arto Salomaa | |
---|---|
Nació | |
Nacionalidad | finlandés |
alma mater | Turun Yliopisto |
Carrera científica | |
Campos | Matemáticas Informática |
Instituciones | Turun Yliopisto |
Asesor de doctorado | Kustaa Inkeri |
Estudiantes de doctorado | Neil D. Jones Juhani Karhumäki Jarkko Kari Lila Kari Paul Vitanyi |
Temprana edad y educación
Salomaa nació en Turku , Finlandia el 6 de junio de 1934. Obtuvo una licenciatura de la Universidad de Turku en 1954 y un doctorado de la misma universidad en 1960. El padre de Salomaa era profesor de filosofía en la Universidad de Turku . [1] Salomaa fue introducido a la teoría de autómatas y lenguajes formales durante seminarios en Berkeley impartidos por John Myhill en 1957. [2]
Carrera profesional
En 1965, Salomaa se convirtió en profesor de matemáticas en la Universidad de Turku , cargo del que se retiró en 1999. También pasó dos años a finales de la década de 1960 en la Universidad de Western Ontario en London , Ontario , Canadá , y dos años en el 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 es 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" Teoría "(1981)" Criptografía de clave pública "(1990) y" Computación de ADN "(1998, con Grzegorz Rozenberg y Gheorghe Paun ). Con Rozenberg , Salomaa editó "Handbook of Formal Languages" (1997), una referencia de 2000 páginas en tres volúmenes sobre la teoría del lenguaje formal . [5] Estos libros a menudo se han convertido en referencias estándar en sus respectivas áreas. Por ejemplo, en 1991 se informó que "Lenguajes formales" figuraba 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 es autor de artículos no científicos como "Lo que los informáticos deberían saber sobre la sauna". [6] Tras 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 finlandeses vivos que recibieron el título. También recibió el premio EATCS en 2004. [9] Salomaa ha recibido siete títulos honoríficos. [9] El 13 de junio de 2013, Salomaa recibió un Doctorado 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
- ↑ a b c 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 .
- ^ Salomaa, A. (2004). "Myhill, Turku y Sauna Poesía: Recuerdos derivados del Premio EATCS". Boletín de la Asociación Europea de Informática Teórica . 84 : 12-15.
- ^ Salomaa, A. (1999), "Eventos y lenguajes", en Calude, CS (ed.), People and Ideas in Theoretical Computer Science , Springer , págs. 253–273.
- ^ Brauer, Ute; Brauer, Wilfried (1997). "Jubileo de plata de EATCS" . EATCS. Archivado desde el original el 12 de diciembre de 2011 . Consultado el 24 de noviembre de 2013 .
- ^ Infante-López, 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 .
- ^ Salomaa, A. (1981). "Lo que los informáticos deben saber sobre la sauna". Boletín de la Asociación Europea de Informática Teórica . 15 : 8-21.
- ^ Académicos finlandeses de ciencias - Academia de Finlandia
- ^ Academia de Finlandia, "Copia archivada" . Archivado desde el original el 29 de marzo de 2014 . Consultado el 2 de junio de 2014 .CS1 maint: copia archivada como título ( enlace ).
- ^ a b van Leeuwen, Jan (2004), "El premio a los logros distinguidos: Premio EATCS 2004", Boletín de la Asociación Europea de Ciencias de la Computación Teórica , 84 : 10-11
- ^ "Arto Salomaa - Ciencias de la Computación - Western University" . 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 ..
- ^ a b Salomaa, Arto. "Curriculum Vitae" . Consultado el 4 de julio de 2018 ..
- ^ "Kai T. Salomaa" . Universidad de Queen . Archivado desde el original el 21 de abril de 2014 . Consultado el 21 de abril de 2014 .
enlaces externos
- Arto Salomaa en el Proyecto de genealogía matemática
- Página de inicio de Arto Salomaa
- Lista de publicaciones de Microsoft Academic