Nov 16, 2022, 14:44

Wed, 16 Nov 2022 14:44:37 +0000
series, movies, traveling, sciencefiction, photography, debugging, verification, reversible, languages, concurrency, causality, rewriting, programming, logic, probabilistic, xai, ai, Intelligence, computerscience

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, #traveling, #movies, #series, etc, etc.