О Блоге

В блоге периодически затрагиваются темы формальной верификации, статического и динамического анализа. Во всех остальных случаях я пишу заметки о вполне конкретных проблемах, с которыми сталкиваюсь при конфигурировании/установке/запуске софта, и которые мне пригодились бы самому, найди я их в поисковой выдаче.

Ефремов Денис ([email protected])

GitHub Profile: https://github.com/evdenis
Link to CV.
LinkedIn: https://www.linkedin.com/in/evdenis/
KeyBase: https://keybase.io/efremov