Arto Salomaa 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.