About Me

avatar

Hi, I am Anastasia Sofronova.

I am a PhD student at EPFL, working with Mika Göös and Dmitry Sokolov. Previously I was a PhD student at St.Petersburg Department of Steklov Institute of Mathematics of Russian Academy of Sciences (PDMI RAS). I got my MSc and BSc from Saint Petersburg State University, Department of Mathematics and Computer Science.

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

My e-mail: ana.a.sofronova [at] gmail.com, anastasiia.sofronova [at] epfl.ch

Papers