Vladislav Feofilaktov

Vladislav Feofilaktov


Research Groups

Biography

I'm studying at St. Petersburg Polytechnic University (Department of Computer Systems and Software Technologies). I'm researching some aspects of static code analysis, particularly automatic library integration error detection. My current project is SPIDER (Specification Based Integration Defect Revealer) that uses our DSL named LibSL (Library Specification Language). 

I believe that methods of static code analysis will be improved over time to help programmers write better code.