Papers, talks and posters

Annual ACM Symposium on Theory of Computing (STOC 2021)

Annual ACM Symposium on Theory of Computing (STOC 2021)

28th International Conference on Computer Science Logic (CSL 2020)

ACM-SIAM Symposium on Discrete Algorithms (SODA 2019)

33rd Computational Complexity Conference (CCC 2018)

34th Symposium on Theoretical Aspects of Computer Science (STACS 2017)

Theory and Applications of Satisfiability Testing (SAT 2017)

41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)

27th International Symposium on Algorithms and Computation (ISAAC 2016)

26th International Symposium on Algorithms and Computation (ISAAC 2015)

10th International Computer Science Symposium in Russia (CSR 2015)

Proof Complexity, Banff, Canada, 2020

SODA 2019, San Diego, USA, 2019

Theory and Practice of Satisfiability Solving, Oaxaca, Mexico, 2018

Proof Complexity Workshop, FLOC, Oxford, UK, 2018

MFCS 2016, Krakow, Poland, 2016

ISAAC 2016, Sydney, Australia, 2016

ISAAC 2015, Nagoya, Japan, 2015

ELC Mini Workshop, Tokyo, Japan, 03.12.2015

CSR 2015, Irkutsk, Russia, 2015

Franco-Russian workshop on Algorithms, complexity and applications, Moscow, Russia, 2013

Eighth International Conference on Computability, Complexity and Randomness (CCR 2013), Moscow, Russia, 2013

Discrete Mathematics seminar, Saint Petersburg, 2011

Foundations of Computational Mathematics, volume 2022, pages 1-97, 2022

Transformative Dialogues: Teaching and Learning Journal, volume 14, pages 1-10, 2022

ACM Transactions on Computational Logic, volume 22(4), pages 26:1-26:30, 2021

SIGACT News, volume 52, pages 46--70, 2021

Journal of Symbolic Logic, volume 85, pages 1-41, 2020

Journal of Computer and System Sciences, volume 96, pages 107-119, 2018

Journal of Mathematical Sciences, volume 188, pages 59-69, 2013

ArXiv, abs/2011.04259, 2020

Electronic Colloquium on Computational Complexity (ECCC), 155, 2020

Electronic Colloquium on Computational Complexity (ECCC), 001, 2019

CoRR, abs/1801.04641, 2018

Electronic Colloquium on Computational Complexity (ECCC), 041, 2018

Electronic Colloquium on Computational Complexity (ECCC), 177, 2018

Electronic Colloquium on Computational Complexity (ECCC), 176, 2017

Electronic Colloquium on Computational Complexity (ECCC), 179, 2017

Electronic Colloquium on Computational Complexity (ECCC), 119, 2016

Electronic Colloquium on Computational Complexity (ECCC), 174, 2015

Electronic Colloquium on Computational Complexity (ECCC), 178, 2014

Electronic Colloquium on Computational Complexity (ECCC), 037, 2013