Graduate Student, Lund University
Visiting Graduate Student
Noel Arteche is a doctoral student in theoretical computer science at Lund University under the supervision of Susanna F. de Rezende and Jakob Nordström. He holds an MSc in Logic from the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, where he worked on the relation between parameterized complexity and knowledge compilation. Previously, he earned a BSc in Computer Science from the University of the Basque Country.
He is mainly interested in computational complexity theory and its interplay with logic. He is also intermittently interested in the philosophy of mathematics and mathematical practice.
Meta-Complexity , Spring 2023Visiting Graduate Student
Extended Reunion: Satisfiability , Spring 2023Visiting Graduate Student