• Andreou, Ioannistarkvarateaduse instituut, doktorant-nooremteadurAt TalTech: 2024?-https://taltech.ee/kontaktid/ioannis-andreou
• 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/