German Vidal the_heruman@mastodon.acm.org

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