Name:Andrei Popescu

Country:United Kingdom

Affiliation:Middlesex University, London

Research interests:proof assistants, inductive and coinductive datatypes, automated deduction, syntax with bindings, information flow security