Marc Vinyals

I condemn the special military operations that Russia started on February 24th.


I am a lecturer in theoretical computer science at the University of Auckland. I work on Computational Complexity, and Proof Complexity in particular. My interests include other areas of complexity such as pebble games, query complexity, communication complexity, and circuit complexity, and the theory of SAT solving.

Previously I was a graduate student in the Theoretical Computer Science Group at the KTH Royal Institute of Technology in Stockholm, under the supervision of Jakob Nordström, a postdoc at the School of Technology and Computer Science at the Tata Institute of Fundamental Research in Mumbai, hosted by Arkadev Chattopadhyay, a postdoc at the Computer Science Department at the Technion in Haifa, hosted by Yuval Filmus, a docent (~assistant/associate professor) at the Mathematics and Computer Science Department at Saint Petersburg State University, and a visitor at Memorial University of Newfounland.


Postal address:
School of Computer Science, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand
Physical office:
303S-490 303-421, 38 Princes Street