I am a postdoc at the School of Technology and Computer
Science at the Tata Institute of
Fundamental Research in Mumbai, India. I am working on Computational Complexity, and Proof Complexity in particular, hosted by Arkadev Chattopadhyay.
Previously I was a graduate student in the Theoretical Computer
Science Group at the KTH Royal Institute
of Technology in Stockholm, Sweden, under the
supervision of Jakob Nordström.