About XMAKYNA

Building useful technology to a higher engineering standard.

XMAKYNA LTD is a UK technology company founded by Khaled Baqer and incorporated in England and Wales on 7 August 2026. It was established to build useful technology and the machinery needed to produce it to a higher engineering standard, with security, reliability and technical discipline built in from the outset.

The Company has two divisions with different responsibilities. Applications and tools address specific workflows. High-assurance computing develops security systems and infrastructure, including foundations needed inside XMAKYNA.

The founder-led structure keeps product decisions close to the people reviewing their technical consequences. Modern AI increases the capacity available for a broader portfolio of implementation, investigation and testing; it also makes it practical to invest in the tools and systems used to build, verify and maintain software rather than treating that machinery as an afterthought.

Human direction remains primary. Requirements, trade-offs, risk acceptance and public claims require accountable decisions. AI-generated proposals and automated checks inform those decisions, but neither substitutes for engineering judgement or evidence from the system being built.

Founder & CEO

Khaled Baqer

Khaled Baqer holds a PhD in Computer Science from the University of Cambridge (Security Group). Before founding XMAKYNA, he spent over seven years at Entrust (formerly nCipher Security), most recently as Senior Staff Product Security Engineer, leading security architecture for a product line of hardware security modules. He continues to direct XMAKYNA's technical strategy, product development and engineering standards.

Further details about his background, research and writings are available on his personal website.

Company structure

Two kinds of work, with different outcomes.

Applications & tools

User-facing applications and development tools address different day-to-day tasks. The applications share the same engineering machinery and discipline. Mistakes, fixes and lessons from one product become institutional memory for the rest, improving the system used to build all of them.

High-assurance computing

Security systems, infrastructure and computing foundations developed to meet XMAKYNA’s own demanding requirements. The division can retain capabilities internally or consider broader use when the problem, controls and evidence support it.

Engineering position

What the Company expects from its engineering.

  • Useful technology comes first, with security, reliability and technical discipline designed in from the beginning.
  • Memory-safe languages are the normal choice for XMAKYNA-written production code.
  • Strict compilers are engineering controls, including when AI participates in implementation.
  • Isolation and narrow permissions are preferable to broad trust.
  • Dependencies and external services need a reason to exist.
  • Testing, review and runtime evidence remain necessary even when code compiles cleanly.
  • Public claims should be no broader than the evidence behind them.

Company

XMAKYNA LTD

Legal entity
XMAKYNA LTD
Company number
17387244
Incorporated
7 August 2026
Jurisdiction
England and Wales