Maxim Menshikov
Static analysis reseacher and startup founder
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.