Email: ana.a.sofronova@gmail.com
Website: http://asofronova.com
Link to CV: https://drive.google.com/file/d/1Kz3YOFYM8qd0hyWpjoERjSOpJk0d8gz3/view?usp=sharing
Level: PhD
Keywords: proof complexity, circuit complexity, formula complexity, communication complexity
Short bio / research interests / publications: I’m a first-year PhD student at PDMI RAS. I’m primarily interested in proof complexity, circuit and formula complexity. Currently looking for PhD position to start over.