Thanks to the many years of experience, we are expert in using programming tools, we also contribute to their development. Our scientific research is focused on the theoretical aspects of technologies we work with. We are particularly strong in JVM-related languages and technologies.