Prof. of CS at VRAIN-UPV (Universitat Politècnica de València, Spain). My research interests include interpretable and symbolic AI, probabilistic logic programming/term rewriting, causality, concurrency, reversible computing, formal verification, and debugging.
Outside of work, I'm into photography and I'm a big sci-fi fan (books, movies & TV shows). I also enjoy traveling, cooking, and getting outside for a walk or a run.
Languages: Spanish (native), Catalan, English, and (some) Italian.
Academic homepage:
https://gvidal.webs.upv.es/Flickr (photos):
https://www.flickr.com/photos/germanvidal/