I’m a postdoc at the Department of Ciències de la Computació at Universitat Politècnica de Catalunya in Barcelona, Spain. I’m hosted by Albert Atserias. I’m interested in computational complexity, mathematical logic and in particular in proof complexity.
postdoc in the Theoretical Computer Science Group at the School of Computer Science and Communication (CSC) at KTH Royal Institute of Technology in Stockholm, Sweden. I was hosted by Jakob Nordström.
Conferences/Workshops I plan to attend in the near future
STOC June 24-29, Los Angeles (USA)
RaTLoCC July 15-20, Bertinoro (Italy)
Complexity Theory July 23-26, Oxford (UK)
Oxford Complexity Day July 27, Oxford (UK)
S3CS Summer School August 5-11, Stockholm (SE)
Jun 28, 2018 - Poster: Clique is hard on average for regular resolution
Apr 23, 2018 - Note on Razborov' Switching Lemma for Resolution over k-DNFs
Feb 6, 2018 - A Springer Book from my PhD Thesis
Sep 12, 2017 - Moving to Universitat Politècnica de Catalunya
PC Member Proof Complexity Workshop 2018
Info on how to reach the department are in the Resources for visitors section.
Email: click to see it
Universitat Politècnica de Catalunya
Dept. Ciències de la Computació
Jordi Girona Salgado 31, Omega-223
Last modified on Jun 21, 2018.