Maxim Menshikov
Static analysis reseacher and startup founder
Function context detection in the program source code Research
The first (naive) paper about static analysis and how to organize collection of execution contexts.