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.
- marc . vinyals @ tifr . res . in
- +91 22 2278 2322
- Postal address:
- Tata Institute of Fundamental Research, Homi Bhabha Road, Navy Nagar, Mumbai 400 005, India
- Physical office:
- Office A-207, TIFR