Name:German Vidal

Country:Spain

Affiliation:Universitat Politecnica de Valencia

Research interests:programming languages, functional programming, logic programming, term rewriting, concurrency, program verification, debugging, program transformation, reversible computation, artificial intelligence, probabilistic logic programming, explainability