Education

2012 – 2017
PhD in Theoretical Computer Science
Thesis: Space in Proof Complexity
Advisor: Jakob Nordström
University KTH Royal Institute of Technology, Stockholm

From – to 2006 – 2012
Diploma in Mathematics + Higher Engineer in Computer Science
University Universitat Politècnica de Catalunya, Barcelona
Scolarship by Center for Interdisciplinary Studies. CFIS admits 20 students from Spain and Latin America yearly to its double diploma program. 2 are offered scolarships.

Scientific interests

My interests include other areas of complexity such as pebble games, query complexity, communication complexity, and circuit complexity, and the theory of SAT solving.

Additional Information

marcvinyals@gmail.com