Образование

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.

Научные интересы

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