Akateemikko Arto Salomaa on kuollut. Asiasta tiedottaa Suomen Akatemia.
Salomaa oli kuollessaan 90-vuotias.
Salomaa teki pitkän tutkijanuransa aikana matemaattiseen logiikkaan pohjautuvaa tieteellistä työtä, joka keskittyi formaaleihin kieliin ja automaattien teoriaan.
Matemaatikkona ansioitunut Salomaa kiinnostui 1960-luvulla tietokoneiden tarjoamista haasteista ja mahdollisuuksista. Salomaa on tutkinut tietotekniikan matemaattista teoriaa ja kryptografiaa, eli salakirjoitustekniikkaa. Lisäksi hän oli mukana luomassa DNA-laskennan teoriaa.
Salomaa väitteli filosofian tohtoriksi Turun yliopistosta vuonna 1959. Hän toimi Turussa professorina vuosina 1966–1999 ja on lisäksi toiminut vierailevana professorina useassa yliopistossa ulkomailla. Salomaa oli seitsemän ulkomaisen ja kahden kotimaisen yliopiston kunniatohtori.
Suomen Tiedeakatemian jäsen Salomaasta tuli vuonna 1970, akateemikon arvonimen hän sai vuonna 2001.
Salomaa oli pidetty opettaja ja ohjaaja, joka palkittiin työstään vuoden professorina 1993.
Salomaan elämään kuului matematiikan ohella perhe-elämä, hänellä oli kaksi lasta ja lapsenlapsia. Salomaa oli saunomisen suhteen intohimoinen ja nautti myös klassisesta musiikista. Pian eläkkeelle jäämisen jälkeen hän kertoi Turun sanomissa, että ”Beethovenin myöhäisemmät jousikvartetot ovat vähintään yhtä kauniita kuin parhaat matemaattiset teoriat.”