Maxim Menshikov
Static analysis researcher and software engineer
Scalable semantic virtual machine framework for language-agnostic static analysis Research
Virtual machine for static analysis and the mechanism to distribute the load across the cluster.