Обо мне

Специализация и профессиональные навыки:
Разработчик ПО

Профессиональные цели:
Сделать формальную верификацию доступной каждому, максимизировать повторное использование кода, подружить все платформы между собой.

Профессиональные навыки