![@the_heruman@mastodon.acm.org](https://kbin.cafe/media/cache/resolve/user_cover/f7/aa/f7aac49495175f6c0310df9b1e3f0e8336c368ff4413ae92d1d9bc1380180072.jpg)
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).
This profile is from a federated server and may be incomplete. Browse more on the original instance.