I am Maxim Menshikov, researcher and founder of @interpretica-io.
My main research areas:
- Static analysis and program verification.
- Security tooling and vulnerability detection.
- Compilers, runtimes, and developer tools.
- Reverse engineering.
- Embedded and low-level systems.
- Rust and C/C++ software.
- Blockchain.
Actual breakdown of my current R&D effort:
- Rust (45%)
- C++ (40%)
- The rest (15%)
Global stats:
- Toolchain for C# -> RISC-V compilation.
- Visao: security-focused static analyzer for detecting defects and vulnerabilities in large С/C++/Go/Rust/Python codebases.
- Delta: intrusion detection tool.
- Midair: static analysis / testing / vulnerability deteciton tool.
- 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