About Me


Hi, I am Anastasia Sofronova.

I am a PhD student at St.Petersburg Department of Steklov Institute of Mathematics of Russian Academy of Sciences (PDMI RAS). My advisor is Dmitry Sokolov. I got my MSc from Saint Petersburg State University, Department of Mathematics and Computer Science.

I also work as a Junior Researcher at PDMI RAS, Laboratory of Applied Probabilistic and Algorithmic Methods.

My main research interests are: proof complexity, communication complexity, circuit and formula complexity.

My e-mail: ana.a.sofronova [at] gmail.com


Other things

I am a dancer and a fashion enthusiast, so here is an instagram with my shenanigans on stage. I am also a proud mother of a cat named Loki, and my fluffy child has his own telegram channel.