Prof. of Computer Science at VRAIN/UPV (Universitat Politècnica de València, Spain). Current interests: (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).