Li Qin
Professor
Computer Science & Technology
Anhui University of Technology
China
Biography
Dr. Li Qin is currently working as a Professor in the Department of Computer Science & Technology, Anhui University of Technology , China. His research interests includes software validation, concurrent program analysis. He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. Li Qin is the member of many international affiliations. He/ She has successfully completed his Administrative responsibilities. He /she has authored of many research articles/books related to software validation, concurrent program analysis.
Research Interest
software validation, concurrent program analysis
Publications
-
Sampling automata and programs. Qin Li, Zhe Dang. Theoretical Computer Science, vol 557: 125-140.
-
A kind of non-interfering thread program logic . Li Qin , Zeng Qingkai, Yuan Zhixiang . "Journal of Software" vol.25 (6), 2014.6 : 1143-1153.
