Хабр
Все потоки
Поиск
Написать публикацию
Настройки
Войти
Обновить
17
Наталья Клаус
@Natasha_Klaus
Специалист по формальной верификации. Пруф-инженер
9
Подписчики
Подписаться
Отправить сообщение
Профиль
Статьи
5
Посты
Новости
Комментарии
20
Ещё
Открыть список
Закладки
Подписчики
Подписки
1
Значки
Захабренный
Приглашена
18 июля 2023
по приглашению от НЛО
О себе
Работала в
formal.land
— мы верифицировали исходный код криптовалюты Tezos и их внутренний язык для написания смарт-контрактов Michelson.
Информация
В рейтинге
Не участвует
Откуда
Россия
Дата рождения
23 октября 1983
Зарегистрирована
13 июля 2023
Активность
11 декабря 2025 в 07:06
Специализация
Proof-инженер (формальная верификация), Специалист по формальной верификации
Средний
Git
SQL
Английский язык
Разработка программного обеспечения
Функциональное программирование
Rust
