
Junior Researcher at PDMI RAS
Russian Federation

Junior Researcher at PDMI RAS
Russian Federation
(Research industry)
2008 — Present (2 years )
(Education Management industry)
September 2007 — Present (2 years 5 months)
(Public Company; 1001-5000 employees; Computer Software industry)
September 2005 — February 2007 (1 year 6 months)
(Computer Software industry)
September 2004 — September 2005 (1 year 1 month)
The project ("Verifying Algebraic Circuits Using the Semi-Algebraic Approach") was devoted to creating an automated theorem proving system and was sponsored by Intel Corporation.
PhD , Computer Science , 2005 — 2008
MSc , Mathematics , 2000 — 2005
GPA: 5.0
computer science, teaching, combinatorics, algorithms, circuit complexity, programming
Winner of the student personal grant contest by Russian Science Support Foundation (Top140 PhD Russian students), 2007-2009
Winner of the INTAS Young Scientist Fellowship grant "Complexity of Proofs and Algorithms for NP-hard Problems'' (Top100 PhD students from former Soviet Union), 2006-2008
First prize for the best student presentation at Ninth Estonian Winter School in Computer Science, 2004
The 3rd degree Diplomas of All-Russian School Contests in Mathematics, 1999, 2000