LEADER 04238nam 22006375 450 001 9910349276703321 005 20200703171814.0 010 $a3-030-16049-1 024 7 $a10.1007/978-3-030-16049-4 035 $a(CKB)4100000009453330 035 $a(DE-He213)978-3-030-16049-4 035 $a(MiAaPQ)EBC5928963 035 $a(PPN)260304352 035 $a(EXLCZ)994100000009453330 100 $a20191008d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aArto Salomaa: Mathematician, Computer Scientist, and Teacher $eA Thematic Biography /$fby Jukka Paakki 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (IX, 303 p. 61 illus., 41 illus. in color.) 311 $a3-030-16048-3 327 $aProfessor's Son -- Child and Youngster in Turku, Finland -- Master and Doctor of Science -- Master of Many-Valued Logic -- Prehistory of Automata and Formal Languages -- Father of Formal Languages -- Champion of L -- President of EATCS -- Master of Formal Power Series -- Champion of Cryptography -- Master of Biocomputing -- Academician, One of the Twelve -- All-Round Grand Champion -- Champion of Sauna, Master of Music and Sports -- Äijä: The Great Grandfather -- Q.E.D. -- App. A, References and Suggested Reading -- App. B, PhDs Supervised by Arto Salomaa -- App. C, Textbooks and Handbooks by Arto Salomaa -- Name Index. 330 $aThis book outlines the scientific career of Arto Salomaa, a pioneer in theoretical computer science and mathematics. The author first interviewed the subject and his family and collaborators, and he then researched this fascinating biography of an intellectual who was key in the development of these fields. Early chapters progress chronologically from Academician Salomaa's origins, childhood, and education to his professional successes in science, teaching, and publishing. His most impactful direct research efforts have been in the areas of automata and formal languages. Beyond that he has influenced many more scientists and professionals through collaborations, teaching, and books on topics such as biocomputing and cryptography. The author offers insights into Finnish history, culture, and academia, while historians of computer science will appreciate the vignettes describing some of the people who have shaped the field from the 1950s to today. The author and his subject return throughout to underlying themes such as the importance of family and the value of longstanding collegial relationships, while the work and achievements are leavened with humor and references to interests such as music, sport, and the sauna. 606 $aComputers 606 $aMathematics 606 $aHistory 606 $aDiscrete mathematics 606 $aComputer science?Mathematics 606 $aHistory of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I24024 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aHistory of Mathematical Sciences$3https://scigraph.springernature.com/ontologies/product-market-codes/M23009 606 $aDiscrete Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29000 606 $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001 615 0$aComputers. 615 0$aMathematics. 615 0$aHistory. 615 0$aDiscrete mathematics. 615 0$aComputer science?Mathematics. 615 14$aHistory of Computing. 615 24$aTheory of Computation. 615 24$aHistory of Mathematical Sciences. 615 24$aDiscrete Mathematics. 615 24$aMathematics of Computing. 676 $a004.09 700 $aPaakki$b Jukka$4aut$4http://id.loc.gov/vocabulary/relators/aut$01063905 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349276703321 996 $aArto Salomaa: Mathematician, Computer Scientist, and Teacher$92535218 997 $aUNINA