Arto Salomaa

Arto Salomaa Arto Salomaa em 2005. Data chave

Aniversário	6 de junho de 1934 Turku , Finlândia
Áreas	Matemática , Ciência da Computação Teórica
Instituições	Universidade de Turku
Treinamento	Universidade de Turku
Supervisor	Kustaa Adolf Inkeri
Alunos de doutorado	Neil Jones, Paavo Turakainen, Magnus Steinby, Matti Soittola, Juhani Karhumäki, Jarkko Kari, Mogens Nielsen, Sven Skyum, Paul Vitanyi e 16 outros
Prêmios	EATCS 2004
Local	http://www.math.utu.fi/projects/staff/asalomaa/

Arto Kustaa Salomaa , nascido em6 de junho de 1934em Turku , Finlândia , é um matemático e cientista da computação finlandês . Atua principalmente nas áreas de linguagens formais , teoria dos autômatos , combinatória de palavras e criptografia . Ele é, em particular Maurice Nivat e Grzegorz Rozenberg , um dos fundadores da ciência da computação teórica europeia.

Carreira

Salomaa estuda na Universidade de Turku (onde seu pai era professor de filosofia); ele obteve um mestrado em 1954. Em 1956-1957, Salomaa frequentou a Universidade da Califórnia em Berkeley e estudou com John Myhill . Em 1959 ele obteve um diploma universitário (Ph. Lic.) Em Turku e um Ph. D. na mesma universidade em 1960, sob a supervisão de Kustaa Inkeri). Em 1957, Salomaa foi nomeado assistente na Universidade de Turku. Em 1965 ele se tornou professor de matemática na mesma universidade, e manteve este cargo até sua aposentadoria em 1999. Ele também passou dois anos na University of Western Ontario em London , Ontario , Canadá , e dois anos na University of Western Ontario . « Universidade de Aarhus na Dinamarca .

Salomaa foi presidente da European Association for Theoretical Computer Science de 1979 a 1985.

Publicações

Salomaa é um autor muito prolífico. Além de uma grande quantidade de artigos em revistas científicas e conferências, ele publicou, sozinho ou com coautores, vários livros e editou vários livros ou textos para conferências e workshops. Os livros tornaram-se frequentemente obras de referência e, em 1991, o livro "Formal Languages" estava entre os 100 textos mais citados em matemática. Entre os trabalhos publicados há incluindo o Manual de Linguagens Formais em 3 volumes, eo Livro de L .

Prêmios e reconhecimento

• 2001: Acadêmico , título honorário concedido pela Academia da Finlândia.
• 2004: Prêmio EATCS .
• 8 títulos de doutor honoris causa  :
  • Åbo Akademi 1988.
  • University of Oulu 1989.
  • Universidade de Szeged , Hungria, 1989.
  • Universidade de Bucareste , Romênia, 1992.
  • TU Magdeburg, Alemanha, 1992.
  • Universidade Estadual da Letônia, Riga , 1994.
  • Universidade Técnica de Graz , 1999.
  • University of Western Ontario , 2013.
• Membro da Academia Europaea .
• Membro da Academia Finlandesa de Ciências .

Trabalho

Autor ou coautor

