• High-assurance software laboratory.
  Dependable IT solutions, Innovative businesses and future governance.
  Uustalu, Tarmo https://cs.ioc.ee/lsg/
• Laboratory for compositional systems and methods.
  Dependable IT solutions.
  Sobociński, Paweł Maria https://compose.ioc.ee/