Author

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

Ефремов Денис (yefremov.denis at gmail.com)

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

Link to CV.