Company
Inferara Corp. Ltd.
A small engineering company. We build verification tools and we do verification work. Everything on this page is checkable, and we have left the gaps visible rather than filling them in.
What we do
Inferara works in two areas where being approximately correct has a cost someone eventually pays. In finance, we build Haruno, which closes the books for fractional CFOs and portfolio finance teams and shows its working. In code verification, we build Inference, a programming language that proves the properties you write down, and we do verification engineering on our clients' systems.
The two are the same discipline. Write down what must be true, have a machine check it, report the difference rather than a verdict, and keep checking as things change.
How we work
We write the specification before the code.
Our research papers are not marketing. They are how the tools were designed, and they came first.
We publish the limits.
Every tool we ship states what it does not cover. If your problem is outside that boundary we will say so in the first conversation.
We are small, and we say so.
A three-person core, with specialists in cryptography, security and strategy brought in by name for specific work. You will know who is doing your work before you commit to anything.
Confidentiality is structural, not a clause.
On review engagements, access is read-only, time-boxed, and revoked at completion.
People
Georgii Plotnikov
Founder
Programming languages and formal methods. Lead author of our published research and the designer of the Inference language.
Dominik Hinkelman
Partnerships and ecosystem
Works on our relationships across the Stellar and wider Web3 ecosystems, and on how our tools get adopted.
Beyond the core team we work with specialists in cybersecurity, applied cryptography and business strategy on a project basis. We bring them in by name and we tell you when we have.
Corporate particulars
| Company Name | Inferara Corp. Ltd. |
| Address | 3F S0-12, 2-6-11 Daimyo, Chuo-ku, Fukuoka-shi, Fukuoka 810-0041, Japan |
| Business | Development of formal verification tools; verification and architecture engineering services. |
| Business Hours | Weekdays 10:00–18:00 |
| info@inferara.com |
Open source and grants
Our open-source work has been funded through competitive project grants. These are grants, not partnerships and not endorsements by the organisations that awarded them.
If you don't do this design right from the beginning, then every piece of the code you write is a patch. And you start out from day 1 with a mess.
Start a conversation
A small engineering company. We build verification tools and we do verification work. Everything on this page is checkable, and we have left the gaps visible rather than filling them in.