Claude Kirchner

• Unification
• Formal to Practical Security
• Rewriting, Computation and Proof