Josu Oca és investigador predoctoral del grup de recerca en Lògica i Intel·ligència Artificial (LAI) de la Universitat de Girona, on realitza el seu doctorat en l’àmbit de la Intel·ligència Artificial i els mètodes formals. És graduat en Enginyeria Informàtica i té un màster en Enginyeria Computacional per la Universitat del País Basc (EHU). La seva recerca se centra principalment en la planificació automàtica i l’ús de tècniques de satisfactibilitat SAT/SMT per resoldre problemes de planificació, amb un interès especial en el desenvolupament de formulacions SMT compactes i eficients que evitin o redueixin el procés de grounding. En aquesta línia, juntament amb Miquel Bofill i Cristina Borralleras, ha publicat l’article “Efficient SMT Formulations for Classical Planning” al Journal of Logical and Algebraic Methods in Programming (JLAMP). També ha treballat en lògica temporal, model checking i síntesi de sistemes reactius. Durant el doctorat va realitzar una estada de recerca a l’IMDEA Software Institute de Madrid, on va treballar amb César Sánchez en l’àmbit de la planificació contingent, explorant noves tècniques per abordar problemes de planificació sota incertesa i amb observacions parcials.