Name:German Vidal

Country:Spain

Affiliation:Universitat Politecnica de Valencia

Research interests:programming languages, functional programming, logic programming, term rewriting, software verification, debugging, reversible computation, artificial intelligence, probabilistic rule-based formalisms, explainability