#Introduction I've been around the Fediverse for a few years, but at some point I ended up abandoning this account 🙈

So... let’s try again.

I teach computer science at VRAIN-UPV (Universitat Politècnica de València, Spain). My research interests include things like explainable and symbolic #AI, #probabilistic #logic programming/term rewriting, #causality, #concurrency, #programming languages, #reversible computing, program #verification, and #debugging.

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

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