Svyatoslav Griaznov
Graduate Student, Imperial College London
Sviatoslav is a PhD student at the Department of Computing, Imperial College London, supervised by Prof. Iddo Tzameret. Prior to joining ICL, he received MSc from St. Petersburg Academic University in TSC and BSc from St. Petersburg State University in Statistics. He was working as a Junior Researcher at PDMI RAS and was a researching fellow at the Institute of Mathematics of CAS for a year. His research interests include circuit complexity, proof complexity, and extremal combinatorics. He strives to make progress in proving lower bounds on AC0[p] and AC0[p]-Frege.