Altcoins Talks - Cryptocurrency Forum
Cryptocurrency Ecosystem => Community Coins & Tokens => Everscale Forum => Topic started by: Alex077 on April 21, 2021, 03:02:04 PM
-
In April, the Formal Methods Sub-Governance was created to make Free TON more secure and robust. For more details — what is formal verification and how it is used in Free TON — we turned to one of the initiators of the Sub-Governance creation, Sergey Egorov (he is also a co-founder and one of the leaders of Pruvendo). Please tell us about your background and how it all started. I have worked for quite a long time as the Head of QA in companies such as Oracle, and I am well aware of the field of quality control. Then I got tired of everything, and I started doing business together with my partner Andrey Lyashin (one of the authors of the NOT a TON binary system concept — ed.). We started with high-tech consulting and we went from one extreme to the other, but in the end, we returned to the “native harbor”. I became a Head of Software Development at a traditional outsourcing company, but I wanted something different.... https://freeton.house/en/interview-with-sergey-egorov-one-of-the-initiators-of-formal-methods-subgovernance-creation/....