The primary goal of MATRIS Research Group is to develop mathematical foundations and related primitives from the field of discrete mathematics and apply them to real-world problems of software testing and information security. To achieve this goal, our group acts as a bridge between academia, industry, and governmental research organizations.