Akateemikko Arto Salomaa on kuollut 90-vuotiaana

Tietotekniikan matemaattista teoriaa kehittänyt matemaatikko, akateemikko Arto Salomaa on kuollut, kertoo Suomen Akatemia. Vuonna 1934 syntynyt Salomaa teki pitkän tutkijanuransa aikana matemaattiseen logiikkaan pohjautuvaa tieteellistä työtä, joka keskittyi formaaleihin kieliin ja automaattien teoriaan.