Наталья Клаус aka Natasha_Klaus - Специалист по формальной верификации. Пруф-инженер / Хабр

Как стать автором

Наталья Клаус @Natasha_Klaus

Специалист по формальной верификации. Пруф-инженер

Профиль Публикации 4Комментарии 19Закладки

Значки

Захабренный

Приглашена: 18 июля 2023 по приглашению от НЛО

В рейтинге: Не участвует

Откуда: Ростов-на-Дону, Ростовская обл., Россия

Дата рождения: 23 октября 1983

Зарегистрирована: 13 июля 2023

Активность: 29 ноября 2023 в 21:04

Proof-инженер (формальная верификация), Специалист по формальной верификации

Middle

От 400 000 ₽

Git

SQL

English

Software development

Functional programming

Rust