Marc Vinyals

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


I am researcher in theoretical computer science, and until recently a docent (~associate professor) at the Mathematics and Computer Science Department at Saint Petersburg State University, Russia. 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, Sweden, 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, India, hosted by Arkadev Chattopadhyay, and a postdoc at the Computer Science Department at the Technion in Haifa, Israel, hosted by Yuval Filmus.


Postal address:
СПбГУ МКН; Санкт Петербург, 199178, Россия; 14я Линия В.О. Д.29
Physical office: