CIRCLE WITH A DOT

Prof. of CS at VRAIN-UPV (Universitat Politècnica de València, Spain). My research interests include interpretable and symbolic AI, probabilistic logic programming/term rewriting, causality, concurrency, reversible computing, formal verification, and debugging.

Outside of work, I'm into photography and I'm a big sci-fi fan (books, movies & TV shows). I also enjoy traveling, cooking, and getting outside for a walk or a run.

Languages: Spanish (native), Catalan, English, and (some) Italian.