Arto Salomaa: Mathematician, Computer Scientist, and Teacher [electronic resource] : A Thematic Biography /

Professor'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.

This 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.