• Kirik is a Semantic business-rules engine for the development and management of projects, platforms, and systems of any complexity -

    significantly lowering costs, faster, easier and with greater security

    Commercially proven technology since 2012 and 200MM+ end-users

  • Features

    Kirik's Awesome Features

    Semantic modeling

    Flexible Logic and Simplicity of Use

    No need for excessive development

    Easy to use and build any logic on the Kirik Semantic Platform for non-programmers with basic tech knowledge

    faster software development

    Faster and More Secure

    50-75% faster than traditional​ programming

    KSP increases your speed of product deployment by 2-4x while improving general security due to the execution of semantic rules in the sandbox.

    lower costs software development

    Lower Costs

    80-90% cost savings vs. traditional programming

    Validated commercial case studies benchmark 80+% cost savings in tech development; reducing at a ratio of ​40: 8 man hours

  • Advanced Mathematics At The Core

    Kirik creates a new approach in AI based on Semantic modeling and programming. The mathematical foundation of this approach was developed at the Institute of Mathematics, Siberian Branch of the Russian Academy of Science by academicians Yuri Yershov, Sergey Goncharov and Doctor Dmitriy Sviridenko. The Kirik concept is developed and based on the collaborative groundwork by LibrettoLabs, Eyeline.mobi, MiniApps.pro and the Institute of Mathematics – Siberian Branch of Russian Academy of Science.

    Yuri Ershov

    Yuri Ershov is a Soviet and Russian mathematician, Academician of RAS, full Doctor of Science in Physics and Mathematics, professor, Counselor of RAS, the leader of the Siberian School of Algebra and Logic.

    Sergey Goncharov

    Sergey Goncharov is a Soviet and Russian mathematician, Academician of RAS, professor, laureate of many prizes, a specialist in mathematical logic and computability theory.

    Dmitry Sviridenko

    Dmitry Sviridenko is a full Doctor of Mathematics and Computer Science, professor. His area of expertise is the theory of Semantic Programming applied to semantic smart bargains and contracts.

  • Build sophisticated systems faster, more secure while lowering costs​

    Save Time and Money

    proven by experience since 2006

    Reduce Development Time

    50-75% Faster

    KSP increases your speed of product deployment by 2-4x​ while improving general security due to the execution of semantic rules in the sandbox.

    Reduce Development Costs​

    80-90% Reduction

    Validated commercial case studies benchmark 80+% cost savings in tech development; reducing at a ratio of 40 : 8 man hours

    Reduce Cost of Software​

    90-95% Reduction

    90% cost savings in technical support based on technical industrial specialists using scalable Domain Specific Language solutions. Current product support includes changes in business logic leveraging DSL or industry specific domain logic rules for increased efficiency and performance.

  • Who benefits from the Kirik Semantic Platform?

    Radically increase your performance with KSP

    Developers

    Build your own semantic solution, product or service using Kirik SDK for free, forever.

    Increase your performance and speed up your work.

    Startups, SME and Corporations

    • Software development
    • Development and integration of complex IT-systems
    • Remote administration

    Software Companies

    • Become our partner and/or reseller.
    • Significantly increase your software development process by using Kirik Semantic Platform
  • How It Works

    Kirik Semantic Platform Implementation Workflow

    1

    Analysis

    Analysts form a domain model: key objects, ways of working with them, event model.

    2

    Development &

    Integration

    Programmers implement a scalable domain model, meaning they make integration of the KSP with the infrastructure: database, information systems, etc.

    3

    Maintenance

    Domain specialists are able to change the behavior of the system and/or processes, describing the logic of their behavior in the developed DSL language (or base D0SL). It does not require the participation of programmers.

  • KIRIK by Numbers

    30+

    Years of Semantic Modeling developed since the 80s by three famous Russian Mathematicians

    350+

    Deep expertise and experience. A strong international team with total experience in engineering/software development and business development – more than 350 combined years of expertise.

    2006

    Development of the first Semantic Engine

    2012

    Commercial launch of the first KSP in 2012

    200MM+

    End users using KIRIK technology around the World

    350+

    Total number of implemented projects using KSP

    30+

    Patents registered in the United States, the European Union, Russia and Singapore.

All Posts
×