university researchers, tech and business experts, designers and fresh talents from interdisciplinary fields.
Research and development activities →
from scratch to develop market ready solutions
We do basic research on IOPs and their composability, experiment with code generation for ZKPs, develop basic tools for ZKP systems, like optimized elliptic curve operations and analyse possible use cases of ZKP.
more infoIn our Qutility project we build AI software solutions that enable efficient quantum computing and quantum sensing applications. We focus on color centers, their simulation, definition of gates and compiling quantum algorithms to these color centers
more infoCsip is a strictly typed metacompiler. Learn how we would like to rethink the compiler stack and code generation based on dependent types and staged programming.
more info
