Back

Hello World!

I'm a Prof. of #ComputerScience at VRAIN/UPV (València, Spain), mainly working on (explainable, symbolic) artificial #intelligence #AI #XAI, (#probabilistic) #logic #programming, term #rewriting, #causality, #concurrency, programming #languages, #reversible computing, program #verification, and #debugging. 


I plan to use this account mostly for scientific matters, but not only. I'm also quite interested in #photography, #sciencefiction, #travel, #movies, #series, etc, etc.