Name:Shenghua Feng

Country:China

Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

Research interests:Formal Verification, Probabilistic Programs, Hybrid Sytems