I did my PhD at the Universitat de Girona, supervised by Dr Mateu Villaret and Dr Miquel Bofill. My PhD thesis is about SMT Techniques for Planning Problems.

My list of publications can be found in my Google Scholar Profile.