Institute of Theoretical Informatics (ITI) - AiMat group