• Theory of Automata , Pergamon Press, col.  "Série Internacional de Monografias em Matemática Pura e Aplicada" ( n o  100),1969, 276  p..
• Formal Languages , Nova York, Academic Press,1973, 335  p. (edição revisada: coleção Computer Science Classics , Academic Press, 1987). (Traduzido para o alemão em 1979).
• Automata-Theoretic Aspects of Formal Power Series (com M. Soittola), Nova York, Springer-Verlag,1978, 181  p..
• The Mathematical Theory of L-Systems " (com G. Rozenberg ), New York, Academic Press,1980, xvi + 352  p..
• Jewels of Formal Language Theory , Potomac, Maryland, Computer Science Press,Mil novecentos e oitenta e um, x + 144  pág.. (Traduzido para o russo em 1986).
• Computation and Automata , Cambridge e New York, Cambridge University Press, col.  "Enciclopédia de Matemática e suas Aplicações" ( n o  25)1985, xiii + 282  pág.. (Tradução japonesa em 1988, vietnamita em 1992; tradução francesa com o título Introdução à ciência da computação teórica: computabilidade e complexidade . Armand Colin, Paris, p.  Ix + 372 , 1990. ( ISBN  2-200-21063-9 ) ).
• Semirings, Automata, Languages (com W. Kuich), Berlin and New York, Springer-Verlag, coll.  "EATCS Monografias sobre Ciência da Computação Teórica" ( n o  5),1986, vi + 374  pág..
• Cornerstones of Undecidability (com G. Rozenberg), Prentice Hall, col.  "Prentice Hall International Series in Computer Science",1994, xvi + 197  p. ( ISBN  978-0-13-297425-7 )
• Criptografia de chave pública , Springer, al.  “Textos em Ciência da Computação Teórica. Uma série EATCS ”,1996, 2 nd  ed. , x + 271  pág. ( ISBN  978-3-540-61356-5 , leia online )(primeira edição: EATCS Monographs on Theoretical Computer Science (n ° 23), Springer 1990, ( ISBN  978-3-662-02629-8 ) , p.  x + 247. (Tradução da primeira edição japonesa em 1992, romeno em 1993, russo em 1996, chinês em 1997).
• Teorema do restante chinês. Aplicativos em computação, codificação, criptografia (com Cunsheng Ding e Dingyi Pei), Cingapura, World Scientific,1996, viii + 213  pág.
• (pt) DNA Computing: New Computing Paradigms (com G. Paun e G. Rozenberg), Berlin, Springer, col.  “Textos em Ciência da Computação Teórica. Uma série EATCS ”,1998, ix + 402  p. ( ISBN  978-3-540-64196-4 , aviso BnF n o  FRBNF37545048 , apresentação online ). (Tradução para o japonês em 1999, russo e chinês em 2004).

Editor (seleção)

• Grzegorz Rozenberg e Arto Salomaa (editores), Handbook of Formal Languages , Berlin Heidelberg, Springer-Verlag,1997.

• Grzegorz Rozenberg e Arto Salomaa (editores), The Book of L , Springer,1986, xv + 471  pág. ( ISBN  978-3-540-16022-9 )

• (com G. Paun e G. Rozenberg) Current Trends in Theoretical Computer Science, The Challenge of the New Century , World Scientific Publishing Company, Vol. 1: “Algoritmos e Complexidade”. p.  xii + 663 , 2004. Vol. 2: “Modelos formais e semântica”. p.  xiii + 627 , 2004.

Notas e referências

1. Arto Salomaa , “  Myhill, Turku e Poesia da Sauna: Lembranças decorrentes do Prêmio EATCS  ”, Boletim da Associação Europeia de Ciência da Computação Teórica , vol.  84,2004, p.  12-15
2. J. Karhumäki , “  Uma breve biografia de Arto Salomaa  ”, Informação e Computação , vol.  151,1991, p.  2-4 ( DOI  10.1006 / inco.1998.2760 )
3. Arto Salomaa , "Events and Languages" , em Cristian S. Calude (editor), People and Ideas in Theoretical Computer Science , Springer , col.  "Matemática Discreta e Ciência da Computação Teórica",1999( ISBN  978-9814021135 ) , p.  253-273.
4. Ute Brauer e Wilfried Brauer , "  Silver Jubilee of EATCS  " [ arquivo de10 de outubro de 2009] , EATCS,1997(acessado em 24 de novembro de 2013 )
5. DBLP lista 192 artigos de periódicos e 49 artigos de conferências em ciência da computação.
6. Academicians of Science , Academy of Finland,
7. Jan van Leeuwen , “  The Distinguished Achievement Award: EATCS Award 2004  ”, Boletim da Associação Europeia para a Ciência da Computação Teórica , vol.  84,2004, p.  10-11.
8. Página pessoal de Arto Salomaa
9. "  Arto Salomaa receberá o título honorário de DSc  ", Departamento de Ciência da Computação , University of Western Ontario ,10 de maio de 2013( leia online ).

links externos

• (en) “  Arto K. Salomaa  ” , no site do Mathematics Genealogy Project
• Registros de autoridade  :
  • Arquivo de autoridade internacional virtual
  • Identificador de Nome Padrão Internacional
  • CiNii
  • Biblioteca Nacional da França ( dados )
  • Sistema de documentação universitária
  • Biblioteca do Congresso
  • Gemeinsame Normdatei
  • Biblioteca Nacional de Dieta
  • Biblioteca Real da Holanda
  • Biblioteca Nacional da Polônia
  • Biblioteca da Universidade da Polônia
  • Biblioteca Nacional da Catalunha
  • Biblioteca Nacional da Suécia
  • Base da Biblioteca Norueguesa
  • Biblioteca Nacional Tcheca
  • Id do WorldCat
  • WorldCat
• Recursos de pesquisa  :
  • (en)  Bibliografia Digital e Projeto de Biblioteca
  • (pt)  Projeto de Genealogia da Matemática
• Página inicial de Arto Salomaa
• Arto Salomaa na Pesquisa Acadêmica da Microsoft