Yaroslav Alekseev was born in Saint-Petersburg, Russia. The work was done while he was a Master's student in mathematics at the Saint-Petersburg State University under the supervision of Edward A. Hirsch. After completing his Master's degree, he became a Ph.D. student at the Technion under the supervision of Yuval Filmus. His research interests include proof complexity and computational complexity.