Name:Rui Chen

Country:China

Affiliation:Beijing Institute of Control Engineering

Research interests:Program Analysis, Software Testing, Formal Verificaition, Concurrency Bug Finding