Владислав Феофилактов

Владислав Феофилактов


Исследовательские группы

Биография

Я учусь в СПбПУ (Политехническом Университете имени Петра Великого). Занимаюсь статическим анализом кода, в частности, проверкой корректности использования библиотек. Развиваю проект под именем SPIDER (Specification Based Integration Defect Revealer), который использует наш DSL LibSL (Library Specification Language). 

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