Habr
β
How to become an author
My feed
All streams
Search
Write a publication
Settings
Login
Pull to refresh
17
0
Наталья Клаус
@Natasha_Klaus
Специалист по формальной верификации. Пруф-инженер
Follow
Send message
Profile
Articles
5
Posts
News
Comments
20
More
Dropdown
Bookmarks
Followers
9
Following
1
Badges
Habred
Invited
July 18 2023
by invitation from UFO
About
Работала в
formal.land
— мы верифицировали исходный код криптовалюты Tezos и их внутренний язык для написания смарт-контрактов Michelson.
Information
Rating
3,267-th
Location
Россия
Date of birth
October 23 1983
Registered
July 13 2023
Activity
August 25 at 10:44
Specialization
Proof-инженер (формальная верификация), Специалист по формальной верификации
Middle
Git
SQL
English
Software development
Functional programming
Rust
