Marc Vinyals is currently a visiting fellow at Technion. He is working on Computational Complexity, and Proof Complexity in particular, hosted by Yuval Filmus. His interests include other areas of complexity such as pebble games, query complexity, communication complexity, and circuit complexity, and the theory of SAT solving. Previously he was a graduate student at the KTH Royal Institute of Technology, supervised by Jakob Nordström, and a visiting fellow at the Tata Institute of Fundamental Research, hosted by Arkadev Chattopadhyay.