Models of Computation Research Group | Faculty of Informatics

The investigations of the research group concerns the mathematical properties and the practical applicability of conventional and unconventional computational models.

György Vaszil and Péter Battyányi investigates the so called chemical paradigm of computation where the result of the computation is obtained through a global behavior which is the result of the dynamic and local interactions of the relatively simple building blocks of the computational system. The focus of their research is membrane computing, they study the properties, such as the computational power of membrane systems and membrane automata, and they also investigate the possibility of creating a natural description of membrane computations with logical calculi.

Pál Dömösi and Géza Horváth study networks of automata. They defined special automata networks in such a way, that these networks are capable of performing cryptographic operations (encoding, decoding) efficiently, even if the size of the block on which the operations are performed is as large as 128 bits. They also aim at developing automata networks for other types of special computations, in particular, networks for realizing cryptographically secure pseudorandom number generators.

Tamás Herendi and Roland Major studies the possible applications of FPGA circuits. These circuits, once configured, operate very efficiently, they behave as special hardware elements created for specific goals. As FPGAs are parallel computing units, one of the focus areas of this research is the study of the parallelizability of different algorithms in such a way that FPGAs would be able to execute them. An important aspect which also needs to be considered for this purpose is to study and to try to decrease the amount of computational resources needed as much as possible. The specific goals of the project concern the implementation of procedures needed in linear algebraic computations, or in efficient and secure pseudorandom number generators.