JESÚS
GIRÁLDEZ CRÚ
Researcher in the period 2021-2024
DEPARTMENT: CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL
FACULTY: E.T.S. DE INGENIERÍAS INFORMÁTICA Y DE TELECOMUNICACIÓN
Area: Computer Science and Artificial Intelligence
Research group: SCI2S SOFT COMPUTING Y SISTEMAS DE INFORMACIÃN INTELIGENTES
Doctor by the Universitat Autònoma de Barcelona with the thesis Beyond the Structure of SAT Formulas 2016. Supervised by Dr. Jordi Levy Díaz.