Arto Salomaa

Arto Salomaa

Arto Salomaa

Arto Salomaa
Nacimiento 6 de junio, 1934
Turku, Bandera de Finlandia Finlandia
Residencia Bandera de Finlandia Finlandia
Nacionalidad(es) Finlandés
Campo(s) Lenguajes formales
Teoría de autómatas
Instituciones Universidad de Turku
Alma máter Universidad de Turku
Sociedades EATCS
Premios destacados EATCS Award

Arto Salomaa (*6 de junio de 1934 en Turku) es un matemático e informático teórico finlandés. Se ha dedicado a la investigación por más de 40 años, enfocado en los lenguajes formales y la teoría de autómatas.

En 2004 recibió el premio EATCS Award, y se dijo lo siguiente:

«Arto es sin duda alguna el fundador de la teoría de lenguajes formales y autómatas en Europa.»[1]

Contenido

Juventud y educación

Salomaa obtuvo su título de grado en la Universidad de Turku en 1954, y su PhD en la misma universidad en 1960. Su padre fue también allí profesor de filosofía.[2]

Se introdujo en la teoría de autómatas y lenguajes formales durante un seminario en la Berkeley dictado por John Myhill en 1957.[3]

Carrera

En 1965, Salomaa comenzó a trabajar como profesor de matemáticas en la Universidad de Turku, posición que mantiene hasta el día de hoy. Además trabajó dos años a fines de la década de 1960 en la Universidad de Ontario Oeste, en London, Ontario, Canadá, y dos ayos en la década de 1970 en la Universidad de Aarhus, en Århus, Dinamarca.[2] [4]

Salomaa fue presidente de la European Association for Theoretical Computer Science desde 1979 hasta 1985.

Publicaciones

Salomaa es autor y coautor de 46 libros de texto, incluyendo "Automata theory" (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 Gheorge Paun).

Con Rozenberg, Salomaa editó además "Handbook of Formal Languages" (1997), un libro de tres volúmenes y 2000 páginas, relacionado con la teoría de lenguajes formales.

Estos libros se han convertido en una referencia estándar en sus respectivas áreas. Por ejemplo, "Formal Languages" fue reconocido en 1991 entre los 100 libros de matemáticas más citados.[2]

Salomaa también ha publicado más de 400 artículos en revistas científicas. Entre estas publicaciones, destaca el artículo titulado "What computer scientists should know about sauna" (Qué deberían saber los informáticos teóricos sobre el sauna).[5]

Premios y reconocimientos

Salomaa ha sido galardonado con el título de Académico por la Academia de Finlandia,[6] siendo uno de los doce finlandeses vivos que comparte este título. Además recibió el EATCS Award en 2004.[1] Salomaa ha recibido siete grados honoríficos.[1]

Notas

  1. a b c J. van Leeuwen, premiado por logros distinguidos: EATCS Award 2004, "Bulletin of the European Association for Theoretical Computer Science" 84 (2004), 10-11.
  2. a b c Karhumaki, J. Breve biografía de Arto Salomaa, "Information and Computation" 151 (1991), 2-4.
  3. A. Salomaa, Myhill, Turku y Sauna Poetry: Recollections arising from the EATCS Award, "Bulletin of the European Association for Theoretical Computer Science" 84 (2004), 12-15.
  4. A. Salomaa, Events and Languages in "People and Ideas in Theoretical Computer Science", C. S. Calude (ed.), pp. 253-273, Springer, 1999.
  5. A. Salomaa, What computer scientists should know about sauna. "Bulletin of the European Association of Theoretical Computer Science" 15 (1981) 8-21.
  6. Academia de Finlandia, Academicians.

Enlaces externos

Obtenido de "Arto Salomaa"

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Arto Salomaa — (born June 6, 1934) is a Finnish mathematician and computer scientist. His research career, which spans over forty years,is focused on formal languages and automata theory.A 2004 citation stated that Arto is without doubt the founder of automata… …   Wikipedia

  • Salomaa — is a surname , which may refer to:*Arto Salomaa, Finnish mathematician and computer scientist *Hiski Salomaa, Finnish American folk singer *Jarno Salomaa, Finnish metal musician …   Wikipedia

  • SALOMAA — Arto Salomaa, Computation and Automata, Cambridge University Press, 1985 (informationswissenschaftl. Veoeffentlichungen) …   Acronyms

  • SALOMAA — Arto Salomaa, Computation and Automata, Cambridge University Press, 1985 (informationswissenschaftl. Veröffentlichungen) …   Acronyms von A bis Z

  • Formale Sprache — Eine formale Sprache ist eine bestimmte Menge von Zeichenketten, die aus einem Zeichenvorrat zusammengesetzt werden können. Anwendung finden formale Sprachen in der Linguistik, der Logik und der theoretischen Informatik. Formale Sprachen eignen… …   Deutsch Wikipedia

  • Konkatenation (Formale Sprache) — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… …   Deutsch Wikipedia

  • Leere Sprache — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… …   Deutsch Wikipedia

  • Potenz (Formale Sprache) — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… …   Deutsch Wikipedia

  • Wortmenge — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… …   Deutsch Wikipedia

  • Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… …   Wikipedia

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”