About

Hi! I’m Sergey Vartanov. I’m system programmer, interested in dynamic and static analysis, symbolic execution and SMT solving.

I also mad about maps and currently working on Map Machine project, a Python renderer for OpenStreetMap, that includes custom icon set Röntgen.

The best way to contact me is using Telegram: @enzet. If you like what I’m doing, you may want to follow me on GitHub or on Mastodon.