#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.