Ilja Krasnjanski

C, C++, Rust, x86/ARM ASM, Python, TS/JS, Go, VHDL. AST parsing (Acorn/Babel), YARA, Linux namespace isolation, OS kernels, DSP audio.

SMT/SAT constraint solvers (Z3), abstract interpretation for dynamic language runtimes, and formal verification of concurrent low-level systems.

unk-scanner: a static triage tool solving obfuscator rotations without code execution across 2.8M files. Plus developer lure research.
https://krasforge.github.io/UNK_DeadDrop/

Career opportunities in security research, compiler/static analysis tooling, and low-level systems engineering. Open to Berlin or remote positions.