I am a leading researcher at Matrosov Institute for System Dynamics and Control Theory SB RAS, Irkutsk, Russia. Recently, my research has been mainly focused on the development of efficient SAT algorithms for solving extremely hard problems that arise both in cryptanalysis and combinatorics. I have been implementing such algorithms in the form of parallel and distributed SAT solvers over the last few years. Using these solvers, I found new combinatorial structures and performed cryptanalysis of several stream ciphers.