@the_heruman@mastodon.acm.org
Joined: 12/20/2022
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.
**Moved to @the_heruman@sigmoid.social !
the_heruman has no public lists
the_heruman has no activity yet