Akateemikko Arto Salomaa on kuollut, tiedottaa Suomen Akatemia.
Vuonna 1934 syntynyt Salomaa oli tietotekniikan matemaattista teoriaa kehittänyt matemaatikko, joka tutki pitkällä urallaan logiikkaan pohjautuvaa tieteellistä työtä, joka keskittyi formaaleihin kieliin ja automaattien teoriaan. Hän sai akateemikon arvonimen vuonna 2001.
Akatemian mukaan Salomaa oli yksi tärkeimmistä automaattien ja formaalisten kielten teorian kehittäjistä. Hän perehtyi tietokoneiden matemaattisiin haasteisiin jo 1960-luvulta lähtien, keskittyen kryptografian ja DNA-laskennan teorian luomiseen.
Akatemia kehuu Salomaan työtä muun muassa erinomaisena nuorten tutkijoiden ohjaajana.
Salomaa toimi Turun yliopiston matematiikan professorina vuosina 1966–1998 ja Suomen Akatemian tutkijaprofessorina ja myöhemmin akatemiaprofessorina vuosina 1975–1980 ja 1989–1999.
Salomaa työskenteli useissa ulkomaisissa yliopistoissa vierailevana professorina. Hän on seitsemän ulkomaisen ja kahden kotimaisen yliopiston kunniatohtori.