• Arkor, Nathanaeltarkvarateaduse instituut, järeldoktor-teadurAt TalTech: 2024-https://orcid.org/0000-0002-4092-7930 https://www.webofscience.com/wos/author/rid/MEO-2282-2025 https://scholar.google.com/citations?user=NEcQRGMAAAAJ https://www.scopus.com/authid/detail.uri?authorId=57217046217 https://taltech.ee/kontaktid/tugevalt-tagatud-tarkvara-laboratoorium/nathanael-amariah-arkor
• High-assurance software laboratory.
  Dependable IT solutions, Innovative businesses and future governance.
  Uustalu, Tarmo https://cs.ioc.ee/lsg/