Arto Salomaa#
| Email: | salomaaenator 'at' gmail.com |
| Membership Number: | 1222 |
| Membership type: | ORDINARY |
| Main Country of Residence: | FINLAND |
| Section: | INFORMATICS |
| Username: | asalomaa |
| Elected: | 1992 |
Present and Previous Positions
- 2006- : Professor Emeritus, University of Turku
- 1990-2005: Adjunct Professor of Computer Science, Univ. of Western Ontario
- 1981-82: Visiting Professor, Univ. of Waterloo, Canada
- 1975-1980 and 1990-1999: Academy Professor, Academy of Finland
- 1973-75: Visiting Professor, Univ. of Aarhus, Denmark
- 1966-68: Visiting Professor of CS, Univ. of Western Ontario
- 1966-1999: (with leaves of absence for the periods indicated above): Full Professor of Mathematics, Univ. of Turku
- 1960: Ph.D. Univ. of Turku, Finland
Fields of Scholarship
- Formal languages and automata
- Grammars and rewriting systems
- Combinatorics on words
- Cryptography
- Authentication and secret sharing
- Models of computation
- Algorithmic information theory
- Many-valued logic
- Boolean functions
- Reaction systems
Honours and Awards
- 1986 Honorary Award of The Cultural Foundation of Finland
- 1988 Invited to give The Klosterman Lectures at Leiden University
- 1989-2013: 9 doctorates honoris causa, 2 in Finland and 7 abroad
- 2001: One of the Twelve Fellows in the Academy of Finland
- 1998: Nokia Special Award on merits in cryptography
- 2004: EATCS Award in recognition of outstanding scientific contributions to theoretical computer science
- 2011: "Arto Salomaa Auditorium" in Aarhus University (DAIMI), Denmark
- 2014: Award of ETH Zuerich for merits in teaching of computer science
- 2016: Award for initializing the DLT (Developments of Language Theory) conference series in 1993
- 2018: The prize given in DLT conferences named "Salomaa Prize"
