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