Vladimir Kukharenko
Blockchain Developer at Novasama Technologies- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
Topline Score
Bio
Experience
-
Novasama Technologies
-
Software Development
-
1 - 100 Employee
-
Blockchain Developer
-
Jun 2023 - Present
-
-
-
Innopolis university
-
Russian Federation
-
Information Technology & Services
-
200 - 300 Employee
-
Developer assistant
-
Nov 2020 - Apr 2023
Developed blockchain node in Standard ML and api in Python (Django) and Erlang. Developed blockchain node in Standard ML and api in Python (Django) and Erlang.
-
-
-
Yandex.Market
-
Russian Federation
-
Retail
-
700 & Above Employee
-
Back End Developer
-
Jun 2021 - Aug 2021
Summer internship at Bootcamp DeepDive at Yandex.Market. Back End in C ++. Summer internship at Bootcamp DeepDive at Yandex.Market. Back End in C ++.
-
-
-
-
Researcher
-
Jul 2020 - Sep 2020
- Conducted research work on formal verification of the HotStuff consensus protocol. - Created a model in the TLA+ language for formal verification of the Safety property. - Participated in writing articles about results(SHS Web Conf., MAIS-journal). - Technologies used: TLA+, TLC model checker. Articles: https://doi.org/10.1051/shsconf/20219301006 https://doi.org/10.18255/1818-1015-2020-4-454-471 - Conducted research work on formal verification of the HotStuff consensus protocol. - Created a model in the TLA+ language for formal verification of the Safety property. - Participated in writing articles about results(SHS Web Conf., MAIS-journal). - Technologies used: TLA+, TLC model checker. Articles: https://doi.org/10.1051/shsconf/20219301006 https://doi.org/10.18255/1818-1015-2020-4-454-471
-
-
Education
-
École Polytechnique
Ingénieur, Computer Science -
Yandex School of Data Analysis
Machine learning developer, 5 / 5 -
Moscow Institute of Physics and Techology
Bachelor, Applied mathematics and Computer science