From Dumb Smart Toward Smarter Contracts

As you probably know, KIRIK is very proud of having onboard Prof. Dmitry Sviridenko, Full Doctor of Mathematics and Computer Science. His area of expertise is the Theory of Semantic Programming applied to semantic contracts.

There is an intriguing article by Prof. Sviridenko where he discusses Semantic Modelling and other things that can really boost the entire domain of smart contracts:
- use of Semantic Modelling and declarative specs instead of Turing-complete imperative programming languages;
- possibilities of auto-audit of semantic smart contracts;
- replacement of coding by visual construction of semantic models in business process management tasks;
- possibility of a smart contract to work with multiple blockchains;
and other topics.

Enjoy this intellectually challenging long-read (in Russian) : http://expert.ru/siberia/2018/05/chtobyi-umnyimi-stali-kontraktyi/