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 @[email protected] !
the_heruman has no public lists
the_heruman has no activity yet