Salomaa, Arto

Arto Salomaa
aleta. Arto Salomaa
Fecha de nacimiento 6 de junio de 1934( 06/06/1934 ) [1] (88 años)
Lugar de nacimiento
País
Esfera científica matemáticas , informática
Lugar de trabajo Universidad de Turku
alma mater Universidad de Turku
Titulo academico doctor en ciencias filosoficas
consejero científico Kustaa Inkeri
Estudiantes Neil Jones
Juhani Karhumaki
Jarkko Kari
Leela Kari
Paul Vitani
Conocido como matemático , especialista en lenguaje formal y teoría de autómatas
Premios y premios Premio de la Asociación Europea de Informática Teórica [d] ( 2004 ) Profesor del año [d] ( 1993 ) Doctor Honorario de la Universidad Tecnológica de Graz [d] ( 1999 ) doctorado honorario de la Universidad de Szeged [d] ( 1989 ) doctorado honorario de la Universidad de Bucarest [d] ( 1992 ) doctorado honorario de la Universidad Tecnológica de Graz [d]
Sitio web math.utu.fi/projects/sta…
 Archivos multimedia en Wikimedia Commons

Arto Kustaa Salomaa ( Finlandés Arto Kustaa Salomaa ; nacido el 6 de junio de 1934 , Turku , Finlandia ) es un matemático e informático finlandés. Su investigación por más de 40 años ha sido en lenguajes formales y teoría de autómatas .

Biografía

En 1954 recibió una licenciatura de la Universidad de Turku , y en 1960 un doctorado ( Doctor en Filosofía ). Su padre era profesor de filosofía en esta universidad [2] .

Salomaa conoció la teoría de los autómatas y los lenguajes formales durante los seminarios de John Myhill en la Universidad de California en Berkeley en 1957 [3] .

De 1965 a 1999 fue profesor de matemáticas en la Universidad de Turku . De 1966 a 1968 enseñó en la Universidad de Western Ontario , de 1973 a 1975 en la Universidad de Aarhus [2] [4] y de 1981 a 1982 en la Universidad de Waterloo [5] [6] .

De 1979 a 1985 Salomaa fue presidente de la Asociación Europea de Informática Teórica [7] .

Publicaciones

Salomaa escribió o fue coautora de 55 libros [8] , así como de unas 400 publicaciones en revistas científicas [9] [10] .

Libros principales:

Junto con Grzegorz Rozenberg, en 1997, se publicó un Manual de lenguajes formales de 3 volúmenes (2000 páginas), una guía para la teoría de los lenguajes formales [11] .

Estos libros fueron citados a menudo en sus respectivos campos. Por ejemplo, el libro Lenguajes formales en 1991 estuvo entre los 100 textos más citados en matemáticas [2] .

Premios y reconocimientos

En 1992 fue elegido miembro de la Academia Europea [12] y, en 1994, profesor finlandés del año [5] .

1998 - Premio de la Fundación Nokia [13] .

1999 - Doctorado Honorario (Doctor Honoris Causa) en la Universidad Tecnológica de Graz [14] .

Salomaa recibió el título de Académica de la Academia de Finlandia en 2001 [15] [16] .

En 2004 recibió el Premio EATCS [17] .

En 2013, recibió un doctorado honoris causa (Doctor Honoris Causa) de la Universidad de Western Ontario [18] .

2016 - Profesor emérito de la Universidad de Turku [5] .

En 2018 se consagró el Premio Salomaa en teoría de autómatas y lenguajes formales [19] [20] [21] .

Vida personal

Salomaa se casó en 1959 [22] . Tiene dos hijos: Kirsty y Kai Salomaa [22] , el último de los cuales es profesor de informática en la Universidad de Queens en Kingston y trabaja en lenguajes formales y teoría de autómatas [23] .

