Maxim Menshikov
Static analysis reseacher and startup founder
Private network management project plugins & processing engine UI EXTERNAL
Wrote a processing engine for a private network management project. It included writing the core (based on Isabelle), related plugins, deployment processes. The project is released.
Date: 2024
Languages: Rust
CPU: X86_64, ARM
Platforms: Linux, MacOS, Windows