Institut für theoretische Informatik (ITI) - AiMat group