Backend / Systems Software Engineer with a focus on verification and distributed systems.
🎓 Master's in Computer Science @ ITMO University (2026) 🥈 VeHa-2025 Verification Hackathon — II place
Languages: Kotlin · Java · Scala · Rust · Haskell · Go · C# · C++
Backend: Spring Boot · Vert.x · gRPC · Tapir · Kafka
DB: PostgreSQL · Liquibase · Doobie · Apache Cayenne
Verification: Symbolic Execution · Fuzzing · Property-Based Testing · JVM TI
- USVM Concolic Engine — Master's thesis on symbolic execution for JVM bytecode analysis (Kotlin, JVM TI, Java Reflection API).
- Wiki Stat — Multithreaded Wikipedia dump analyzer (Kotlin, SAX, bzip). Awarded as one of the most effective projects by the Computer Science Center.
- Hi Language — A simple programming language in Haskell with list operations, file manipulation, and CLI interaction.
- Telegram: @advgiraffe
- Email: moskvichevv2@gmail.com