Antti Hyvärinen said that solving practical problems often requires going through large amounts of data efficiently and performing automatic inference based on the material. For instance, when the link between certain genes and the onset of a disease is studied, the material from which correlations should be found can be extremely extensive.
"Cloud computing speeds up solving a problem because it is possible to use thousands of computers instead of just one. Instead of spending ten years looking for a solution, the computers may solve the problem in a matter of hours."
Antti Hyvärinen explained that decentralising computers also saves energy. "Computers produce a lot of heat and there is a major demand for computing capacity in large cities in the south. Due to the warm climate in these areas, cooling the heat produced by the computers consumes a lot of electricity."
Antti Hyvärinen said that the speed of computer processors, which execute programme commands, will no longer increase significantly. If we want faster results in the future, all computing should be performed in parallel by several computers.
However, parallel programming is difficult. The dissertation presents several analytical and experimental results that offer solutions to the problems related to parallel processes. These new methods can be used to solve several previously unsolved problems for the first time. In practice, certain algorithms have been developed so that they can more efficiently make use of several processors simultaneously, decreasing the computational time.
Antti Hyvärinen uses a propositional logic to model structured problems. Due to its general nature, this logic enables the modelling of different types of problems from bioinformatics to artificial intelligence design.
The doctoral dissertation of Antti Hyvärinen, "Grid Based Propositional Satisfiability Solving", has been examined at the School of Science Department of Information and Computer Science on 28 November 2011.