HUN-REN Institute for Computer Science and Control