I am Maxim Menshikov, researcher and CEO of @interpretica-io.

I am researching many areas:

• Static analysis.
• Blockchain, including zk systems.
• Compilers and toolchains.

Actual breakdown of my current R&D effort:

• Rust (45%)
• C++ (40%)
• The rest (15%)

Global stats:

• Toolchain for C# -> RISC-V compilation.

• С/C++/Go static analyzer: abstract interpretation and model checking, all in one (private source mode until it is more or less ready).
• Isabelle platform: high-performance web servers for modern applications.
• Delta API: API for static analysis invocation.
• libasp: remote invocation for static analyzer.
• Infrastructure projects for all aspects of static analysis.

• Windows Phone 7 Full Unlock ("Jailbreak")
• Dynamics7 ROM: the first ROM with WP7.8, a base for other custom ROMs.
• OSBuilder7 (parts of): relocation for WP7 modules, image building tools, ImgFS building tools.
• Dynamics ROM: one of the most advanced and polished ROMs for Windows Mobile 6.x
• OSBuilder for WM: ImgFS building tools and other minor tools.
• Windows Mobile virtual memory research.
• ELFPack projects for Sony Ericsson.

• I maintain No Identity
• Some time ago I dropped support for Rational Development