St. Petersburg, Russia
I graduated from St.-Petersburg state University with specialization in Computer Science. My interests include compilers, logics, theorem proving and related concepts. I started as a programmer, worked in software companes in Russia and USA, but later my interests moved to more academic area. Now I am teaching and doing research in ITMO University, St. Petersburg.
D413 714F 288F DF9C 31BA 7E5C 9808 A7ED 0A07 7199