Maxim Menshikov. Founder and CEO of Interpretica.

Cybersecurity expert and static analysis researcher. Maxim makes tools that find bugs, vulnerabilities and reliability problems in large production code.

He started to ship software in 2006. His software runs on more than 100,000 devices: embedded systems, network products and security software. He works in Porto, Portugal.

Maxim Menshikov

About Maxim. Tools for software developers.

Maxim makes tools for software developers. He works on static analysis frameworks, compilers, integrated development environments (IDEs) and distributed test systems. He also does reverse engineering.

He wrote hundreds of tools for platforms that have no documentation. He manages large projects with many contributors. He completes long and complex tasks.

At Interpretica, he develops Visao, a static analyzer for industrial software. Visao is part of the Midair platform.

2006first software shipped
100K+devices in production
15peer-reviewed papers
159catalogued projects

Areas of expertise. From code to devices.

Static analysis

Frameworks that find bugs, vulnerabilities and reliability problems in large production code.

Cybersecurity and reverse engineering

Security tools and reverse engineering, also for platforms that have no documentation.

Development tools and compilers

IDEs, compilers and debuggers, and the compiler technology inside them.

Embedded and software testing

Distributed tests for embedded systems and network products.

Technical background. Skills and research interests.

Static analysis and security toolsSystem programming: C/C++, RustReverse engineeringEmbedded softwareCompiler technologiesDevelopment tools: IDEs, compilers, debuggersDistributed testingHigh-performance computing, networks and virtualization

Building Interpretica. Research for real engineering.

Maxim started Interpretica to use research in software analysis for real engineering work.

Interpretica works with companies that make complex software products. It helps them make their software more reliable, more secure and easier to maintain. For this, it uses testing and static analysis.