Contact Informations

Thérèse Hardin, Professor
Head of SPI research team

Organization:LIP6, Université Pierre et Marie Curie Paris VI
E-mail: Thérèse.Hardin at lip6.fr
Address:104 avenue du Président Kennedy
F-75016 Paris
Phone.:

Research interests

Categorical Combinatory Logic
Explicit Substitutions
Rewriting, Unification, Automatic Deduction
Formal Specifications,Theorem Proving
Process Calculi
Safety, Security