Teaduspreemia Tarmo Uustalule
02/2015
Erki Tamm, Teekäija peatoimetaja
Vabariigi Valitsuse 12. veebruari istungil määrati riigi teaduspreemia täppisteaduste alal
Tarmo Uustalule.
Tarmo, sinu teadustöid hinnati viimase nelja aasta perspektiivis ja leiti need parimad olevat. Milles seisneb sinu teemade olulisus ja aktuaalsus?
Ma olen loonud uut matemaatikat (loogikat ja algebrat) ja kasutanud tuntut programmeerimiskeelte ja neid toetavate programmeerija tööriistade täiustamiseks. Sihiks on, et eksimist koodis oluliselt raskendada või see sootuks võimatuks muuta. Üks kõige kiiremini
arenevaid tehnoloogiaid siin on funktsionaalprogrammeerimine, sh eriti selle eesliin, nn sõltuvate tüüpidega programmeerimine.
Sa tegutsed valdkonnas, mis on eriti rahvusvaheline. Milline on eesti teadlaste positsioon maailmas neis teemades?