Name:Rui Chen

Country:China

Affiliation:Beijing Institute of Control Engineering; Beijing Sunwise Information Technology

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