Habr
All streams
Search
Edit
Settings
Login
Pull to refresh
17
Наталья Клаус
@Natasha_Klaus
Специалист по формальной верификации. Пруф-инженер
9
Subscribers
Follow
Send message
Profile
Articles
5
Posts
News
Comments
20
More
Dropdown
Bookmarks
Followers
Following
1
Badges
Habred
Invited
July 18 2023
by invitation from UFO
About
Работала в
formal.land
— мы верифицировали исходный код криптовалюты Tezos и их внутренний язык для написания смарт-контрактов Michelson.
Information
Rating
Does not participate
Location
Россия
Date of birth
October 23 1983
Registered
July 13 2023
Activity
December 11 2025 at 07:06
Specialization
Proof-инженер (формальная верификация), Специалист по формальной верификации
Средний
Git
SQL
Английский язык
Разработка программного обеспечения
Функциональное программирование
Rust
