Member of Pesto team  in  Nancy

Research activities: security, formal methods, automated deduction (see also Cassis)

some useful links