PhD in Logic Applied to Computer Science. Rewrite-based comp. models: term rewriting, lambda-calculus, Nominal theories. Funct. n Logic Prog. Lang Paradigms…