SOFTWARE DEVELOPMENT, PROGRAMMING LANGUAGES
Tarmo Uustalu is creating a new computer language Tarmo Uustalu is a leading researcher at TalTech and at Reykjavik University, and is developing and enhancing new programming languages and theorem provers with his research team as part of an EXCITE project. Uustalu considers himself a technology pessimist, and is attempting to create order in a world that is transforming faster than ever before in human history.
“I
n a way, information technology is in a peculiar situation,” says Uustalu. “It is in a state that no other field would accept under any condition. Because it would not be acceptable for a television set or a car to completely shut itself off and require a restart two or three times a day. However, that tends to be the case with computer programs. There is also a cultural acceptance of the fact that computers just stop working. Nobody is surprised about this.” The professor adds that given how rapidly and how much the entire world is becoming more IT-dependent, the situation itself is becoming more critical. “If we take energetics, for example – power stations and distribution systems – or the chemical industry and medical institutions, all IT-related faults in these sectors are completely unacceptable. There Estonian Centre of Excellence in ICT Research
73
