Prof. of Computer Science at VRAIN/UPV (Universitat Politècnica de València, Spain), mainly working on (explainable, symbolic) artificial intelligence, (probabilistic) logic programming, term rewriting, causality, concurrency, programming languages, reversible computing, program verification, and debugging. 


I'm also a photography enthusiast and a great fan of science fiction (novels, movies, series, etc).

English/Español/Català (I also understand Italian but my speaking is very poor).