Weiwen Xu Current contact information: Laboratoire d'Informatique, LIX Ecole Polytechnique, Rue de Saclay 91128 PALAISEAU Cedex FRANCE Telp. +33-(0)1-69.33.46.24 e-mail:  xu@lix.polytechnique.fr url:http://www.lix.polytechnique.fr/~xu

I am postdoctoral researcher of LIX Ecole Polytechnique, supervised by Prof. Jean-Pierre Jouannaud .I am current working on implementation of automatic complexity analysis for extracted program of Coq, as a part of  RNTL project AVERROES.

Curriculum vitae

Research Interests

• Automatic complexity analysis for functional program language
• Model checking infinite state system
• Formal verification for Grid computing environment

Projects Overview

Selected publications