A Ukrainian software engineer who is fond of software optimization, especially since he does it on the job all the time. In love with compilers and runtimes. He enjoys writing d2d tools, formal verification, and extensive application of Computer Science to real-world projects.