Изминало събитие

[Повторение] Mathematical proof for VMware Blockchain’s consensus algorithm

Лектор Христо Стайков

Организатор

Job Board за
IT общността

Дата 21.07.22

Език Български

Локация Campus X, ул. Кръстьо Раковски №30

Спонсори на събитието:

За събитието

Това събитие е част от потребителската група Blockchain.

ПРОГРАМА:

>>> Brief comparison between writing code for a formal model vs writing executable code.
>>> Benefits of a proven formal specification to ensure correctness of the executable code.
>>> Proving a statement (invariant) in our model.
>>> Formal modeling of a distributed system and its subcomponents.

>>> Q&A част.

ПОТРЕБИТЕЛСКА ГРУПА: Blockchain

Събитието е част от потребителската група за Blockchain. Всеки месец организираме събития на тема свързана с Blockchain. За да не изпускате интересна информация по темата – абонирайте се.

ОРГАНИЗАТОР: DEV.BG е специализиран Job Board за IT обяви.

Blockchain обяви: Ако си търсиш работа свързана с Blockchain технология, разгледай обявите тук.

КЪДЕ:

на живо: Campus X, ул. Кръстю Раковски №30.
online: чрез zoom директно от залата

КОГА: 21.07.2022 г. от 12:30ч.

Очакваме ви!

Христо Стайков Staff Software Engineer, Blockchain VMware

За лектора

Христо има 15 години професионален опит като C/C++ програмист. Започва кариерата си като game developer, на по-късен етап се занимава с разработване на клиент/сървър приложения и добива опит с openSSL, crypto++ и основите на дигиталната сигурност. Разучаването на blockchain технологиите и алгоритмите, на които те разчитат започва като хоби, като през Февруари 2020 се присъединява към VMware Blockchain екипа, където участва в имплементирането на нововъведения в Core-BFT протокола.