Arto Salomaa

Arto Salomaa Descripción de esta imagen, también comentada a continuación Arto Salomaa en 2005. Llave de datos
Nacimiento 6 de junio de 1934
Turku , Finlandia
Áreas Matemáticas , Informática Teórica
Instituciones Universidad de Turku
Capacitación Universidad de Turku
Director de tesis Kustaa Adolf Inkeri
Estudiantes de doctorado Neil Jones, Paavo Turakainen, Magnus Steinby, Matti Soittola, Juhani Karhumäki, Jarkko Kari, Mogens Nielsen, Sven Skyum, Paul Vitanyi y otros 16
Premios EATCS 2004
Sitio http://www.math.utu.fi/projects/staff/asalomaa/

Arto Kustaa Salomaa , nacido el6 de junio de 1934en Turku , Finlandia , es un matemático e informático finlandés . Trabaja principalmente en los campos de lenguajes formales , teoría de autómatas , combinatoria de palabras y criptografía . Es, en particular Maurice Nivat y Grzegorz Rozenberg , uno de los fundadores de la informática teórica europea.

Carrera profesional

Salomaa estudia en la Universidad de Turku (donde su padre era profesor de filosofía); obtuvo una maestría en 1954. En 1956-1957, Salomaa asistió a la Universidad de California en Berkeley y estudió con John Myhill . En 1959 obtuvo un título universitario (Ph. Lic.) En Turku y un doctorado en la misma universidad en 1960, bajo la supervisión de Kustaa Inkeri). En 1957, Salomaa fue nombrado asistente en la Universidad de Turku. En 1965 se convirtió en profesor de matemáticas en la misma universidad, y ocupó este cargo hasta su jubilación en 1999. También pasó dos años en la Universidad de Western Ontario en London , Ontario , Canadá , y dos años en la Universidad de Western Ontario. . ' Universidad de Aarhus en Dinamarca .

Salomaa fue presidente de la Asociación Europea de Ciencias de la Computación Teórica de 1979 a 1985.

Publicaciones

Salomaa es un autor muy prolífico. Además de un gran número de artículos en revistas científicas y ponencias en congresos, ha publicado, solo o con coautores, numerosos libros y editado numerosos libros de texto o textos para congresos y talleres. Los libros se convirtieron con frecuencia en obras de referencia, y en 1991 el libro "Lenguajes formales" se encontraba entre los 100 textos más citados en matemáticas. Entre las obras publicadas hay entre ellos el Manual de lenguajes formales en 3 volúmenes, y el libro de L .

Premios y reconocimientos

Obras

Autor o coautor

Editor (selección)

Notas y referencias

  1. Arto Salomaa , “  Myhill, Turku y la poesía de la sauna: recuerdos derivados del premio EATCS  ”, Boletín de la Asociación Europea de Ciencias de la Computación Teórica , vol.  84,2004, p.  12-15
  2. J. Karhumäki , “  Una biografía breve de Arto Salomaa  ”, Información y Computación , vol.  151,1991, p.  2-4 ( DOI  10.1006 / inco.1998.2760 )
  3. Arto Salomaa , “Eventos y lenguajes” , en Cristian S. Calude (editor), Personas e ideas en informática teórica , Springer , coll.  "Matemática discreta e informática teórica",1999( ISBN  978-9814021135 ) , pág.  253-273.
  4. Ute Brauer y Wilfried Brauer , "  Silver Jubilee of EATCS  " [ archivo de10 de octubre de 2009] , EATCS,1997(consultado el 24 de noviembre de 2013 )
  5. DBLP enumera 192 artículos de revistas y 49 artículos de conferencias, en informática.
  6. Académicos de la ciencia , Academia de Finlandia,
  7. Ene van Leeuwen , “  El premio a la distinguida: Premio EATCS 2004  ”, Boletín de la Asociación Europea para la informática teórica , vol.  84,2004, p.  10-11.
  8. Página personal de Arto Salomaa
  9. "  Arto Salomaa para recibir el título de Doctor Honoris Causa  ", Departamento de Ciencias de la Computación , Universidad de Western Ontario ,10 de mayo de 2013( leer en línea ).

enlaces externos