Interview With Sergey Egorov — One of The Initiators of Formal Methods SubGovern

[Alex077]

 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/....