Software engineer and CTO at csssr.com, open source enthusiast and podcaster.
I’m interested in programming languages, model checking and tech in general.