Summary
Marat Akhin is a senior software engineer with 15 years of experience blending research-grade rigor and practical engineering, currently working on Kotlin projects at JetBrains. He has a strong background in static analysis, fuzzing, language design and tooling from roles at JetBrains Research, Digitek Labs and internships at Microsoft Research. Marat’s career bridges R&D and production: he built bounded model checkers, defect-detection subsystems and led core integration efforts while contributing to language-focused research on Kotlin. Though his PhD is on hiatus, he continues to pursue deep technical problems and productivity improvements, favoring hands-on prototypes that inform language and tooling decisions. Based in Amsterdam, he brings a researcher’s curiosity to shipping developer-facing systems that improve code quality and developer experience.
15 years of coding experience
13 years of employment as a software developer
Ph.D (on hiatus), Computer Science, Ph.D (on hiatus), Computer Science at Saint-Petersburg State Polytechnical University
English, Russian