Software Engineer at a blooming tech giant · Lecturer at ITMO University
I build compilers and developer tooling: language front ends, IDL-driven generators for native bindings, incremental build pipelines, and everything it takes to ship them. At ITMO University I teach discrete mathematics and formal methods.
- discrete-math-course — Discrete Math course at ITMO University
- formal-methods-course — Formal Methods course at ITMO University
- kotlin-satlib — SAT solver wrappers for the JVM
- sat-nexus — SAT solver wrappers for Rust
- ananke — decision diagrams for Rust
- nexus-raw — CLI and library for Sonatype Nexus raw repositories
- typst-fitch — Fitch-style natural deduction proofs for Typst
- USVM — symbolic execution engine (core contributor)
- JacoDB — bytecode analysis framework (core contributor)
