Author

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

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

GitHub Profile: https://github.com/evdenis

Link to CV.

LinkedIn: https://www.linkedin.com/in/evdenis/

KeyBase: https://keybase.io/efremov