Notas

  1. ↑ Leidse Hoogleraren  (holandés)
  2. ↑ 1 2 3 Karhumäki, J. Una breve biografía de Arto Salomaa  (indefinido)  // Información y Computación . - 1991. - T. 151 . - S. 2-4 . -doi : 10.1006/ inco.1998.2760 .
  3. ↑ Salomaa, A. Myhill, Turku y Sauna Poetry: Recuerdos derivados del Premio EATCS  //  Boletín de la Asociación Europea de Informática Teórica  : revista. - 2004. - vol. 84 . - P. 12-15 .
  4. ↑ Salomaa, A. (1999), Events and Languages, en Calude, CS, People and Ideas in Theoretical Computer Science , Springer , p. 253–273  .
  5. ↑ 1 2 3 Salomaa Arto . Consultado el 7 de julio de 2018. Archivado desde el original el 8 de julio de 2018.
  6. ↑ Academia de Europa: CV . Consultado el 3 de julio de 2018. Archivado desde el original el 8 de julio de 2018.
  7. ↑ Brauer, Ute; Brauer, Wilfried. Bodas de Plata de la EATCS . EATCS (1997). Consultado el 24 de noviembre de 2013. Archivado desde el original el 12 de diciembre de 2011.
  8. ↑ Academia de Europa: Libros
  9. ↑ Academy of Europe: Publicaciones anteriores a 1990
  10. ↑ Academia de Europa: Publicaciones posteriores a 1990
  11. ↑ Infante-López, Gabriel. Revisión del Manual de lenguajes formales de Grzegorz Rozenberg y Arto Salomaa  (inglés)  // Revista de lógica, lenguaje e información: revista. - 2005. - vol. 14 , núm. 4 . - Pág. 457-466 . — .
  12. ↑ Academia de Europa: Salomaa Arto . Consultado el 3 de julio de 2018. Archivado desde el original el 2 de febrero de 2018.
  13. ↑ http://nokiafoundation.stage.rfistudios.com/wp-content/uploads/2016/01/historiikki-en-pdf.pdf (22 - 23)
  14. ↑ Ehrendoktoren der TU Graz (enlace inaccesible) . Consultado el 7 de julio de 2018. Archivado desde el original el 6 de julio de 2018. 
  15. ↑ Académicos finlandeses de Ciencias - Academia de Finlandia . Consultado el 7 de julio de 2018. Archivado desde el original el 8 de julio de 2018.
  16. ↑ Academia de Finlandia, copia archivada . Consultado el 2 de junio de 2014. Archivado desde el original el 29 de marzo de 2014. .
  17. ↑ van Leeuwen, enero (2004), El premio al logro distinguido: Premio EATCS 2004, Boletín de la Asociación Europea de Ciencias de la Computación Teórica Vol . 84: 10–11 
  18. ↑ Arto Salomaa - Informática - Western University (enlace no disponible) . Departamento de Ciencias de la Computación, Universidad de Western Ontario . Consultado el 7 de julio de 2018. Archivado desde el original el 8 de julio de 2018.   .
  19. ↑ Nuevo Premio Salomaa de Teoría de Autómatas y Lenguajes Formales - Convocatoria de nominaciones (enlace descendente) . Consultado el 10 de abril de 2020. Archivado desde el original el 20 de mayo de 2018. 
  20. ↑ Premio Salomaa  (enlace inaccesible)
  21. ↑ Premio Salomaa - Premio en Teoría de Autómatas, Lenguajes Formales y Temas Relacionados . Consultado el 7 de julio de 2018. Archivado desde el original el 1 de diciembre de 2018.
  22. ↑ 1 2 Salomaa, Arto Currículum Vitae . Consultado el 4 de julio de 2018. Archivado desde el original el 5 de julio de 2018. .
  23. ↑ Kai T. Salomaa . Universidad de la Reina . Consultado el 21 de abril de 2014. Archivado desde el original el 21 de abril de 2014.

Enlaces

  Ir al elemento de Wikidata  sitios temáticos
diccionarios y enciclopedias